Canonical extensions of posets. (Q466925): 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-014-0292-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2009663113
@@ Property / OpenAlex ID: W2009663113 / rank @@
+Normal rank
@@ Property / cites work @@
+Existence of prime ideals and ultrafilters in partially ordered sets
+Normal rank
@@ Property / cites work @@
+Completions of Partially Ordered Sets
@@ Property / cites work: Completions of Partially Ordered Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q5532570
@@ Property / cites work: Q5532570 / rank @@
+Normal rank
@@ Property / cites work @@
+A universal mapping property for a lattice completion
+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 @@
+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 @@
+Ideals in ordered sets, a unifying approach
@@ Property / cites work: Ideals in ordered sets, a unifying approach / rank @@
+Normal rank
@@ Property / cites work @@
+Standard completions for quasiordered sets
@@ Property / cites work: Standard completions for quasiordered sets / rank @@
+Normal rank
@@ Property / cites work @@
+Ideals in Partially Ordered Sets
@@ Property / cites work: Ideals in Partially Ordered Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Residuated lattices. An algebraic glimpse at substructural logics
+Normal rank
@@ Property / cites work @@
+Q4230685
@@ Property / cites work: Q4230685 / rank @@
+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 @@
+Constructive canonicity in non-classical logics
@@ Property / cites work: Constructive canonicity in non-classical logics / rank @@
+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 @@
+On the canonicity of Sahlqvist identities
@@ Property / cites work: On the canonicity of Sahlqvist identities / 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 @@
+A completion for partially ordered Abelian groups
@@ Property / cites work: A completion for partially ordered Abelian groups / rank @@
+Normal rank
@@ Property / cites work @@
+Q2894094
@@ Property / cites work: Q2894094 / rank @@
+Normal rank
@@ Property / cites work @@
+On canonicity of poset expansions
@@ Property / cites work: On canonicity of poset expansions / rank @@
+Normal rank
@@ Property / cites work @@
+The Completion of a Partially Ordered Set with Respect to a Polarization
+Normal rank
@@ Property / cites work @@
+Completion and finite embeddability property for residuated ordered algebras.
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:466925