AbstractAn abstract algebra 〈A,∧,∨,⊥,⊤,¬,∼〉 is called a De Morgan Boolean algebra if 〈A,∧,∨,⊥,⊤,¬〉 is a Boolean algebra and 〈A,∧,∨,∼〉 is a De Morgan lattice. In this paper we prove that implicational classes of De Morgan Boolean algebras form a four-element chain and are all finitely-axiomatizable and finitely-generated quasivarieties, three of which are varieties. We also show that there are exactly two (up to isomorphism) subdirectly irreducible De Morgan Boolean algebras
In a paper published in 2012, the second author extended the well-known fact that Boolean algebras c...
The article provides a formal proof of de Morgan’s laws for Boolean algebras.</p
The variety I of implication zroupoids (using a binary operation → and a constant 0) was defined and...
AbstractAn abstract algebra 〈A,∧,∨,⊥,⊤,¬,∼〉 is called a De Morgan Boolean algebra if 〈A,∧,∨,⊥,⊤,¬〉 i...
AbstractIn this paper we find the lattice of all implicational classes of De Morgan lattices togethe...
AbstractIn this paper we find the lattice of all implicational classes of De Morgan lattices togethe...
It is a well known fact that Boolean algebras can be defined using only implication and a constant. ...
p. 341–349In this paper a characterization of principal congruences of De Morgan algebras is given a...
De Morgan monoids are algebraic structures that model certain non-classical logics. The variety DMM...
We investigate the class of those algebras (L; A(0), *) in which (L; A(0)) is a de Morgan algebra, (...
We investigate the class of those algebras (L; A(0), *) in which (L; A(0)) is a de Morgan algebra, (...
We show that the theory of De Morgan algebras has a model completion and axiomatise it. Then we prov...
Characterizations of admissible quasi-identities, which may be understood as quasi-identities holdin...
AbstractThis paper is concerned with endomorphism monoids of de Morgan algebras. A construction is g...
Modal pseudocomplemented De Morgan algebras (or mpM-algebras) were investigated in A. V. Figallo, N....
In a paper published in 2012, the second author extended the well-known fact that Boolean algebras c...
The article provides a formal proof of de Morgan’s laws for Boolean algebras.</p
The variety I of implication zroupoids (using a binary operation → and a constant 0) was defined and...
AbstractAn abstract algebra 〈A,∧,∨,⊥,⊤,¬,∼〉 is called a De Morgan Boolean algebra if 〈A,∧,∨,⊥,⊤,¬〉 i...
AbstractIn this paper we find the lattice of all implicational classes of De Morgan lattices togethe...
AbstractIn this paper we find the lattice of all implicational classes of De Morgan lattices togethe...
It is a well known fact that Boolean algebras can be defined using only implication and a constant. ...
p. 341–349In this paper a characterization of principal congruences of De Morgan algebras is given a...
De Morgan monoids are algebraic structures that model certain non-classical logics. The variety DMM...
We investigate the class of those algebras (L; A(0), *) in which (L; A(0)) is a de Morgan algebra, (...
We investigate the class of those algebras (L; A(0), *) in which (L; A(0)) is a de Morgan algebra, (...
We show that the theory of De Morgan algebras has a model completion and axiomatise it. Then we prov...
Characterizations of admissible quasi-identities, which may be understood as quasi-identities holdin...
AbstractThis paper is concerned with endomorphism monoids of de Morgan algebras. A construction is g...
Modal pseudocomplemented De Morgan algebras (or mpM-algebras) were investigated in A. V. Figallo, N....
In a paper published in 2012, the second author extended the well-known fact that Boolean algebras c...
The article provides a formal proof of de Morgan’s laws for Boolean algebras.</p
The variety I of implication zroupoids (using a binary operation → and a constant 0) was defined and...
DOI
Add to ORKG