Boolean topological distributive lattices and canonical extensions (Q2643609): Difference between revisions

@@ Property / cites work @@
+A characterization of ΣΔ-rings of subsets
@@ Property / cites work: A characterization of ΣΔ-rings of subsets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4173540
@@ Property / cites work: Q4173540 / rank @@
+Normal rank
@@ Property / cites work @@
+Profinite completions and canonical extensions of Heyting algebras
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+A dual adjointness on partially ordered topological spaces
+Normal rank
@@ Property / cites work @@
+Q4220406
@@ Property / cites work: Q4220406 / rank @@
+Normal rank
@@ Property / cites work @@
+Standard topological algebras: syntactic and principal congruences and profiniteness
+Normal rank
@@ Property / cites work @@
+Q4179057
@@ Property / cites work: Q4179057 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5446632
@@ Property / cites work: Q5446632 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4530231
@@ Property / cites work: Q4530231 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3969000
@@ Property / cites work: Q3969000 / rank @@
+Normal rank
@@ Property / cites work @@
+Bigeneration in complete lattices and principal separation in ordered sets
+Normal rank
@@ Property / cites work @@
+Q3138861
@@ Property / cites work: Q3138861 / rank @@
+Normal rank
@@ Property / cites work @@
+General Stone duality.
@@ Property / cites work: General Stone duality. / rank @@
+Normal rank
@@ Property / cites work @@
+Q3719483
@@ Property / cites work: Q3719483 / rank @@
+Normal rank
@@ Property / cites work @@
+Canonical extensions and relational completeness of some substructural logics
+Normal rank
@@ Property / cites work @@
+Completeness theorems via the double dual functor
@@ Property / cites work: Completeness theorems via the double dual functor / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded lattice expansions
@@ Property / cites work: Bounded lattice expansions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4313857
@@ Property / cites work: Q4313857 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded distributive lattice expansions
@@ Property / cites work: Bounded distributive lattice expansions / rank @@
+Normal rank
@@ Property / cites work @@
+A Sahlqvist theorem for distributive modal logic
@@ Property / cites work: A Sahlqvist theorem for distributive modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Canonical extensions of double quasioperator algebras: an algebraic perspective on duality for certain algebras with binary operations
+Normal rank
@@ Property / cites work @@
+Duality for double quasioperator algebras via their canonical extensions
+Normal rank
@@ Property / cites work @@
+Q3898534
@@ Property / cites work: Q3898534 / rank @@
+Normal rank
@@ Property / cites work @@
+Continuous Lattices and Domains
@@ Property / cites work: Continuous Lattices and Domains / rank @@
+Normal rank
@@ Property / cites work @@
+Varieties of complex algebras
@@ Property / cites work: Varieties of complex algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Maps and monads for modal frames
@@ Property / cites work: Maps and monads for modal frames / rank @@
+Normal rank
@@ Property / cites work @@
+Q5472326
@@ Property / cites work: Q5472326 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3915037
@@ Property / cites work: Q3915037 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3965241
@@ Property / cites work: Q3965241 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3138864
@@ Property / cites work: Q3138864 / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean Algebras with Operators. Part I
@@ Property / cites work: Boolean Algebras with Operators. Part I / rank @@
+Normal rank
@@ Property / cites work @@
+The Priestley duality for Wajsberg algebras
@@ Property / cites work: The Priestley duality for Wajsberg algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Theorems on Compact Totally Disconnected Semigroups and Lattices
+Normal rank
@@ Property / cites work @@
+Topological Lattices
@@ Property / cites work: Topological Lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Ordered Topological Spaces and the Representation of Distributive Lattices
+Normal rank
@@ Property / cites work @@
+Completely Distributive Complete Lattices
@@ Property / cites work: Completely Distributive Complete Lattices / rank @@
+Normal rank
@@ Property / cites work @@
+A Subdirect-Union Representation for Completely Distributive Complete Lattices
+Normal rank
@@ Property / cites work @@
+Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics. I
+Normal rank