Logics of Variable Inclusion - Stefano Bonzio, Francesco Paoli, Michele Pra Baldi

Blick ins Buch

Logics of Variable Inclusion (eBook)

Stefano Bonzio, Francesco Paoli, Michele Pra Baldi (Autoren)

eBook Download: PDF

2022 | 1st ed. 2022
X, 221 Seiten
Springer International Publishing (Verlag)
978-3-031-04297-3 (ISBN)

Lese- und Medienproben

Ebook-Leseprobe (PDF)

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.

Erscheint lt. Verlag	9.6.2022
Reihe/Serie	Trends in Logic
Reihe/Serie	Trends in Logic
Zusatzinfo	X, 221 p. 4 illus.
Sprache	englisch
Themenwelt	Geisteswissenschaften ► Philosophie ► Allgemeines / Lexika
Themenwelt	Mathematik / Informatik ► Mathematik
Schlagworte	abstract algebraic logic • Analyticity, Consequence, and Meaninglessness • Bisemilattices • Dualities for Regular Varieties • Kleene Logics • Logics of Left Variable Inclusion • Logics of Right Variable Inclusion • Logics of Variable Inclusion • Many-valued logics • Nonclassical Logics • Paraconsistent Weak Kleene Logic • Plonka Sums • Płonka Sums and Regular Varieties • Regular Varieties • Significance Logics • universal algebra
ISBN-10	3-031-04297-2 / 3031042972
ISBN-13	978-3-031-04297-3 / 9783031042973

Haben Sie eine Frage zum Produkt?

PDF (Wasserzeichen)
Größe: 3,6 MB

DRM: Digitales Wasserzeichen
Dieses eBook enthält ein digitales Wasserzeichen und ist damit für Sie personalisiert. Bei einer missbräuchlichen Weitergabe des eBooks an Dritte ist eine Rückverfolgung an die Quelle möglich.

Dateiformat: PDF (Portable Document Format)
Mit einem festen Seitenlayout eignet sich die PDF besonders für Fachbücher mit Spalten, Tabellen und Abbildungen. Eine PDF kann auf fast allen Geräten angezeigt werden, ist aber für kleine Displays (Smartphone, eReader) nur eingeschränkt geeignet.

Systemvoraussetzungen:
PC/Mac: Mit einem PC oder Mac können Sie dieses eBook lesen. Sie benötigen dafür einen PDF-Viewer - z.B. den Adobe Reader oder Adobe Digital Editions.
eReader: Dieses eBook kann mit (fast) allen eBook-Readern gelesen werden. Mit dem amazon-Kindle ist es aber nicht kompatibel.
Smartphone/Tablet: Egal ob Apple oder Android, dieses eBook können Sie lesen. Sie benötigen dafür einen PDF-Viewer - z.B. die kostenlose Adobe Digital Editions-App.

Buying eBooks from abroad
For tax law reasons we can sell eBooks just within Germany and Switzerland. Regrettably we cannot fulfill eBook-orders from other countries.

Print-Ausgabe

Buch | Hardcover

117,69 €