Section: Heyting arithmetics | Non-classical Logics ALG500014 | 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 File
  
  C.A. Smorynski, Applications of Kripke models.