Substitution Frege and extended Frege proof systems in non-classical logics

Jeřábek Emil



Název
Substitution Frege and extended Frege proof systems in non-classical logics
Překlad názvu
Substituční Fregovské a rozšířené Fregovské důkazové systémy v neklasických logikách
Autor
lupa Jeřábek Emil MU-W - Matematický ústav AV ČR, v. v. i.
Zdroj.dok.
lupa Annals of Pure and Applied Logic. Roč. 159, č. 2 (2009), s. 1-48. - : Elsevier
Vyd.údaje
48 s.
Poznámky
1M0545
Druh dok.
J
Jazyk dok.
eng
Země vyd.
NL
Klíč.slova
propositional proof complexity * Frege system * model logic
Databáze
zj - Článek v odborném časopise
Trvalý link
http://hdl.handle.net/11104/0171550