MacNeille completions and canonical extensions (Q5705523): Difference between revisions

@@ Property / cites work @@
+Hüllensysteme und Erweiterung von Quasi‐Ordnungen
+Normal rank
@@ Property / cites work @@
+Q4083730
@@ Property / cites work: Q4083730 / rank @@
+Normal rank
@@ Property / cites work @@
+Modal logic
@@ Property / cites work: Modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3934450
@@ Property / cites work: Q3934450 / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory
@@ Property / cites work: Model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3956998
@@ Property / cites work: Q3956998 / rank @@
+Normal rank
@@ Property / cites work @@
+Robinson lattices and their spectra
@@ Property / cites work: Robinson lattices and their spectra / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded lattice expansions
@@ Property / cites work: Bounded lattice expansions / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded distributive lattice expansions
@@ Property / cites work: Bounded distributive lattice expansions / rank @@
+Normal rank
@@ Property / cites work @@
+Q3898534
@@ Property / cites work: Q3898534 / rank @@
+Normal rank
@@ Property / cites work @@
+The preservation of Sahlqvist equations in completions of Boolean algebras with operators
+Normal rank
@@ Property / cites work @@
+Q4128788
@@ Property / cites work: Q4128788 / rank @@
+Normal rank
@@ Property / cites work @@
+Varieties of complex algebras
@@ Property / cites work: Varieties of complex algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary generation and canonicity for varieties of Boolean algebras with operators
+Normal rank
@@ Property / cites work @@
+Persistence and atomic generation for varieties of Boolean algebras with operators
+Normal rank
@@ Property / cites work @@
+Erdős Graphs Resolve Fine's Canonicity Problem
@@ Property / cites work: Erdős Graphs Resolve Fine's Canonicity Problem / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical modal logic: A view of its evolution
@@ Property / cites work: Mathematical modal logic: A view of its evolution / rank @@
+Normal rank
@@ Property / cites work @@
+Q4955600
@@ Property / cites work: Q4955600 / rank @@
+Normal rank
@@ Property / cites work @@
+Relation algebras by games
@@ Property / cites work: Relation algebras by games / 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 @@
+Boolean Algebras with Operators
@@ Property / cites work: Boolean Algebras with Operators / rank @@
+Normal rank
@@ Property / cites work @@
+Proceedings of the 3rd Scandinavian logic symposium
+Normal rank
@@ Property / cites work @@
+Atomic orthocomplemented lattices
@@ Property / cites work: Atomic orthocomplemented lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Partially Ordered Sets
@@ Property / cites work: Partially Ordered Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Completions of B<scp>OOLEAN</scp> Algebras with operators
+Normal rank
@@ Property / cites work @@
+Dynamic algebras: Examples, constructions, applications
+Normal rank
@@ Property / cites work @@
+Q4081211
@@ Property / cites work: Q4081211 / rank @@
+Normal rank
@@ Property / cites work @@
+Zur Kennzeichnung der Dedekind-MacNeilleschen Hülle einer geordneten Menge
+Normal rank
@@ Property / cites work @@
+Q4104164
@@ Property / cites work: Q4104164 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215609
@@ Property / cites work: Q4215609 / rank @@
+Normal rank