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

DL 1

Section outline

Proof theory (single conclusion and multiconclusion sequent calculi) and decidability of propositional intuitionistic logic

Presentation topic 3: decidability proofs based on sequent calculi.
- Select activity V. Švejdar
  
  V. Švejdar Fichier
  
  V. Švejdar, On Sequent Calculi for Intuitionistic Propositional Logic, CMUC 2005.
- Select activity R. Dyckhoff
  
  R. Dyckhoff Fichier