Results 91 to 100 of about 121 (100)

Applications of Priestley duality in transferring optimal dualities

Studia Logica, 2004
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Brian Davey, Miroslav Haviar, Davey Brian A   +2 more
exaly   +2 more sources

Lattice subordinations and Priestley duality

Algebra Universalis, 2013
The paper deals with possible extension of the known correspondence between Heyting algebras and S4-algebras to distributive lattices. For this, the author uses an appropriate analogue of S4-algebras which defines by means of binary relations lattice subordinations.
Bezhanishvili Guram, Guram Bezhanishvili   +1 more
exaly   +2 more sources

Priestley Duality for Paraconsistent Nelson’s Logic

Studia Logica, 2010
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Sergei Odintsov, Odintsov Sergei P
exaly   +3 more sources

The Priestley duality for Wajsberg algebras

Studia Logica, 1990
Wajsberg algebras are the algebraic counterpart of Łukasiewicz logic that is defined with axioms which characterize implication and negation and with Modus Ponens as a rule [\textit{A. J. Rodriguez}, Un estudio algebraico de los cálculos proposicionales de Łukasiewicz. Ph. D. Thesis, Univ. Barcelona (1980)].
exaly   +3 more sources

Priestley Style Duality for Distributive Meet-semilattices

Studia Logica, 2011
The authors generalize Priestley duality for distributive lattices to a duality for distributive meet-semilattices. A structure \(X= \langle X, \tau, \leq, X_0\rangle\) is called a generalized Priestley space if \begin{itemize} \item[1.] \(\langle X, \tau, \leq \rangle\) is a Priestley space. \item[2.] \(X_0\) is a dense subset of \(X\).
Ramon Jansana, Jansana Ramon, Bezhanishvili Guram   +2 more
exaly   +3 more sources

Remarks on Priestley duality for distributive lattices

Order, 1991
It is shown that there is a duality between the category of bounded distributive lattices and 0-preserving join-homomorphisms and the category of Priestley spaces and certain relations between them. A correspondence between 0,1-sublattices of a bounded distributive lattice and certain preorder relations on its Priestley space is established.
Cignoli, R., Lafalce, S., Petrovich, A.
exaly   +2 more sources

Join-continuous frames, Priestley's duality and biframes

Applied Categorical Structures, 1994
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Jorge Picado, Picado Jorge
exaly   +3 more sources

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 \
exaly   +3 more sources

Priestley-style duality for DN-algebras

Algebra Universalis
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Luciano Javier Gonzalez, Gonzalez Luciano J   +1 more
exaly   +3 more sources

Topos aspects of the extended Priestley duality.

openaire   +1 more source