Algebraic Logic
Algebraic Logic 2014 Reprint of 1962 Edition. In "Algebraic Logic" Halmos devised polyadic algebras, an algebraic version of first-order logic differing from the better known cylindric algebras of…
Specifikacia Algebraic Logic
Algebraic Logic
2014 Reprint of 1962 Edition. In "Algebraic Logic" Halmos devised polyadic algebras, an algebraic version of first-order logic differing from the better known cylindric algebras of Alfred Tarski and his students. Full facsimile of the original edition, not reproduced with Optical Recognition Software.
This book addresses some of the problems of mathematical logic and the theory of polyadic Boolean algebras in particular. An elementary version of polyadic algebra is described in monadic Boolean algebra. It is intended to be an efficient way of treating algebraic logic in a unified manner.