On November 21, 2024 at 14:00 EET, Dafina Trufaș (University of Bucharest) will give a talk in the Logic Seminar.
Title: 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.
The talk will take place physically at FMI (Academiei 14), Hall 214 “Google”.