logo

Logic Seminar

Organizers: Laurențiu Leuștean, Natalia Moangă, Andrei Sipoș


The logic seminar features talks on
mathematical logic,
philosophical logic and
logical aspects of computer science.
All seminars, except where otherwise indicated,
will be at 10:00 in Hall 202,
Faculty of Mathematics and Computer Science,
University of Bucharest.
To be added
to the mailing list,
please subscribe to

our group
logo
Past Seminars

    Our logo and our posters are designed by Claudia Chiriță.


Talks in 2017-2018


Thursday, February 8, 2018

Mircea Dumitru (University of Bucharest)
Modal logic as higher-order logic III

Thursday, January 18, 2018

Mihai Prunescu (University of Bucharest and IMAR)
First order interpretations in groups, rings and algebras II

Thursday, January 11, 2018

Mircea Dumitru (University of Bucharest)
Modal logic as higher-order logic II

Thursday, December 14, 2017

Mihai Prunescu (University of Bucharest and IMAR)
First order interpretations in groups, rings and algebras


Abstract: We present some results of Malcev. In a first part a general method of transforming rings in metabelian groups is recalled. In the second part we concentrate on finite dimensional algebras over arbitrary fields and we head to the theory of all finite groups.

Thursday, December 7, 2017

Mircea Dumitru (University of Bucharest)
Modal logic as higher-order logic


Abstract: Propositional modal logic is usually viewed as a generalization and extension of propositional classical logic. The main argument of this paper is that a good case can be made that modal logic should be construed as a restricted form of second order classical logic. The paper examines one aspect of this second order connection having to do with an incompleteness phenomenon. The leading concept is that modal incompleteness is to be explained in terms of the incompleteness of standard second order logic, since modal language is basically a second order language.

Thursday, November 23, 2017

Marian Calborean (University of Bucharest)
Fuzzy and more. Modelling philosophical theories of vagueness on a computer


Abstract: The debate on vagueness has been greatly enriched by the development of fuzzy logic and its applications, many of which are computer-based. However, since such philosophical theories of vagueness as epistemicism and super-valuationism diverge from the basic assumptions of pluri-valuationism embedded in fuzzy logic and since, inside fuzzy theory, philosophically-potent disagreements exist, e.g. in relation to the interpretation of logical connectives, we plan to develop a tool for comparing theories of vagueness, each of which receive a basic tri-partite characterization by accepted truth values, truth-functionality of connectives and valid inference rules. Starting from a dictionary of vague sentences and using recursion, the tool can derive a large number of propositions with their associated truth interpretations under each theory of vagueness. The tool is to be written in common Structured Query Language (MariaDB) with a C-like application language (PHP).

Thursday, November 16, 2017

Ioana Leuștean (University of Bucharest)
Łukasiewicz logic and MV-algebras II


Thursday, November 9, 2017

Ioana Leuștean (University of Bucharest)
Łukasiewicz logic and MV-algebras


Abstract: After a brief introduction to Łukasiewicz logic, we focus on some specific topics connecting logic, algebra and probability theory.

Thursday, November 2, 2017

Laurențiu Leuștean (University of Bucharest and IMAR)
Proof mining in convex optimization and nonlinear analysis


Abstract: The research program of proof mining in mathematical logic - first suggested by G. Kreisel in the 1950s as 'unwinding of proofs' and developed by U. Kohlenbach in the 1990s and afterwards - is a field of study that aims to analyze, using proof-theoretic tools, the proofs of existing mathematical theorems in order to obtain their hidden quantitative content. The new information is both of quantitative nature, such as algorithms and effective bounds, as well as of qualitative nature, such as uniformities in the bounds. In this talk we give an introduction to proof mining and present some recent applications in convex optimization and nonlinear analysis.


    Past Seminars