國立虎尾科技大學 |

Logics of Variable Inclusion

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Logics of Variable Inclusion/ by Stefano Bonzio, Francesco Paoli, Michele Pra Baldi.
作者:	Bonzio, Stefano.
其他作者:	Pra Baldi, Michele.
面頁冊數:	X, 221 p. 4 illus.online resource. :
Contained By:	Springer Nature eBook
標題:	Mathematical Logic in Philosophy. -
電子資源:	https://doi.org/10.1007/978-3-031-04297-3
ISBN:	9783031042973

Logics of Variable Inclusion
Bonzio, Stefano.

Logics of Variable Inclusion[electronic resource] /by Stefano Bonzio, Francesco Paoli, Michele Pra Baldi. - 1st ed. 2022. - X, 221 p. 4 illus.online resource. - Trends in Logic, Studia Logica Library,592212-7313 ;. - Trends in Logic, Studia Logica Library,42.

Chapter 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.

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.

ISBN: 9783031042973

Standard No.: 10.1007/978-3-031-04297-3doiSubjects--Topical Terms:

1394243
Mathematical Logic in Philosophy.

LC Class. No.: BC1-199

Dewey Class. No.: 160

Logics of Variable Inclusion
LDR:02791nam a22004095i 4500 001 1087235
003 DE-He213
005 20220609140643.0
007 cr nn 008mamaa
008 221228s2022 sz | s |||| 0|eng d
020 $a 9783031042973 $9 978-3-031-04297-3
024 7 $a 10.1007/978-3-031-04297-3 $2 doi
035 $a 978-3-031-04297-3
050 4 $a BC1-199
072 7 $a HPL $2 bicssc
072 7 $a PHI011000 $2 bisacsh
072 7 $a QDTL $2 thema
082 0 4 $a 160 $2 23
100 1 $a Bonzio, Stefano. $e author. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1394240
245 1 0 $a Logics of Variable Inclusion $h [electronic resource] / $c by Stefano Bonzio, Francesco Paoli, Michele Pra Baldi.
250 $a 1st ed. 2022.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2022.
300 $a X, 221 p. 4 illus. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Trends in Logic, Studia Logica Library, $x 2212-7313 ; $v 59
505 0 $a Chapter 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.
520 $a 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.
650 2 4 $a Mathematical Logic in Philosophy. $3 1394243
650 2 4 $a Algebraic Logic. $3 1394242
650 0 $a Logic, Symbolic and mathematical. $3 527823
650 0 $a Algebraic logic. $3 633629
650 0 $a Logic. $3 558909
700 1 $a Pra Baldi, Michele. $e author. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1394241
700 1 $a Paoli, Francesco. $e editor. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1351172
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783031042966
776 0 8 $i Printed edition: $z 9783031042980
776 0 8 $i Printed edition: $z 9783031042997
830 0 $a Trends in Logic, Studia Logica Library, $x 1572-6126 ; $v 42 $3 1261075
856 4 0 $u https://doi.org/10.1007/978-3-031-04297-3
912 $a ZDB-2-SMA
912 $a ZDB-2-SXMS
950 $a Mathematics and Statistics (SpringerNature-11649)
950 $a Mathematics and Statistics (R0) (SpringerNature-43713)