Algebraic logic is a subject in the interface between logic, algebra and geometry, it has strong connections with category theory and combinatorics. Tarski’s quest for finding structure in logic leads to cylindric-like algebras as studied in this book, they are among the main players in Tarskian algebraic logic. Cylindric algebra theory can be viewed in many ways: as an algebraic form of definability theory, as a study of higher-dimensional relations, as an enrichment of Boolean ...
Inhaltsverzeichnis
Introduction.- H. Andréka and I. Németi: Reducing First-order Logic to Df3, Free Algebras.- N.Bezhanishvili: Varieties of Two-Dimensional Cylindric Algebras.- R. ...
Dieses Ebook kaufen – und ein weitere GRATIS erhalten!
Sprache Englisch ● Format PDF ● Seiten 474 ● ISBN 9783642350252 ● Dateigröße 3.3 MB ● Herausgeber Hajnal Andréka & Miklós Ferenczi ● Verlag Springer Berlin ● Ort Heidelberg ● Land DE ● Erscheinungsjahr 2014 ● herunterladbar 24 Monate ● Währung EUR ● ID 5239100 ● Kopierschutz Soziales DRM