Logics of variable inclusion / Stefano Bonzio, Francesco Paoli, Michele Pra Baldi.
2022
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
Logics of variable inclusion / Stefano Bonzio, Francesco Paoli, Michele Pra Baldi.
Author
Bonzio, Stefano, author.
ISBN
9783031042973 (electronic bk.)
3031042972 (electronic bk.)
3031042964
9783031042966
3031042972 (electronic bk.)
3031042964
9783031042966
Published
Cham, Switzerland : Springer, 2022.
Language
English
Description
1 online resource : illustrations (black and white).
Item Number
10.1007/978-3-031-04297-3 doi
Call Number
QA10
Dewey Decimal Classification
511.3/24
Summary
This monograph shows that, through a recourse to the concepts and methods of abstract algebraic logic, the algebraic theory of regular varieties and the concept of analyticity in formal logic can profitably interact. By extending the technique of Plonka sums from algebras to logical matrices, the authors investigate the different classes of models for logics of variable inclusion and they shed new light into their formal properties. The book opens with the historical origins of logics of variable inclusion and on their philosophical motivations. It includes the basics of the algebraic theory of regular varieties and the construction of Plonka sums over semilattice direct systems of algebra. The core of the book is devoted to an abstract definition of logics of left and right variable inclusion, respectively, and the authors study their semantics using the construction of Plonka sums of matrix models. The authors also cover Paraconsistent Weak Kleene logic and survey its abstract algebraic logical properties. This book is of interest to scholars of formal logic.
Access Note
Access limited to authorized users.
Source of Description
Description based on print version record.
Added Author
Paoli, Francesco, author.
Pra Baldi, Michele, author.
Pra Baldi, Michele, author.
Series
Trends in logic ; v. 59.
Available in Other Form
LOGICS OF VARIABLE INCLUSION.
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources
Table of Contents
Chapter 1. Analyticity, Consequence, and Meaninglessness
Chapter 2. Ponka Sums and Regular Varieties
Chapter 3. Dualities for Regular Varieties
Chapter 4. Logics of Left Variable Inclusion
Chapter 5. Logics of Right Variable Inclusion
Chapter 6. Paraconsistent Weak Kleene Logic.
Chapter 2. Ponka Sums and Regular Varieties
Chapter 3. Dualities for Regular Varieties
Chapter 4. Logics of Left Variable Inclusion
Chapter 5. Logics of Right Variable Inclusion
Chapter 6. Paraconsistent Weak Kleene Logic.