Implicational (Semilinear) Logics I: A New Hierarchy

Cintula Petr



Název
Implicational (Semilinear) Logics I: A New Hierarchy
Autor
lupa Cintula Petr UIVT-O - Ústav informatiky AV ČR, v. v. i.
Spoluautoři
lupa Noguera C.
Zdroj.dok.
lupa Archive for Mathematical Logic. Roč. 49, č. 4 (2010), s. 417-446
Vyd.údaje
30 s.
Druh dok.
J
Jazyk dok.
eng
Země vyd.
DE
Klíč.slova
abstract algebraic logic * hierarchy of implicational logics * implicative logics * Leibniz hierarchy * linearly ordered logical matrices * mathematical fuzzy logic * non-classical logics * semilinear logics
Databáze
zj - Článek v odborném časopise
Trvalý link
http://hdl.handle.net/11104/0184955