Tolerances on median algebras
Tolerances on semilattices.
Topological characterization of certain classes of lattices
Topological locally finite MV-algebras and Riemann surfaces.
Totally bounded frame quasi-uniformities
This paper considers totally bounded quasi-uniformities and quasi-proximities for frames and shows that for a given quasi-proximity on a frame there is a totally bounded quasi-uniformity on that is the coarsest quasi-uniformity, and the only totally bounded quasi-uniformity, that determines . The constructions due to B. Banaschewski and A. Pultr of the Cauchy spectrum and the compactification of a uniform frame are meaningful for quasi-uniform frames. If is a totally bounded quasi-uniformity...
Treillis continus et treillis complètement distributifs.
Triple construction of semilattices with admitting neutral -closure operators
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).