Agenda der Universität Bern im neuen Erscheinungsbild

Mathematisches Institut, Sidlerstrasse 5, CH-3012 Bern
Philosophischnaturwissenschaftliche Fakultät
Departement Mathematik und Statistik
Mathematisches Institut
Mathematical Colloquia
____________________________________________________________________________
Monday, 14 November 2016
17:15 h, Lecture Room B 78
Dr. Nick Bezhanishvili, University of Amsterdam
Intermediate logics and varieties of Heyting
algebras
Abstract:
Intermediate logics are logics situated between classical propositional calculus CPC
and intuitionistic propositional calculus IPC. In this talk I will overview the complicated
structure of the lattice of intermediate logics. Our main tool to study these logics will be
Heyting algebras. Heyting algebras are algebraic models of IPC in the same way
Boolean algebras are algebraic models of CPC. This, in particular, yields that the
lattice of non-trivial varieties of Heyiting algebras is dually isomorphic to the lattice of
intermediate logics. I will review an order-topological representation of Heyting
algebras and discuss recent axiomatization methods for intermediate logics via
Heyting algebras.
Sekretariat, Mathematisches Institut, Sidlerstrasse 5, CH-3012 Bern, Tel. +41 (0)31 631 88 21, Fax +41 (0)31 631 85 10
[email protected], www.math.unibe.ch

Download Report