Esakia style duality for implicative semilattices (Q1942035): Difference between revisions

@@ Property / cites work @@
+The fundamental duality of partially ordered sets
@@ Property / cites work: The fundamental duality of partially ordered sets / rank @@
+Normal rank
@@ Property / cites work @@
+AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE
+Normal rank
@@ Property / cites work @@
+Bitopological duality for distributive lattices and Heyting algebras
+Normal rank
@@ Property / cites work @@
+Priestley style duality for distributive meet-semilattices
+Normal rank
@@ Property / cites work @@
+Q4436398
@@ Property / cites work: Q4436398 / rank @@
+Normal rank
@@ Property / cites work @@
+Representation of Hilbert algebras and implicative semilattices
+Normal rank
@@ Property / cites work @@
+Q4111635
@@ Property / cites work: Q4111635 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3138861
@@ Property / cites work: Q3138861 / rank @@
+Normal rank
@@ Property / cites work @@
+Choiceless, pointless, but not useless: dualities for preframes
+Normal rank
@@ Property / cites work @@
+Q4049062
@@ Property / cites work: Q4049062 / rank @@
+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 @@
+Q5270289
@@ Property / cites work: Q5270289 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3931593
@@ Property / cites work: Q3931593 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3965241
@@ Property / cites work: Q3965241 / rank @@
+Normal rank
@@ Property / cites work @@
+Brouwerian Semilattices
@@ Property / cites work: Brouwerian Semilattices / rank @@
+Normal rank
@@ Property / cites work @@
+Varieties with equationally definable principal congruences
+Normal rank
@@ Property / cites work @@
+Implicative Semi-Lattices
@@ Property / cites work: Implicative Semi-Lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Representation of Distributive Lattices by means of ordered Stone Spaces
+Normal rank
@@ Property / cites work @@
+Ordered Topological Spaces and the Representation of Distributive Lattices
+Normal rank
@@ Property / cites work @@
+The Theory of Representation for Boolean Algebras
@@ Property / cites work: The Theory of Representation for Boolean Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Topological representations of distributive lattices and Brouwerian logics
+Normal rank
@@ Property / cites work @@
+Q3724386
@@ Property / cites work: Q3724386 / rank @@
+Normal rank