Results 11 to 20 of about 1,092 (279)

Priestley Duality for Strong Proximity Lattices

open access: yesElectronic Notes in Theoretical Computer Science, 2006
AbstractIn 1937 Marshall Stone extended his celebrated representation theorem for Boolean algebras to distributive lattices. In modern terminology, the representing topological spaces are zero-dimensional stably compact, but typically not Hausdorff. In 1970, Hilary Priestley realised that Stone's topology could be enriched to yield order-disconnected ...
Mohamed A El-Zawawy, Achim Jung
exaly   +3 more sources

A duality for two-sorted lattices [PDF]

open access: yesSoft Computing, 2021
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Umberto Rivieccio, Achim Jung
openaire   +3 more sources

Relational Lattices via Duality [PDF]

open access: yes, 2016
The natural join and the inner union combine in different ways tables of a relational database. Tropashko [18] observed that these two operations are the meet and join in a class of lattices-called the relational lattices- and proposed lattice theory as an alternative algebraic approach to databases. Aiming at query optimization, Litak et al.
Santocanale, Luigi, Luigi Santocanale
openaire   +5 more sources

On duality of submodule lattices

open access: yesDiscussiones Mathematicae - General Algebra and Applications, 2000
\textit{G. Hutchinson} [Proc. Univ. Houston, Lattice Theory Conf., Houston 1973, 69-94 (1973; Zbl 0302.06016)] has shown that the equational theory of an infinite rank free module is self-dual. Here, an elementary proof is given based on the diagonalization of integer matrices and the self-duality of subgroup lattices of finite Abelian groups (for ...
Czédli, Gábor, Takách, Géza
openaire   +3 more sources

Dualities for modal N4-lattices

open access: yesLogic Journal of IGPL, 2014
We introduce a new Priestley-style topological duality for N4-lattices, which are the algebraic counterpart of paraconsistent Nelson logic. Our duality differs from the existing one, due to S. Odintsov, in that we only rely on Esakia duality for Heyting algebras and not on the duality for De Morgan algebras of Cornish and Fowler.
Ramon Jansana, Umberto Rivieccio
core   +5 more sources

A Gelfand duality for continuous lattices

open access: yesTheory and Applications of Categories
16 pages; revisions from ...
Chen, Ruiyuan
openaire   +4 more sources

On L-fuzzy ideals of multilattices [PDF]

open access: yesJournal of Hyperstructures, 2023
For a given multilattice M, the set ℑM of all ideals of M is a complete lattice and for a given complete lattice L, the set FI(M;L) of all L-fuzzy ideals ofMis also a complete lattice.
Daquin Cdric Awouafack   +2 more
doaj   +1 more source

Natural and restricted Priestley duality for ternary algebras and their cousins [PDF]

open access: yesCategories and General Algebraic Structures with Applications, 2022
Up to term equivalence, there are three ways to assign a nonemptyset C of constants to the three-element Kleene lattice, leading toternary algebras (C = {0, d, 1}), Kleene algebras (C = {0, 1}), and don’tknow algebras (C = {d}).
Brian Davey, Stacey Mendan
doaj   +1 more source

Distributive lattices with strong endomorphism kernel property as direct sums [PDF]

open access: yesCategories and General Algebraic Structures with Applications, 2020
Unbounded distributive lattices which have strong endomorphism kernel property (SEKP) introduced by Blyth and Silva in [3] were fully characterized in [11] using Priestley duality (see Theorem  2.8}). We shall determine the structure of special elements (
Jaroslav Gurican
doaj   +1 more source

Categorical Dualities for Some Two Categories of Lattices: An Extended Abstract

open access: yesBulletin of the Section of Logic, 2022
The categorical dualities presented are: (first) for the category of bi-algebraic lattices that belong to the variety generated by the smallest non-modular lattice with complete (0,1)-lattice homomorphisms as morphisms, and (second) for the category of ...
Wiesław Dziobiak, Marina Schwidefsky
doaj   +1 more source

Home - About - Disclaimer - Privacy