On lengths of proofs in non-classical logics

Hrubeš Pavel



Název
On lengths of proofs in non-classical logics
Překlad názvu
O délkách důkazů v neklasických logikách
Autor
lupa Hrubeš Pavel MU-W - Matematický ústav AV ČR, v. v. i.
Zdroj.dok.
lupa Annals of Pure and Applied Logic. Roč. 157, 2-3 (2009), s. 194-205. - : Elsevier
Vyd.údaje
12 s.
Druh dok.
J
Jazyk dok.
eng
Země vyd.
NL
Klíč.slova
length of proof * propositional logic * modal logic * intuitionistic logic
Databáze
zj - Článek v odborném časopise
Trvalý link
http://hdl.handle.net/11104/0181141