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.
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.
Logics of Variable Inclusion
221Logics of Variable Inclusion
221Paperback(1st ed. 2022)
Product Details
ISBN-13: | 9783031042997 |
---|---|
Publisher: | Springer International Publishing |
Publication date: | 06/16/2022 |
Series: | Trends in Logic , #59 |
Edition description: | 1st ed. 2022 |
Pages: | 221 |
Product dimensions: | 6.10(w) x 9.25(h) x (d) |