Author: L. Henkin
Publisher: Springer
ISBN: 3540387900
Category : Mathematics
Languages : en
Pages : 328

Get Book Here

Book Description

Author: Leon Henkin
Publisher: North Holland
ISBN:
Category : Computers
Languages : en
Pages : 524

Get Book Here

Book Description
Volume I provides a detailed analysis of cylindric algebras, starting with a formulation of their axioms and a development of their elementary properties, and proceeding to a deeper study of their interrelationships by means of general algebraic notions such as subalgebras, homomorphisms, direct products, free algebras, reducts and relativized algebras.

Author: Hajnal Andréka
Publisher: Springer Science & Business Media
ISBN: 3642350259
Category : Mathematics
Languages : en
Pages : 457

Get Book Here

Book Description
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 Algebra theory, or, as logic in geometric form (“cylindric” in the name refers to geometric aspects). Cylindric-like algebras have a wide range of applications, in, e.g., natural language theory, data-base theory, stochastics, and even in relativity theory. The present volume, consisting of 18 survey papers, intends to give an overview of the main achievements and new research directions in the past 30 years, since the publication of the Henkin-Monk-Tarski monographs. It is dedicated to the memory of Leon Henkin.​

Author: Alfred Tarski
Publisher:
ISBN:
Category :
Languages : en
Pages : 0

Get Book Here

Book Description

Author: Bozzano G Luisa
Publisher: Elsevier
ISBN: 0080887589
Category : Science
Languages : en
Pages : 313

Get Book Here

Book Description
Volume II completes the description of the main aspects of the theory, covering representation questions, model theory and decision problems for them, translations from logic to algebra and vice-versa, and relationships with other algebraic versions of logic.

Author: L. Henkin
Publisher:
ISBN: 9783662179758
Category :
Languages : en
Pages : 336

Get Book Here

Book Description

Author: Alfred Tarski
Publisher:
ISBN:
Category : Cylindric algebras
Languages : en
Pages : 0

Get Book Here

Book Description

Author: Leon Henkin
Publisher:
ISBN:
Category : Cylindric algebras
Languages : en
Pages : 508

Get Book Here

Book Description

Author: Bozzano G Luisa
Publisher: North Holland
ISBN: 9780720420432
Category : Mathematics
Languages : en
Pages : 508

Get Book Here

Book Description
Volume I provides a detailed analysis of cylindric algebras, starting with a formulation of their axioms and a development of their elementary properties, and proceeding to a deeper study of their interrelationships by means of general algebraic notions such as subalgebras, homomorphisms, direct products, free algebras, reducts and relativized algebras.

Author: Diane Resek
Publisher:
ISBN:
Category :
Languages : en
Pages : 602

Get Book Here

Book Description