Results 71 to 80 of about 275 (133)
Topological Duality for Distributive Lattices: Theory and Applications
, 2023 This book is a course in Stone-Priestley duality theory, with applications to logic and theoretical computer science. Our target audience are graduate students and researchers in mathematics and computer science.
Gehrke, Mai, van Gool, Sam
core
, 2007 We give a proof of localic Priestley duality. Our approach is based on lax proper maps of locales, which provide a vehicle for presenting the Priestley version of full Stone duality constructively and preserve spatial ...
Labuschagne, C.C.A., Korostenski, M.
core +1 more source
Duality theory and Abstract Algebraic Logic [PDF]
, 2013 [spa] En esta tesis se presentan los resultados de nuestra investigación acerca de la teoría de la dualidad para lógicas no clásicas desde el punto de vista de la Lógica Algebráica Abstracta (LAA).
Esteban, María
core
Finite RDP-algebras : duality, coproducts and logic
, 2011 The variety of RDP-algebras forms the algebraic semantics of RDP-logic, the many-valued propositional logic of the revised drastic product left-continuous triangular norm and its residual.
D. Valota, S. Bova
core +1 more source
Natural dualities for varieties generated by finite positive MV-chains [PDF]
peer reviewedWe provide a simple natural duality for the varieties generated by the negation- and implication-free reduct of a finite MV-chain. We study these varieties through the dual equivalences thus obtained. For example, we fully characterize their
POIGER, Wolfgang
core +1 more source
GENERALIZED PIGGYBACK DUALITIES AND APPLICATIONS TO OCKHAM ALGEBRAS
, 1987 B. A. Davey and H. Werner developed in [ 11] a general procedure for creating a natural duality between a prevariety A = ISP(P_) generated by a single algebra_P and a category X of topological structures.
H. A. Priestley +3 more
core
Topological Duality and Lattice Expansions, I: A Topological Construction of Canonical Extensions
, 2014 The two main objectives of this paper are (a) to prove purely topological duality theorems for semilattices and bounded lattices, and (b) to show that the topological duality from (a) provides a construction of canonical extensions of bounded lattices ...
Jipsen, Peter, Moshier, M. Andrew
core +1 more source
Optimal natural dualities for varieties of Heyting algebras
, 1996 The techniques of natural duality theory are applied to certain finitely generated varieties of Heyting algebras to obtain optimal dualities for these varieties, and thereby to address algebraic questions about them.
H. A. Priestley, B. A. Davey
core
STONE DUALITY, TOPOLOGICAL ALGEBRA, AND RECOGNITION
, 2016 Our main result is that any topological algebra based on a Boolean space is the extended Stone dual space of a certain associated Boolean algebra with additional operations.
Gehrke, Mai
core
Duality for distributive and implicative semi-lattices
We develop a new duality for distributive and implicative meet semi-lattices. For distributive meet semi-lattices our duality generalizes Priestley\u27s duality for distributive lattices and provides an improvement of Celani\u27s duality. Our generalized
Bezhanishvili, Guram, Jansana, Ramon
core