Results 261 to 270 of about 1,092 (279)
Some of the next articles are maybe not open access.

Priestley duality for some subalgebra lattices

Studia Logica, 1996
The author characterizes Heyting algebras with a modular congruence lattice. His investigations are carried out within the Priestley space \(X\) of such algebras. The author also looks at Heyting algebras with complemented congruence or subalgebra lattices. For example, for finite Heyting spaces \(X\), \(\text{Con} (X)\) is complemented if and only if \
openaire   +2 more sources

Free Modal Lattices via Priestley Duality

Studia Logica, 2002
A modal lattice \(L\) is an algebra \(L=(L;\vee, \wedge,j,0, 1)\), where \((L;\vee, \wedge,0,1)\) is a bounded distributive lattice and \(j\) is a unary operation satisfying the following identities: (i) \(x\leq j(x)\), (ii) \(j(x)= j(j(x))\) and (iii) \(j(x\wedge y)=j(x) \wedge j(y)\).
openaire   +1 more source

Duality in Lattice Implication Algebra

2011
According to the general form of principle of duality in the sense of class [1], this paper tries to study the dual operators of operators in lattice implication algebra [2], especially the dual operator of implication operator and gives the expression of principle of duality in lattice implication algebra.
Li Zhao, Yang Xu
openaire   +1 more source

Atomistic Symmetric Lattices with Duality

1970
A lattice L with 0 and 1 is called a DAC-lattice when both L and its dual L* are AC-lattices, that is, atomistic lattices with the covering property. If L is a DAC-lattice then so is L* evidently.
Fumitomo Maeda, Shûichirô Maeda
openaire   +1 more source

Topological Duality for Distributive Lattices

Introducing Stone–Priestley duality theory and its applications to logic and theoretical computer science, this book equips graduate students and researchers with the theoretical background necessary for reading and understanding current research in the area.
Gehrke, Mai, van Gool, Sam
openaire   +1 more source

Choice-free topological duality for implicative lattices and Heyting algebras

Algebra Universalis, 2023
Chrysafis Hartonas, Hartonas Chrysafis
exaly  

Home - About - Disclaimer - Privacy