Sekce: Decidability | Non-classical Logics ALG500014 | DL 1

DL 1

Titulní stránka Podpora uživatelů

Osnova sekce

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

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