Курс: Non-classical Logics ALG500014, Тема: 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 Файл
  
  V. Švejdar, On Sequent Calculi for Intuitionistic Propositional Logic, CMUC 2005.
- Select activity R. Dyckhoff
  
  R. Dyckhoff Файл