Pages that link to "Item:Q5705523"
From MaRDI portal
The following pages link to MacNeille completions and canonical extensions (Q5705523):
Displaying 21 items.
- Algebraic proof theory for substructural logics: cut-elimination and completions (Q409322) (← links)
- Canonical extensions of posets. (Q466925) (← links)
- Generalized Kripke frames (Q863180) (← links)
- Completion and finite embeddability property for residuated ordered algebras. (Q993327) (← links)
- Comparison of MacNeille, canonical, and profinite completions (Q1013989) (← links)
- Modal languages for topology: expressivity and definability (Q1023054) (← links)
- Subcompletions of representable relation algebras (Q1652851) (← links)
- Lewis meets Brouwer: constructive strict implication (Q1688950) (← links)
- Preservation of Sahlqvist fixed point equations in completions of relativized fixed point Boolean algebras with operators (Q1762482) (← links)
- Canonical extensions and ultraproducts of polarities (Q1800462) (← links)
- MacNeille transferability and stable classes of Heyting algebras (Q1991585) (← links)
- Canonical extensions: an algebraic approach to Stone duality (Q1991594) (← links)
- Correspondence, canonicity, and model theory for monotonic modal logics (Q2021573) (← links)
- Definable operators on stable set lattices (Q2027212) (← links)
- Hyper-MacNeille completions of Heyting algebras (Q2062218) (← links)
- On the logic of belief and propositional quantification (Q2240550) (← links)
- On the variety generated by completions of representable relation algebras (Q2297227) (← links)
- Intermediate logics admitting a structural hypersequent calculus (Q2422309) (← links)
- On two fragments with negation and without implication of the logic of residuated lattices (Q2501164) (← links)
- Dedekind–MacNeille completion and Cartesian product of multi-adjoint lattices (Q4903467) (← links)
- On canonicity and completions of weakly representable relation algebras (Q5388728) (← links)
