Q6099196 (Q6099196): Difference between revisions

@@ Property / cites work @@
+Kripke models for linear logic
@@ Property / cites work: Kripke models for linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Injective Hulls of Semilattices
@@ Property / cites work: Injective Hulls of Semilattices / rank @@
+Normal rank
@@ Property / cites work @@
+A categorical duality for semilattices and lattices
+Normal rank
@@ Property / cites work @@
+Q4220406
@@ Property / cites work: Q4220406 / rank @@
+Normal rank
@@ Property / cites work @@
+TiRS graphs and TiRS frames: a new setting for duals of canonical extensions
+Normal rank
@@ Property / cites work @@
+Canonical extensions of lattices are more than perfect
+Normal rank
@@ Property / cites work @@
+A fresh perspective on canonical extensions for bounded lattices.
+Normal rank
@@ Property / cites work @@
+Reconciliation of approaches to the construction of canonical extensions of bounded lattices
+Normal rank
@@ Property / cites work @@
+Dual digraphs of finite semidistributive lattices
@@ Property / cites work: Dual digraphs of finite semidistributive lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Unities and negation: On the representation of finite lattices
+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 @@
+Canonical extensions and relational completeness of some substructural logics
+Normal rank
@@ Property / cites work @@
+Relational Representation Theorems for Lattices with Negations: A Survey
+Normal rank
@@ Property / cites work @@
+Problèmes d'associativité: Une structure de treillis finis induite par une loi demi-associative
+Normal rank
@@ Property / cites work @@
+Q4230685
@@ Property / cites work: Q4230685 / rank @@
+Normal rank
@@ Property / cites work @@
+Join-prime elements in semidistributive lattices
@@ Property / cites work: Join-prime elements in semidistributive lattices / 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 @@
+Distributive envelopes and topological duality for lattices via canonical extensions.
+Normal rank
@@ Property / cites work @@
+Continuous Lattices and Domains
@@ Property / cites work: Continuous Lattices and Domains / rank @@
+Normal rank
@@ Property / cites work @@
+The Stone Space of an Ortholattice
@@ Property / cites work: The Stone Space of an Ortholattice / rank @@
+Normal rank
@@ Property / cites work @@
+Stone duality for lattices
@@ Property / cites work: Stone duality for lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Duality for lattice-ordered algebras and for normal algebraizable logics
+Normal rank
@@ Property / cites work @@
+Discrete duality for lattices with modal operators
+Normal rank
@@ Property / cites work @@
+A topological representation of lattices
@@ Property / cites work: A topological representation of lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Q3140286
@@ Property / cites work: Q3140286 / rank @@
+Normal rank
@@ Property / cites work @@
+On selected developments in the theory of natural dualities
+Normal rank
@@ Property / cites work @@
+The Pontryagin duality of compact O-dimensional semilattices and its applications
+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 @@
+Boolean Algebras with Operators
@@ Property / cites work: Boolean Algebras with Operators / rank @@
+Normal rank
@@ Property / cites work @@
+Topological duality and lattice expansions. I: A topological construction of canonical extensions.
+Normal rank
@@ Property / cites work @@
+Topological duality and lattice expansions. II: Lattice expansions with quasioperators.
+Normal rank
@@ Property / cites work @@
+An approach to lattice varieties of finite height
@@ Property / cites work: An approach to lattice varieties of finite height / rank @@
+Normal rank
@@ Property / cites work @@
+Q3467535
@@ Property / cites work: Q3467535 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4886948
@@ Property / cites work: Q4886948 / 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 @@
+Lattice Theory: Foundation
@@ Property / cites work: Lattice Theory: Foundation / rank @@
+Normal rank
@@ Property / cites work @@
+The fundamental theorem of finite semidistributive 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 @@
+A topological representation theory for lattices
@@ Property / cites work: A topological representation theory for lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Q3952147
@@ Property / cites work: Q3952147 / rank @@
+Normal rank