Παρουσίαση/Προβολή

(LFM1) -  Garyfallia Vafeiadou

Περιγραφή Μαθήματος

Brouwer-Heyting-Kolmogorov interpretation of logical connectives and quantifiers. Gentzen natural deduction systems for constructive and classical logic. Gödel's negative translation. Kripke semantics and completeness. Intuitionistic first-order arithmetic. Markov's principle and Markov's rule. Intuitionistic second-order arithmetic. Non-classical extensions of intuitionistic arithmetic.

Ημερομηνία δημιουργίας

Τετάρτη 21 Φεβρουαρίου 2024