Admissible Rules in the Implication–Negation Fragment of Intuitionistic Logic

Cintula Petr



Název
Admissible Rules in the Implication–Negation Fragment of Intuitionistic Logic
Autor
lupa Cintula Petr UIVT-O - Ústav informatiky AV ČR, v. v. i.
Spoluautoři
lupa Metcalfe G.
Zdroj.dok.
lupa Annals of Pure and Applied Logic. Roč. 162, č. 2 (2010), s. 162-171. - : Elsevier
Vyd.údaje
10 s.
Druh dok.
J
Jazyk dok.
eng
Země vyd.
NL
Klíč.slova
intuitionistic logic * intermediate logics * admissible rules * structural completeness
Databáze
zj - Článek v odborném časopise
Trvalý link
http://hdl.handle.net/11104/0190481