Système déterminant de l'algèbre de Morgan libre sur un ensemble ordonné fini
The algebra of first-order fuzzy logic
The coherent algebras in the varieties of Ockham algebras
Triple Constructions of Decomposable MS-Algebras
A simple triple construction of principal MS-algebras is given which is parallel to the construction of principal -algebras from principal triples presented by the third author in [Haviar, M.: Construction and affine completeness of principal p-algebras Tatra Mountains Math. 5 (1995), 217–228.]. It is shown that there exists a one-to-one correspondence between principal MS-algebras and principal MS-triples. Further, a triple construction of a class of decomposable MS-algebras that includes the...
Truth filters in De Morgan lattices.
Two Axiomatizations of Nelson Algebras
Nelson algebras were first studied by Rasiowa and Białynicki- Birula [1] under the name N-lattices or quasi-pseudo-Boolean algebras. Later, in investigations by Monteiro and Brignole [3, 4], and [2] the name “Nelson algebras” was adopted - which is now commonly used to show the correspondence with Nelson’s paper [14] on constructive logic with strong negation. By a Nelson algebra we mean an abstract algebra 〈L, T, -, ¬, →, ⇒, ⊔, ⊓〉 where L is the carrier, − is a quasi-complementation (Rasiowa used...
Two constructions of De Morgan algebras and De Morgan quasirings
De Morgan quasirings are connected to De Morgan algebras in the same way as Boolean rings are connected to Boolean algebras. The aim of the paper is to establish a common axiom system for both De Morgan quasirings and De Morgan algebras and to show how an interval of a De Morgan algebra (or De Morgan quasiring) can be viewed as a De Morgan algebra (or De Morgan quasiring, respectively).
Unicidad de implicación de álgebra-MV y negación de De Morgan.
It is shown that the implication of an MV-algebra is determined by de Morgan negation operations on a family of quotients of the given algebra; these quotients may be taken to be totally ordered. Certain existing results on the uniqueness of an MV-algebra implication are thereby elucidated and new criteria for uniqueness derived. These rely on a characterisation of chains on which a de Morgan negation is necessarily unique.
Using maximal ideals in the classification of MV-algebras
Varieties of distributive lattices with unary operations. II.
Varieties of Ockham algebras satisfying
Weakly projectable and projectable W-algebras.
In this paper we introduce and study the weakly projectable and projectable W-algebras and we review the Representation Theorem of [1].
Zur Darstellung von Polynomen auf De Morgan Algebren
Об одном дискриминаторном многообразии алгебр Гейтинга с инволюцией.