Algebraic LogicCourier Dover Publications, 17 mars 2016 - 272 pages Beginning with an introduction to the concepts of algebraic logic, this concise volume features ten articles by a prominent mathematician that originally appeared in journals from 1954 to 1959. Covering monadic and polyadic algebras, these articles are essentially self-contained and accessible to a general mathematical audience, requiring no specialized knowledge of algebra or logic. Part One addresses monadic algebras, with articles on general theory, representation, and freedom. Part Two explores polyadic algebras, progressing from general theory and terms to equality. Part Three offers three items on polyadic Boolean algebras, including a survey of predicates, terms, operations, and equality. The book concludes with an additional bibliography and index. |
Autres éditions - Tout afficher
Expressions et termes fréquents
2-valued algebraic logic apply arbitrary assertion belongs Boolean endomorphism Boolean homomorphism Boolean logic Boolean relation Boolean space Boolean subalgebra cardinal number clopen clopen set concept constant corresponding cylindric algebras defined definition denoted distinct elements distinct variables domain dual equality exists a unique fact finite set finite subset finite support finite transformation follows fp(y functional algebra functional calculus functional monadic algebra functional polyadic algebra GI(I GI(J hemimorphism hence I-algebra identity mapping implies independent infimum intuitive isomorphic J U K J-constant J-term Lemma locally finite mathematical maximal ideal monadic algebra monadic ideal monadic logic morphism n-place notation O-valued functional obtained one-to-one p a q polyadic ideal polyadic logic predicate proper ideal propositional calculus propositional functions provable prove refutable representation theorem result satisfying semantic semisimple simple substitution Suppose supremum Tarski tion topological transformation of type write yºpa