Logics of variable inclusion / Stefano Bonzio, Francesco Paoli, Michele Pra Baldi.
Bonzio, Stefano, author.; Paoli, Francesco, author.; Pra Baldi, Michele, author.
2022
QA10
Available Online

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
DOI https://doi.org/10.1007/978-3-031-04297-3
Published Cham, Switzerland : Springer, 2022.
Language English
Description 1 online resource : illustrations (black and white).
Other Standard Identifiers 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.
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
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.

Browse Subjects

Show more subjects...

Statistics

from
to
Export