Buscar
Mostrando ítems 1-10 de 65
Reticulados distributivos con un operador y álgebras de De Morgan monádicasDistributive lattices with an operator and monadic De Morgan algebras
(Facultad de Ciencias Exactas y Naturales. Universidad de Buenos Aires, 1997)
Symmetric structure for closure algebras
(Universidad Nacional del Sur. Departamento de Matemática. Instituto de Matemática, 2007)
The aim of this paper is to investigate the variety of symmetric closure algebras, that is, closure algebras endowed with a De Morgan operator. Some general properties are derived. Particularly, the lattice of subvarieties ...
Discrete duality for 3-valued Lukasiewicz-Moisil algebras
(World Scientific Publishing, 2017-03)
In 2011, Düntsch and Orlowska obtained a discrete duality for regular double Stone algebras. On the other hand, it is well known that regular double Stone algebras are polinominally equivalent to 3-valued Lukasiewicz-Moisil ...
Construction of Nelson Algebras
(Universidad Nacional del Sur. Departamento de Matemática. Instituto de Matemática de Bahía Blanca, 2019)
The Vakarelov construction of Nelson algebras up from Heyting ones is generalized to obtain De Morgan algebras from distributive lattices. Necessary and sufficient conditions for these De Morgan algebras to be Nelson ...
Tense operators on De Morgan algebras
(Oxford University Press, 2014-04-25)
The purpose of this article is to investigate the variety of algebras, which we call tense De Morgan algebras, as a natural generalization of tense algebras developed in Burges (1984, Handbook of Philosophical Logic, vol. ...
A Characterization of Principal Congruences of De Morgan Algebras and its Applications
(Studies in Logic and the Foundations of Mathematics, 1980)
In this paper a characterization of principal congruences of De Morgan algebras is given and from it we derive that the variety of De Morgan algebras has DPC and CEP. The characterization is then applied to give a new proof ...
Semisimple varieties of implication zroupoids
(Springer Verlag, 2016-08)
It is a well known fact that Boolean algebras can be defined using only implication and a constant. In fact, in 1934, Bernstein (Trans Am Math Soc 36:876–884, 1934) gave a system of axioms for Boolean algebras in terms of ...
Teorema de Kalman topológico
(2015-08-31)
En términos propios del Álgebra Universal, el Teorema de Kalmat afirma que las variedades generadas por las álgebras de De Morgai Booleana de dos elementos, el álgebra de Kleene de tres elementos el álgebra Diamante de ...