Universal Algebraic Logic: Dedicated to the Unity of Science
暫譯: 普遍代數邏輯:致力於科學的統一
Andréka, Hajnal, Németi, István, Sain, Ildikó
相關主題
商品描述
This book connects logic with algebra. It covers universal logic and the question of what logic is as well as universal algebraic logic and duality theories between the world of logics and the world of algebra. It also discusses algebraic logic proper including algebras of relations of various ranks, Tarski's cylindric algebras, relation algebras, Halmos' polyadic algebras and other kinds of algebras of logic.
商品描述(中文翻譯)
這本書將邏輯與代數連結起來。它涵蓋了普遍邏輯以及邏輯的定義,還有普遍代數邏輯和邏輯世界與代數世界之間的對偶理論。書中還討論了代數邏輯的本質,包括各種階數的關係代數、塔斯基的圓柱代數、關係代數、哈爾莫斯的多元代數以及其他類型的邏輯代數。