Cours : Non-classical Logics ALG500014, Section : Heyting arithmetics | DL 1

DL 1

Section outline

Heyting arithmetics and its main properties: axiomatics, models, incompleteness.

Presentation topic 1.: Smorynski's trick, disjunction and existence property, de Jongh's theorem
- Select activity Smorynski
  
  Smorynski Fichier
  
  C.A. Smorynski, Applications of Kripke models.