LEADER 03515nam 22006735 450 001 9910741198403321 005 20251113180618.0 010 $a3-031-04297-2 024 7 $a10.1007/978-3-031-04297-3 035 $a(MiAaPQ)EBC7015854 035 $a(Au-PeEL)EBL7015854 035 $a(CKB)23736965200041 035 $aEBL7015854 035 $a(AU-PeEL)EBL7015854 035 $a(PPN)269149902 035 $a(OCoLC)1331149148 035 $a(DE-He213)978-3-031-04297-3 035 $a(EXLCZ)9923736965200041 100 $a20220609d2022 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aLogics of Variable Inclusion /$fby Stefano Bonzio, Francesco Paoli, Michele Pra Baldi 205 $a1st ed. 2022. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2022. 215 $a1 online resource (227 pages) 225 1 $aTrends in Logic, Studia Logica Library,$x2212-7313 ;$v59 300 $aDescription based upon print version of record. 311 08$aPrint version: Bonzio, Stefano Logics of Variable Inclusion Cham : Springer International Publishing AG,c2022 9783031042966 320 $aIncludes bibliographical references. 327 $aChapter 1. Analyticity, Consequence, and Meaninglessness -- Chapter 2. P?onka 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. 330 $aThis 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. 410 0$aTrends in Logic, Studia Logica Library,$x2212-7313 ;$v59 606 $aLogic 606 $aAlgebraic logic 606 $aLogic, Symbolic and mathematical 606 $aLogic 606 $aAlgebraic Logic 606 $aMathematical Logic in Philosophy 615 0$aLogic. 615 0$aAlgebraic logic. 615 0$aLogic, Symbolic and mathematical. 615 14$aLogic. 615 24$aAlgebraic Logic. 615 24$aMathematical Logic in Philosophy. 676 $a511.324 676 $a511.3 700 $aBonzio$b Stefano$01241228 702 $aPaoli$b Francesco 702 $aBaldi$b Michele Pra 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910741198403321 996 $aLogics of variable inclusion$92997491 997 $aUNINA