Intuitionistic Logic versus Classical Logic - Gödel's Interpretation and Conjectures.
Irina Makarenko (Freie Universität Berlin)
In the article "Eine Interpretation des intuitionistischen
Aussagenkalküls", presented in 1932 at the Mathematical
Colloquium in Vienna and published in 1933, Gödel described an
interpretation of the intuitionistic propositional logic in a system
of classical propositional logic enriched with an additional unary
operator B (which stands for provability). The main purpose of this
talk is to give an overview on the given interpretation and the
involved logical systems, and also to discuss the connection between
the enriched system and
the modal logic S4.
Last modified: Mon Feb 11 10:38:54 CET 2019