Displaying similar documents to “Subdirect products of certain varieties of unary algebras”

Implication and equivalential reducts of basic algebras

Ivan Chajda, Miroslav Kolařík, Filip Švrček (2010)

Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica

Similarity:

A term operation implication is introduced in a given basic algebra 𝒜 and properties of the implication reduct of 𝒜 are treated. We characterize such implication basic algebras and get congruence properties of the variety of these algebras. A term operation equivalence is introduced later and properties of this operation are described. It is shown how this operation is related with the induced partial order of 𝒜 and, if this partial order is linear, the algebra 𝒜 can be reconstructed...

Modal Pseudocomplemented De Morgan Algebras

Aldo V. Figallo, Nora Oliva, Alicia Ziliani (2014)

Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica

Similarity:

Modal pseudocomplemented De Morgan algebras (or m p M -algebras for short) are investigated in this paper. This new equational class of algebras was introduced by A. V. Figallo and P. Landini ([Figallo, A. V., Landini, P.: Notes on 4 -valued modal algebras Preprints del Instituto de Ciencias Básicas, Univ. Nac. de San Juan 1 (1990), 28–37.]) and they constitute a proper subvariety of the variety of all pseudocomplemented De Morgan algebras satisfying x ∧ ( ∼ x ) * = ( ∼ ( x ∧ ( ∼ x ) * ) ) * . Firstly, a topological duality for these...