Algebraic Logic
ISBN: 161427634X
EAN13: 9781614276340
Language: English
Publication Date: May 26, 2014
Pages: 274
Dimensions: 1.00" H x 9.00" L x 6.00" W
Weight: 1.00 lbs.
Format: Paperback
Book Overview
2014 Reprint of 1962 Edition. Full facsimile of the original edition, not reproduced with Optical Recognition Software. 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. An elementary version of polyadic algebra is described in monadic Boolean algebra. This book addresses some of the problems of mathematical logic and the theory of polyadic Boolean algebras in particular. It is intended to be an efficient way of treating algebraic logic in a unified manner.