Počet záznamů: 1
Implicational (Semilinear) Logics I: A New Hierarchy
- 1.
SYSNO 0342136 Název Implicational (Semilinear) Logics I: A New Hierarchy Tvůrce(i) Cintula, Petr (UIVT-O) RID, ORCID, SAI
Noguera, C. (ES)Korespondující/senior Noguera, C. - Korespondující autor Zdroj.dok. Archive for Mathematical Logic. Roč. 49, č. 4 (2010), s. 417-446. - : Springer Druh dok. Článek v odborném periodiku Grant GEICC/08/E018 GA ČR - Grantová agentura ČR CEZ AV0Z10300504 - UIVT-O (2005-2011) 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 Trvalý link http://hdl.handle.net/11104/0184955 Název souboru Staženo Velikost Komentář Verze Přístup 0342136.pdf 19 1.1 MB Autorský preprint povolen
Počet záznamů: 1