Number of the records: 1  

Logic and Implication: An introduction to the General Algebraic Study of Non-classical Logics

  1. 1.
    SYSNO ASEP0524930
    Document TypeB - Monograph
    R&D Document TypeMonograph
    TitleLogic and Implication: An introduction to the General Algebraic Study of Non-classical Logics
    Author(s) Cintula, Petr (UIVT-O) RID, ORCID, SAI
    Noguera, Carles (UTIA-B) RID, ORCID
    Issue dataCham: Springer, 2021
    ISBN978-3-030-85674-8
    Number of pages465 s.
    Publication formPrint - P
    Languageeng - English
    CountryCH - Switzerland
    KeywordsNon-Classical Logics ; Algebraic Logic ; Abstract Algebraic Logic ; Completeness Theorems ; Logical Matrices ; Weakly Implicative Logics ; Substructural Logics ; Generalized Disjunctions ; Semilinear Logics ; First-Order Logics
    Subject RIVBA - General Mathematics
    OECD categoryPure mathematics
    R&D ProjectsGA13-14654S GA ČR - Czech Science Foundation (CSF)
    GA18-00113S GA ČR - Czech Science Foundation (CSF)
    Institutional supportUIVT-O - RVO:67985807 ; UTIA-B - RVO:67985556
    DOI10.1007/978-3-030-85675-5
    AnnotationThis monograph presents a general theory of weakly implicative logics, a family covering a vast number of non-classical logics studied in the literature, concentrating mainly on the abstract study of the relationship between logics and their algebraic semantics. It can also serve as an introduction to (abstract) algebraic logic, both propositional and first-order, with special attention paid to the role of implication, lattice and residuated connectives, and generalized disjunctions. Based on their recent work, the authors develop a powerful uniform framework for the study of non-classical logics. In a self-contained and didactic style, starting from very elementary notions, they build a general theory with a substantial number of abstract results. The theory is then applied to obtain numerous results for prominent families of logics and their algebraic counterparts, in particular for superintuitionistic, modal, substructural, fuzzy, and relevant logics. The book may be of interest to a wide audience, especially students and scholars in the fields of mathematics, philosophy, computer science, or related areas, looking for an introduction to a general theory of non-classical logics and their algebraic semantics.
    WorkplaceInstitute of Computer Science
    ContactTereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800
    Year of Publishing2022
    Electronic addresshttps://link.springer.com/book/9783030856748
Number of the records: 1  

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.