TiRS graphs and TiRS frames: a new setting for duals of canonical extensions (Q494628): Difference between revisions

@@ Property / cites work @@
+Q4220406
@@ Property / cites work: Q4220406 / rank @@
+Normal rank
@@ Property / cites work @@
+Reconciliation of approaches to the construction of canonical extensions of bounded lattices
+Normal rank
@@ Property / cites work @@
+A fresh perspective on canonical extensions for bounded lattices.
+Normal rank
@@ Property / cites work @@
+A note on representable posets
@@ Property / cites work: A note on representable posets / rank @@
+Normal rank
@@ Property / cites work @@
+Multisorted dualisability: change of base
@@ Property / cites work: Multisorted dualisability: change of base / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean topological distributive lattices and canonical extensions
+Normal rank
@@ Property / cites work @@
+Q4530231
@@ Property / cites work: Q4530231 / rank @@
+Normal rank
@@ Property / cites work @@
+A topological approach to canonical extensions in finitely generated varieties of lattice-based algebras
+Normal rank
@@ Property / cites work @@
+Canonical extensions and discrete dualities for finitely generated varieties of lattice-based algebras
+Normal rank
@@ Property / cites work @@
+Canonical extensions and relational completeness of some substructural logics
+Normal rank
@@ Property / cites work @@
+Generalized Kripke frames
@@ Property / cites work: Generalized Kripke frames / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded lattice expansions
@@ Property / cites work: Bounded lattice expansions / rank @@
+Normal rank
@@ Property / cites work @@
+A View of Canonical Extension
@@ Property / cites work: A View of Canonical Extension / rank @@
+Normal rank
@@ Property / cites work @@
+Q4886948
@@ Property / cites work: Q4886948 / rank @@
+Normal rank
@@ Property / cites work @@
+A topological representation theory for lattices
@@ Property / cites work: A topological representation theory for lattices / rank @@
+Normal rank