Algebraic Logic

Viac o knihe

Focusing on mathematical logic, this work introduces Halmos's polyadic algebras, presenting an algebraic interpretation of first-order logic distinct from Tarski's cylindric algebras. It offers an elementary approach to polyadic algebra through monadic Boolean algebra, addressing various problems within the field. The book aims to provide a cohesive framework for understanding algebraic logic, making it a valuable resource for those interested in the theory of polyadic Boolean algebras.