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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00012-015-0335-2
+Normal rank
@@ Property / OpenAlex ID @@
+W2220881559
@@ Property / OpenAlex ID: W2220881559 / rank @@
+Normal rank
@@ 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