Universal Algebraic Logic (eBook)
XV, 327 Seiten
Springer International Publishing (Verlag)
978-3-031-14887-3 (ISBN)
This book gives a comprehensive introduction to Universal Algebraic Logic. The three main themes are (i) universal logic and the question of what logic is, (ii) duality theories between the world of logics and the world of algebra, and (iii) Tarskian algebraic logic proper including algebras of relations of various ranks, cylindric algebras, relation algebras, polyadic algebras and other kinds of algebras of logic. One of the strengths of our approach is that it is directly applicable to a wide range of logics including not only propositional logics but also e.g. classical first order logic and other quantifier logics. Following the Tarskian tradition, besides the connections between logic and algebra, related logical connections with geometry and eventually spacetime geometry leading up to relativity are also part of the perspective of the book. Besides Tarskian algebraizations of logics, category theoretical perspectives are also touched upon.
This book, apart from being a monograph containing state of the art results in algebraic logic, can be used as the basis for a number of different courses intended for both novices and more experienced students of logic, mathematics, or philosophy. For instance, the first two chapters can be used in their own right as a crash course in Universal Algebra.
| Erscheint lt. Verlag | 1.11.2022 |
|---|---|
| Reihe/Serie | Studies in Universal Logic | Studies in Universal Logic |
| Zusatzinfo | XV, 327 p. 1 illus. |
| Sprache | englisch |
| Themenwelt | Mathematik / Informatik ► Mathematik |
| Schlagworte | abstract algebraic logic • abstract model theory • Amalgamation • Category-Theoretic Properties of Classes of Algebras • cylindric algebra • Definability Theory • Duality theories • Finite Variable Fragment of First Order Logic • first order logic • First Order Logic With Nonstandard Semantics • Institutions • Interpolation • Logic • Relation Algebra • Sentential Logics • Substitution Properties • Surjectivity of Epimorphisms • Tarskian Algebraic Logic • universal algebra • Weak Beth Definability Property |
| ISBN-10 | 3-031-14887-8 / 3031148878 |
| ISBN-13 | 978-3-031-14887-3 / 9783031148873 |
| Haben Sie eine Frage zum Produkt? |
PDF (Wasserzeichen)Größe: 4,9 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.
aus dem Bereich
