Vista previa

(LFM1) -  Garyfallia Vafeiadou

Descripción del Curso

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.

Creation Date

miércoles, 21 de febrero de 2024