Penn Arts & Sciences Logo

Logic and Computation Seminar

Monday, January 24, 2022 - 3:30pm

Matthias Baaz

Vienna University of Technology

Location

University of Pennsylvania

online - link available upon request

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.