| Dewey Class |
160 |
| Title |
Logic and Implication ([EBook] :) : An Introduction to the General Algebraic Study of Non-classical Logics / / by Petr Cintula, Carles Noguera. |
| Author |
Cintula, Petr |
| Added Personal Name |
Noguera, Carles |
| Other name(s) |
SpringerLink (Online service) |
| Edition statement |
1st ed. 2021. |
| Publication |
Cham : : Springer International Publishing : : Imprint: Springer, , 2021. |
| Physical Details |
XXII, 465 p. 17 illus. : online resource. |
| Series |
Trends in Logic, Studia Logica Library 2212-7313 ; ; 57 |
| ISBN |
9783030856755 |
| Summary Note |
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 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.: |
| Contents note |
Chapter 1. Preliminaries -- Chapter 2. Weakly Implicative Logics -- Chapter 3. Substructural Logics -- Chapter 4. Generalized Disjunctions -- Chapter 5. Semilinear Logics -- Chapter 6. First-Order Predicate Logics. . |
| Mode of acces to digital resource |
Mode of access: World Wide Web. System requirements: Internet Explorer 6.0 (or higher) or Firefox 2.0 (or higher). Available as searchable text in PDF format. |
| System details note |
Online access to this digital book is restricted to subscription institutions through IP address (only for SISSA internal users). |
| Internet Site |
https://doi.org/10.1007/978-3-030-85675-5 |
| Links to Related Works |
Subject References:
Authors:
Corporate Authors:
Series:
Classification:
|
|---|
