Universal Algebraic Logic: Dedicated to the Unity of Science
暫譯: 普遍代數邏輯:致力於科學的統一

Andréka, Hajnal, Németi, István, Sain, Ildikó

  • 出版商: Springer
  • 出版日期: 2021-07-23
  • 售價: $3,050
  • 貴賓價: 9.5$2,898
  • 語言: 英文
  • 頁數: 260
  • 裝訂: Quality Paper - also called trade paper
  • ISBN: 3764385057
  • ISBN-13: 9783764385057
  • 相關分類: 遊戲引擎 Game-engine
  • 海外代購書籍(需單獨結帳)

相關主題

商品描述

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.

商品描述(中文翻譯)

這本書將邏輯與代數連結起來。它涵蓋了普遍邏輯以及邏輯的定義,還有普遍代數邏輯和邏輯世界與代數世界之間的對偶理論。書中還討論了代數邏輯的本質,包括各種階數的關係代數、塔斯基的圓柱代數、關係代數、哈爾莫斯的多元代數以及其他類型的邏輯代數。