| 書(shū)目名稱(chēng) | Logics of Variable Inclusion |
| 編輯 | Stefano Bonzio,Francesco Paoli,Michele Pra Baldi |
| 視頻video | http://file.papertrans.cn/589/588202/588202.mp4 |
| 概述 | Is the first monograph ever on logics of variable inclusion.Highly relevant to logicians, philosophers and algebraists alike.Puts together two separate research streams, in logic and algebra respectiv |
| 叢書(shū)名稱(chēng) | Trends in Logic |
| 圖書(shū)封面 |  |
| 描述 | .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.. |
| 出版日期 | Book 2022 |
| 關(guān)鍵詞 | Many-valued Logics; Logics of Variable Inclusion; Significance Logics; Kleene Logics; Nonclassical Logic |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-031-04297-3 |
| isbn_softcover | 978-3-031-04299-7 |
| isbn_ebook | 978-3-031-04297-3Series ISSN 1572-6126 Series E-ISSN 2212-7313 |
| issn_series | 1572-6126 |
| copyright | The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerl |
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-7 13:41
發(fā)表于 2025-3-21 19:23:40
