Generalized "Boolean" theory of universal algebras. Part II. Identities and subdirect sums of functionally complete algebras.
Alfred L. Foster (1953/54)
Mathematische Zeitschrift
Similarity:
Alfred L. Foster (1953/54)
Mathematische Zeitschrift
Similarity:
Arthur H. COPELAND (1950)
Mathematische Zeitschrift
Similarity:
J.D. Maitland Wright (1969)
Mathematische Zeitschrift
Similarity:
Mehmet Orhon (1983)
Mathematische Zeitschrift
Similarity:
Peter G. Dodds, Ben de Pagter (1984)
Mathematische Zeitschrift
Similarity:
Matthew I. Gould, George Grätzer (1967)
Mathematische Zeitschrift
Similarity:
Awad A. Iskander (1972)
Mathematische Zeitschrift
Similarity:
Raymond Balbes (1970)
Mathematische Zeitschrift
Similarity:
Roman Sikorski (1948)
Fundamenta Mathematicae
Similarity:
Robert Lagrange (1974)
Colloquium Mathematicae
Similarity:
Ivan Chajda, Günther Eigenthaler (2009)
Discussiones Mathematicae - General Algebra and Applications
Similarity:
De Morgan quasirings are connected to De Morgan algebras in the same way as Boolean rings are connected to Boolean algebras. The aim of the paper is to establish a common axiom system for both De Morgan quasirings and De Morgan algebras and to show how an interval of a De Morgan algebra (or De Morgan quasiring) can be viewed as a De Morgan algebra (or De Morgan quasiring, respectively).
Brian Wynne (2008)
Fundamenta Mathematicae
Similarity:
Two Boolean algebras are elementarily equivalent if and only if they satisfy the same first-order statements in the language of Boolean algebras. We prove that every Boolean algebra is elementarily equivalent to the algebra of clopen subsets of a normal P-space.
Ivan Chajda, Miroslav Kolařík (2008)
Discussiones Mathematicae - General Algebra and Applications
Similarity:
We introduce the so-called DN-algebra whose axiomatic system is a common axiomatization of directoids with an antitone involution and the so-called D-quasiring. It generalizes the concept of Newman algebras (introduced by H. Dobbertin) for a common axiomatization of Boolean algebras and Boolean rings.