| 书目名称 | Logic and Implication | | 副标题 | An Introduction to t | | 编辑 | Petr Cintula,Carles Noguera | | 视频video | | | 概述 | Presents an introduction to the algebraic study of non-classical logics.Details a powerful methodology to understand logics with implication.Includes many particular logics as examples for the theory | | 丛书名称 | Trends in Logic | | 图书封面 |  | | 描述 | .This 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 bookmay 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 | | 出版日期 | Book 2021 | | 关键词 | Non-Classical Logics; Algebraic Logic; Abstract Algebraic Logic; Propositional Logic; Predicate Logic; Lo | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-030-85675-5 | | isbn_softcover | 978-3-030-85677-9 | | isbn_ebook | 978-3-030-85675-5Series ISSN 1572-6126 Series E-ISSN 2212-7313 | | issn_series | 1572-6126 | | copyright | Springer Nature Switzerland AG 2021 |
The information of publication is updating
|
|
发表于 2025-3-21 16:12:46
