Results 71 to 80 of about 102 (81)

Priestley duality for order-preserving maps into distributive lattices

Order, 1996
Let \(R\) be a binary relation between Priestley spaces \(P\) and \(Q\). Then \(R\) is called a Priestley relation if for all \(p\in P\), \(R(p)= \{q\mid (p,q)\in R\}\) is a closed down-set; and for all \(V\in D(Q)\), \(R^{-1}(V)\in D(P)\). Here \(D(P)\) denotes the lattice of clopen up-sets.
exaly   +2 more sources

The Priestley duality for $$\prec $$-distributive $$\vee $$-predomains

Algebra Universalis
Xiaodong Jia, Hualin Miao, Li Qingguo
exaly   +2 more sources

Priestley Duality for Quasi-Stone Algebras

Studia Logica, 2000
The author describes the Priestley space of a quasi-Stone algebra in terms of a Priestley space with a certain equivalence relation. He shows that finite quasi-Stone algebras enjoy the amalgamation property and describes the Priestley space for free quasi-Stone algebras over a finite set.
openaire   +1 more source

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

Priestley duality and quotient lattices of many-valued algebras

Rendiconti del Circolo Matematico di Palermo, 1991
\textit{L. P. Belluce} [Can. J. Math. 38, 1356-1379 (1986; Zbl 0625.03009)] defined a functor, that we denote by \(\beta\), from the category of MV- algebras to the category of bounded distributive lattices, in such a way that for each MV-algebra \(A\), the prime ideals of the lattice \(\beta(A)\) coincide with the prime ideals of the algebra \(A ...
R. Cignoli, DI NOLA, Antonio, LETTIERI, Ada   +2 more
openaire   +3 more sources

Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic

Logic Journal of IGPL, 1999
Positive modal logic is modal logic without any negation sign or implication sign. Because of this a system of positive modal logic must be formulated as a sequent calculus. Classical and intuitionist modal logics have the same positive fragment, but differences arise in the matter of completeness according as the standard (classical) Kripke semantics ...
Sergio A. Celani, Ramon Jansana
openaire   +1 more source

Priestley duality for demi-p-lattices

Algebra Universalis, 1997
An algebra \({\langle }L,+,\cdot ,',0,1{\rangle }\) is a demi-p-lattice if \({\langle }L,+,\cdot ,0,1{\rangle }\) is a distributive lattice with 0 and 1 which satisfies the identities: \( (x+y)'=x'y'\); \((xy)''=x''y''\); \(x'''=x'\); \(x'x''=0\); \(0'=1\); \(1'=0\).
openaire   +2 more sources

Priestley Duality for SHn-algebras and Applications to the Study of Kripke-style Models for SHn-logics

2000
The main goal of this paper is to show that the Priestley duality for SHn-algebras can help to establish a link between the algebraic and Kripke-style semantics for SHn-logics. We present a Priestley duality theorem for SHn-algebras, and note that the dual space of an SHn-algebra satisfies in particular the properties of a Kripke model for SHn-logics ...
openaire   +1 more source

Priestley Duality

openaire   +1 more source

Duality for Distributive Lattices: The Priestley Topology

2008
openaire   +1 more source