Displaying similar documents to “Free Modal Pseudocomplemented De Morgan Algebras”

The class of 2-dimensional neat reducts is not elementary

Tarek Sayed Ahmed (2002)

Fundamenta Mathematicae

Similarity:

SC, CA, QA and QEA stand for the classes of Pinter's substitution algebras, Tarski's cylindric algebras, Halmos' quasipolyadic algebras and Halmos' quasipolyadic algebras with equality, respectively. Generalizing a result of Andréka and Németi on cylindric algebras, we show that for K ∈ SC,QA,CA,QEA and any β > 2 the class of 2-dimensional neat reducts of β-dimensional algebras in K is not closed under forming elementary subalgebras, hence is not elementary. Whether this result extends...

A Topological Approach to Tense LMn×m-Algebras

Aldo V. Figallo, Inés Pascual, Gustavo Pelaitay (2020)

Bulletin of the Section of Logic

Similarity:

In 2015, tense n × m-valued Lukasiewicz–Moisil algebras (or tense LMn×m-algebras) were introduced by A. V. Figallo and G. Pelaitay as an generalization of tense n-valued Łukasiewicz–Moisil algebras. In this paper we continue the study of tense LMn×m-algebras. More precisely, we determine a Priestley-style duality for these algebras. This duality enables us not only to describe the tense LMn×m-congruences on a tense LMn×m-algebra, but also to characterize the simple and subdirectly irreducible...

Free Bicommutative Algebras

Dzhumadil'daev, A. S., Ismailov, N. A., Tulenbaev, K. M. (2011)

Serdica Mathematical Journal

Similarity:

2000 Mathematics Subject Classification: Primary 17A50, Secondary 16R10, 17A30, 17D25, 17C50. Algebras with identities a(bc)=b(ac), (ab)c=(ac)b is called bicommutative. Bases and the cocharacter sequence for free bicommutative algebras are found. It is shown that the exponent of the variety of bicommutaive algebras is equal to 2.