This short essay focuses on just one of the mythological paintings of Evelyn Pickering De Morgan,Ariadne at Naxos of 1877 at The De Morgan Foundation(Figure 1).1 It consists of an iconographical and iconological analy...This short essay focuses on just one of the mythological paintings of Evelyn Pickering De Morgan,Ariadne at Naxos of 1877 at The De Morgan Foundation(Figure 1).1 It consists of an iconographical and iconological analysis of the ancient legend of Ariadne and Theseus,demonstrating Evelyn’s classical erudition and artistic mastery in visualizing a moment in the narrative,the desertion of Ariadne by Theseus on the beach at Naxos.展开更多
The variety ddpM of de Morgan algebras with double demi-pseudocomplementation consists of those algebras （L; ∧ , ∨ , , , ＋ , 0, 1） of type （2, 2, 1, 1, 1, 0, 0） where （L; ∧ , ∨ , , 0, 1） is a de Morgan alge...The variety ddpM of de Morgan algebras with double demi-pseudocomplementation consists of those algebras （L; ∧ , ∨ , , , ＋ , 0, 1） of type （2, 2, 1, 1, 1, 0, 0） where （L; ∧ , ∨ , , 0, 1） is a de Morgan algebra, （L; ∧ , ∨ , , ＋ , 0, 1） is a double demi-p-lattice and the operations x → x , x → x and x → x ＋ are linked by the identities x = x , x ＋ = x ＋ and x ＋ = x ＋ . In this paper, we characterize congruences on a ddpM-algebra, and give a description of the subdirectly irreducible algebras.展开更多
In this note, we study of those congruences on an Ockham algebra with de Morgan skeleton that the quotient algebras belong to the class of de Morgan algebras. We particularly give a description of those kernel ideals ...In this note, we study of those congruences on an Ockham algebra with de Morgan skeleton that the quotient algebras belong to the class of de Morgan algebras. We particularly give a description of those kernel ideals that generate these congruences.展开更多
This survey article illustrates many important current trends and perspectives for the field and their applications, of interest to researchers in modern algebra, mathematical logic and discrete mathematics. It covers...This survey article illustrates many important current trends and perspectives for the field and their applications, of interest to researchers in modern algebra, mathematical logic and discrete mathematics. It covers a number of directions, including completeness theorem and compactness theorem for hyperidentities;the characterizations of the Boolean algebra of n-ary Boolean functions and the bounded distributive lattice of n-ary monotone Boolean functions;the functional representations of finitely-generated free algebras of various varieties of lattices via generalized Boolean functions, etc.展开更多
An algebra A is said to be congruence permutable if any two congruences on it are permutable. This property has been investigated in several varieties of algebras, for example, de Morgan algebras, p-algebras, Kn,0-alg...An algebra A is said to be congruence permutable if any two congruences on it are permutable. This property has been investigated in several varieties of algebras, for example, de Morgan algebras, p-algebras, Kn,0-algebras. In this paper, we study the class of symmetric extended de Morgan algebras that are congruence permutable. In particular we consider the case where A is finite, and show that A is congruence permutable if and only if it is isomorphic to a direct product of finitely many simple algebras.展开更多
文摘This short essay focuses on just one of the mythological paintings of Evelyn Pickering De Morgan,Ariadne at Naxos of 1877 at The De Morgan Foundation(Figure 1).1 It consists of an iconographical and iconological analysis of the ancient legend of Ariadne and Theseus,demonstrating Evelyn’s classical erudition and artistic mastery in visualizing a moment in the narrative,the desertion of Ariadne by Theseus on the beach at Naxos.
文摘The variety ddpM of de Morgan algebras with double demi-pseudocomplementation consists of those algebras （L; ∧ , ∨ , , , ＋ , 0, 1） of type （2, 2, 1, 1, 1, 0, 0） where （L; ∧ , ∨ , , 0, 1） is a de Morgan algebra, （L; ∧ , ∨ , , ＋ , 0, 1） is a double demi-p-lattice and the operations x → x , x → x and x → x ＋ are linked by the identities x = x , x ＋ = x ＋ and x ＋ = x ＋ . In this paper, we characterize congruences on a ddpM-algebra, and give a description of the subdirectly irreducible algebras.
文摘In this note, we study of those congruences on an Ockham algebra with de Morgan skeleton that the quotient algebras belong to the class of de Morgan algebras. We particularly give a description of those kernel ideals that generate these congruences.
文摘This survey article illustrates many important current trends and perspectives for the field and their applications, of interest to researchers in modern algebra, mathematical logic and discrete mathematics. It covers a number of directions, including completeness theorem and compactness theorem for hyperidentities;the characterizations of the Boolean algebra of n-ary Boolean functions and the bounded distributive lattice of n-ary monotone Boolean functions;the functional representations of finitely-generated free algebras of various varieties of lattices via generalized Boolean functions, etc.
文摘An algebra A is said to be congruence permutable if any two congruences on it are permutable. This property has been investigated in several varieties of algebras, for example, de Morgan algebras, p-algebras, Kn,0-algebras. In this paper, we study the class of symmetric extended de Morgan algebras that are congruence permutable. In particular we consider the case where A is finite, and show that A is congruence permutable if and only if it is isomorphic to a direct product of finitely many simple algebras.
