Canonical extensions and ultraproducts of polarities (Q1800462): Difference between revisions

@@ Property / cites work @@
+Canonical extensions and relational representations of lattices with negation
+Normal rank
@@ Property / cites work @@
+Q5570212
@@ Property / cites work: Q5570212 / rank @@
+Normal rank
@@ Property / cites work @@
+Profinite completions and canonical extensions of Heyting algebras
+Normal rank
@@ Property / cites work @@
+Topo-canonical completions of closure algebras and Heyting algebras
+Normal rank
@@ Property / cites work @@
+A Finitely Generated Modular Ortholattice
@@ Property / cites work: A Finitely Generated Modular Ortholattice / rank @@
+Normal rank
@@ Property / cites work @@
+Bare canonicity of representable cylindric and polyadic algebras
+Normal rank
@@ Property / cites work @@
+Q3934450
@@ Property / cites work: Q3934450 / rank @@
+Normal rank
@@ Property / cites work @@
+Sheaf Constructions and Their Elementary Properties
+Normal rank
@@ Property / cites work @@
+Model theory
@@ Property / cites work: Model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized Kripke semantics for the Lambek-Grishin calculus
+Normal rank
@@ Property / cites work @@
+Categories: How I Learned to Stop Worrying and Love Two Sorts
+Normal rank
@@ Property / cites work @@
+Algorithmic correspondence and canonicity for distributive modal logic
+Normal rank
@@ Property / cites work @@
+Generalising canonical extension to the categorical setting
+Normal rank
@@ Property / cites work @@
+Relational semantics for full linear logic
@@ Property / cites work: Relational semantics for full linear logic / 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 Henkin completeness theorem for T
@@ Property / cites work: A Henkin completeness theorem for T / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean topological distributive lattices and canonical extensions
+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 @@
+Q4692885
@@ Property / cites work: Q4692885 / rank @@
+Normal rank
@@ Property / cites work @@
+Canonical extensions and relational completeness of some substructural logics
+Normal rank
@@ Property / cites work @@
+Logics containing <i>K</i>4. Part I
@@ Property / cites work: Logics containing <i>K</i>4. Part I / rank @@
+Normal rank
@@ Property / cites work @@
+Q4075436
@@ Property / cites work: Q4075436 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized Kripke frames
@@ Property / cites work: Generalized Kripke frames / rank @@
+Normal rank
@@ Property / cites work @@
+Canonical Extensions, Esakia Spaces, and Universal Models
+Normal rank
@@ Property / cites work @@
+Distributive envelopes and topological duality for lattices via canonical extensions.
+Normal rank
@@ Property / cites work @@
+Bounded lattice expansions
@@ Property / cites work: Bounded lattice expansions / rank @@
+Normal rank
@@ Property / cites work @@
+MacNeille completions and canonical extensions
@@ Property / cites work: MacNeille completions and canonical extensions / rank @@
+Normal rank
@@ Property / cites work @@
+Canonical extensions for congruential logics with the deduction theorem
+Normal rank
@@ Property / cites work @@
+\(\Delta_1\)-completions of a poset.
@@ Property / cites work: \(\Delta_1\)-completions of a poset. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4313857
@@ Property / cites work: Q4313857 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2704574
@@ Property / cites work: Q2704574 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded distributive lattice expansions
@@ Property / cites work: Bounded distributive lattice expansions / rank @@
+Normal rank
@@ Property / cites work @@
+A Sahlqvist theorem for distributive modal logic
@@ Property / cites work: A Sahlqvist theorem for distributive modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Canonical extensions of double quasioperator algebras: an algebraic perspective on duality for certain algebras with binary operations
+Normal rank
@@ Property / cites work @@
+Duality for double quasioperator algebras via their canonical extensions
+Normal rank
@@ Property / cites work @@
+Q3505082
@@ Property / cites work: Q3505082 / 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 @@
+Canonical extensions and canonicity via dcpo presentations
+Normal rank
@@ Property / cites work @@
+Metamathematics of modal logic
@@ Property / cites work: Metamathematics of modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Varieties of complex algebras
@@ Property / cites work: Varieties of complex algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q4011717
@@ Property / cites work: Q4011717 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4495853
@@ Property / cites work: Q4495853 / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary generation and canonicity for varieties of Boolean algebras with operators
+Normal rank
@@ Property / cites work @@
+Q3629226
@@ Property / cites work: Q3629226 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4661993
@@ Property / cites work: Q4661993 / rank @@
+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 @@
+A topological duality for posets
@@ Property / cites work: A topological duality for posets / rank @@
+Normal rank
@@ Property / cites work @@
+Duality and canonical extensions for stably compact spaces
+Normal rank
@@ Property / cites work @@
+Q5396771
@@ Property / cites work: Q5396771 / rank @@
+Normal rank
@@ Property / cites work @@
+Canonical extensions and profinite completions of semilattices and lattices
+Normal rank
@@ Property / cites work @@
+Q4955600
@@ Property / cites work: Q4955600 / rank @@
+Normal rank
@@ Property / cites work @@
+The free orthomodular lattice on countably many generators is a subalgebra of the free orthomodular lattice on three generators.
+Normal rank
@@ Property / cites work @@
+On profinite completions and canonical extensions
@@ Property / cites work: On profinite completions and canonical extensions / rank @@
+Normal rank
@@ Property / cites work @@
+A topological representation of lattices
@@ Property / cites work: A topological representation of lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Q5472326
@@ Property / cites work: Q5472326 / rank @@
+Normal rank
@@ Property / cites work @@
+The completeness of the first-order functional calculus
+Normal rank
@@ Property / cites work @@
+Q5616133
@@ Property / cites work: Q5616133 / rank @@
+Normal rank
@@ Property / cites work @@
+A Finitely Generated Modular Ortholattice
@@ Property / cites work: A Finitely Generated Modular Ortholattice / rank @@
+Normal rank
@@ Property / cites work @@
+Canonical varieties with no canonical axiomatisation
+Normal rank
@@ Property / cites work @@
+Q3039307
@@ Property / cites work: Q3039307 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3138864
@@ Property / cites work: Q3138864 / rank @@
+Normal rank
@@ Property / cites work @@
+On the canonicity of Sahlqvist identities
@@ Property / cites work: On the canonicity of Sahlqvist identities / rank @@
+Normal rank
@@ Property / cites work @@
+Q4849832
@@ Property / cites work: Q4849832 / 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 @@
+Q4750696
@@ Property / cites work: Q4750696 / rank @@
+Normal rank
@@ Property / cites work @@
+A dichotomy for some elementarily generated modal logics
+Normal rank
@@ Property / cites work @@
+An axiom system for the modular logic
@@ Property / cites work: An axiom system for the modular logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4168590
@@ Property / cites work: Q4168590 / rank @@
+Normal rank
@@ Property / cites work @@
+On Some Completeness Theorems in Modal Logic
@@ Property / cites work: On Some Completeness Theorems in Modal Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3751631
@@ Property / cites work: Q3751631 / rank @@
+Normal rank
@@ Property / cites work @@
+The algebra of topology
@@ Property / cites work: The algebra of topology / rank @@
+Normal rank
@@ Property / cites work @@
+Canonical extensions of posets.
@@ Property / cites work: Canonical extensions of posets. / 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 @@
+Representation of Distributive Lattices by means of ordered Stone Spaces
+Normal rank
@@ Property / cites work @@
+Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras
+Normal rank
@@ Property / cites work @@
+Q4081211
@@ Property / cites work: Q4081211 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4068699
@@ Property / cites work: Q4068699 / rank @@
+Normal rank
@@ Property / cites work @@
+Fixed point algebras
@@ Property / cites work: Fixed point algebras / rank @@
+Normal rank
@@ Property / cites work @@
+CANONICITY RESULTS OF SUBSTRUCTURAL AND LATTICE-BASED LOGICS
+Normal rank
@@ Property / cites work @@
+On canonicity of poset expansions
@@ Property / cites work: On canonicity of poset expansions / rank @@
+Normal rank
@@ Property / cites work @@
+Semantic analysis of tense logics
@@ Property / cites work: Semantic analysis of tense logics / rank @@
+Normal rank
@@ Property / cites work @@
+A topological representation theory for lattices
@@ Property / cites work: A topological representation theory for lattices / rank @@
+Normal rank