Number of the records: 1
Implicational (Semilinear) Logics I: A New Hierarchy
- 1.
SYSNO ASEP 0342136 Document Type J - Journal Article R&D Document Type Journal Article Subsidiary J Článek ve WOS Title Implicational (Semilinear) Logics I: A New Hierarchy Author(s) Cintula, Petr (UIVT-O) RID, ORCID, SAI
Noguera, C. (ES)Source Title Archive for Mathematical Logic. - : Springer - ISSN 0933-5846
Roč. 49, č. 4 (2010), s. 417-446Number of pages 30 s. Language eng - English Country DE - Germany Keywords abstract algebraic logic ; hierarchy of implicational logics ; implicative logics ; Leibniz hierarchy ; linearly ordered logical matrices ; mathematical fuzzy logic ; non-classical logics ; semilinear logics Subject RIV BA - General Mathematics R&D Projects GEICC/08/E018 GA ČR - Czech Science Foundation (CSF) CEZ AV0Z10300504 - UIVT-O (2005-2011) UT WOS 000277246000001 EID SCOPUS 84871950551 DOI 10.1007/s00153-010-0178-7 Annotation In abstract algebraic logic, the general study of propositional logics is based on the abstraction of the Lindenbaum-Tarski process, one considers the Leibniz relation of indiscernible formulae. It leads to the Leibniz hierarchy; a classification of logics based on generalized equivalences. We perform an analogous abstract study of non-classical logics based on generalized implications. It yields the hierarchy of implicational logics which expands Leibniz hierarchy. The notion of implicational semilinear logic is then naturally introduced as a property of the implication, namely a logic is an implicational semilinear logic iff it has an implication and is complete w.r.t. the matrices where this implication induces a linear order, a property which is satisfied by majority of fuzzy logics. This hierarchy is then restricted to the semilinear case obtaining a classification that encompasses almost all the known examples of fuzzy logics and suggests new directions for research. Workplace Institute of Computer Science Contact Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Year of Publishing 2011
Number of the records: 1