Logic and implication : an introduction to the general algebraic study of non-classical logics / Petr Cintula, Carles Noguera.
2021
QA10
Linked e-resources
Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Logic and implication : an introduction to the general algebraic study of non-classical logics / Petr Cintula, Carles Noguera.
Author
Cintula, Petr, author.
ISBN
9783030856755 (electronic bk.)
3030856755 (electronic bk.)
9783030856748 (print)
3030856747
3030856755 (electronic bk.)
9783030856748 (print)
3030856747
Published
Cham, Switzerland : Springer, 2021.
Language
English
Description
1 online resource (xxii, 465 pages) : illustrations.
Item Number
10.1007/978-3-030-85675-5 doi
Call Number
QA10
Dewey Decimal Classification
511.3/1
Summary
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.
Bibliography, etc. Note
Includes bibliographical references and index.
Access Note
Access limited to authorized users.
Digital File Characteristics
text file PDF
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed January 5, 2022).
Added Author
Noguera, Carles (Noguera i Clofent), 1978- author.
Series
Trends in logic ; v. 57. 2212-7313
Available in Other Form
Print version: 9783030856748
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources
Table of Contents
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.
Chapter 2. Weakly Implicative Logics
Chapter 3. Substructural Logics
Chapter 4. Generalized Disjunctions
Chapter 5. Semilinear Logics
Chapter 6. First-Order Predicate Logics.