Logic Seminar

The Logic Seminar is a joint LOS/IMAR/ILDS seminar, featuring talks on mathematical logic, philosophical logic and logical aspects of computer science.

All seminars, except where otherwise indicated, will be on Thursdays between 14:00 and 16:00, Bucharest time. The seminars are held locally at Hall 214 (“Google”) of the Faculty of Mathematics and Computer Science, University of Bucharest, but can also be occasionally held remotely.

To receive announcements about the seminar, please send an email to logic-seminar@ilds.ro.

Organizers: Laurențiu Leuștean, Andrei Sipoș

Past Talks in 2024-2025

Thursday, November 21, 2024

Dafina Trufaș (University of Bucharest and ILDS)

Intuitionistic propositional logic II

Abstract:

We present two proofs of the completeness theorem for Intuitionistic Propositional Logic, corresponding to Kripke and to Heyting algebras semantics, respectively. Furthermore, the equivalence between the two validity notions is established.

Thursday, November 28, 2024

Andrei Sipoș (University of Bucharest and IMAR)

Around Herbrand’s Theorem I

Abstract:

We present Gerhardy and Kohlenbach’s proof [1] of Herbrand’s Theorem for first-order logic, which uses the Dialectica interpretation.

References:

[1] P. Gerhardy, U. Kohlenbach, Extracting Herbrand disjunctions by functional interpretation. Arch. Math. Logic 44, 633–644, 2005.

Thursday, December 5, 2024

Andrei Sipoș (University of Bucharest and IMAR)

Around Herbrand’s Theorem II

Abstract:

We present our extension [2] to first-order arithmetic of Gerhardy and Kohlenbach’s proof [1] of Herbrand’s Theorem.

References:

[1] P. Gerhardy, U. Kohlenbach, Extracting Herbrand disjunctions by functional interpretation. Arch. Math. Logic 44, 633–644, 2005.
[2] A. Sipoș, On extracting variable Herbrand disjunctions. Studia Logica 110, 1115–1134, 2022.

Thursday, December 12, 2024

Adriana Bălan (National University of Science and Technology Politehnica Bucharest)

Regularity and complete distributivity in fuzzy metric spaces and formal contexts

Abstract:

TBA

Thursday, January 9, 2024

Marian Călborean (University of Bucharest)

TBA

Abstract:

TBA

Past Seminars