Kurt Gödel introduced the finitely valued Gödel logics as intermediary logics in a short paper proving that intuitionistic logic is not a finitely valued logic. (Other origins will be discussed as well) Gödel logics hav remarkable properties, there is one infinitely valued propositional logic but uncoutably many propositional entailments, there are countably many first order logics etc. In this lecture we will present an overview on semantics and proof theory of propositional and first-order Gödel logics.
Logic and Computation Seminar
Monday, January 24, 2022 - 3:30pm
Matthias Baaz
Vienna University of Technology
Other Events on This Day
-
On the cohomology of seaweed algebras
Deformation Theory Seminar
2:00pm