Logics of Variable Inclusion

· ·
· Trends in Logic 第 59 冊 · Springer Nature
電子書
221
頁數
評分和評論未經驗證 瞭解詳情

關於這本電子書

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.

關於作者

Stefano Bonzio is assistant professor of Mathematical Logic at the University of Cagliari, where he teaches Algebra and Discrete Mathematics. He is author of more than 20 publications in international peer-reviewed journals. His research interests include non-classical logics (in particular Kleene logics), algebraic logic and universal algebra, the foundation of probability.
Francesco Paoli is a full professor of Logic at the University of Cagliari. He published, among other things, the book Substructural Logics: A Primer (Kluwer, 2002) and over 60 papers in international peer-reviewed journals. His research interests include nonclassical (substructural, quantum, many-valued) logics, universal algebra, and the foundations of physics.
Michele Pra Baldi is a post-doctoral researcher at the Artificial Intelligence Research Institute, Spanish National Council of Research (Bellaterra, Barcelona, Spain). He obtained his PhD at the University of Padua in 2019. His research interests include abstract algebraic logic, universal algebra, non-classical logics and their applications to formal epistemology and philosophical logic.

為這本電子書評分

請分享你的寶貴意見。

閱讀資訊

智能手機和平板電腦
請安裝 Android 版iPad/iPhone 版「Google Play 圖書」應用程式。這個應用程式會自動與你的帳戶保持同步,讓你隨時隨地上網或離線閱讀。
手提電腦和電腦
你可以使用電腦的網絡瀏覽器聆聽在 Google Play 上購買的有聲書。
電子書閱讀器及其他裝置
如要在 Kobo 等電子墨水裝置上閱覽書籍,你需要下載檔案並傳輸到你的裝置。請按照說明中心的詳細指示,將檔案傳輸到支援的電子書閱讀器。