<電子ブック>
Logics of Variable Inclusion / by Stefano Bonzio, Francesco Paoli, Michele Pra Baldi
(Trends in Logic, Studia Logica Library. ISSN:22127313 ; 59)
版 | 1st ed. 2022. |
---|---|
出版者 | Cham : Springer International Publishing : Imprint: Springer |
出版年 | 2022 |
大きさ | X, 221 p. 4 illus : online resource |
著者標目 | *Bonzio, Stefano author Paoli, Francesco author Pra Baldi, Michele author SpringerLink (Online service) |
件 名 | LCSH:Logic LCSH:Algebraic logic LCSH:Logic, Symbolic and mathematical FREE:Logic FREE:Algebraic Logic FREE:Mathematical Logic in Philosophy |
一般注記 | 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 HTTP:URL=https://doi.org/10.1007/978-3-031-04297-3 |
目次/あらすじ
所蔵情報を非表示
電子ブック | 配架場所 | 資料種別 | 巻 次 | 請求記号 | 状 態 | 予約 | コメント | ISBN | 刷 年 | 利用注記 | 指定図書 | 登録番号 |
---|---|---|---|---|---|---|---|---|---|---|---|---|
電子ブック | オンライン | 電子ブック |
|
|
Springer eBooks | 9783031042973 |
|
電子リソース |
|
EB00200192 |