Wyniki wyszukiwania - BazTech

Ograniczanie wyników

2 Demonstratio Mathematica

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: algebra De Morgana

Sortuj według:

Ogranicz wyniki do:

A note on regular De Morgan semi-Heyting algebras

Sankappanavar H. P.

Demonstratio Mathematica

2016

Vol. 49, nr 3

252--256

The purpose of this note is two-fold. Firstly, we prove that the variety RDMSH1 of regular De Morgan semi-Heyting algebras of level 1 satisfies Stone identity and present (equational) axiomatizations for several subvarieties of RDMSH1. Secondly, using our earlier results published in 2014, we give a concrete description of the lattice of subvarieties of the variety RDQDStSH1 of regular dually quasi-De Morgan Stone semi-Heyting algebras that contains RDMSH1. Furthermore, we prove that every subvariety of RDQDStSH1, and hence of RDMSH1, has Amalgamation Property. The note concludes with some open problems for further investigation.

De Morgan functions and free De Morgan algebras

Movsisyan Y. M., Aslanyan V. A.

Demonstratio Mathematica

2014

Vol. 47, nr 2

271--283

It is commonly known that the free Boolean algebra on n free generators is isomorphic to the Boolean algebra of Boolean functions of n variables. The free bounded distributive lattice on n free generators is isomorphic to the bounded lattice of monotone Boolean functions of n variables. In this paper, we introduce the concept of De Morgan function and prove that the free De Morgan algebra on n free generators is isomorphic to the De Morgan algebra of De Morgan functions of n variables. This is a solution of the problem suggested by B. I. Plotkin.