Pages that link to "Item:Q2474096"
From MaRDI portal
The following pages link to MacNeille completions of lattice expansions (Q2474096):
Displaying 14 items.
- Algebraic proof theory for substructural logics: cut-elimination and completions (Q409322) (← links)
- Crawley completions of residuated lattices and algebraic completeness of substructural predicate logics (Q454386) (← links)
- Grishin algebras and cover systems for classical bilinear logic (Q647406) (← links)
- Algebraic proof theory: hypersequents and hypercompletions (Q730091) (← links)
- Canonical extensions and relational representations of lattices with negation (Q1015482) (← links)
- MacNeille completion and profinite completion can coincide on finitely generated modal algebras (Q1047116) (← links)
- Preservation of Sahlqvist fixed point equations in completions of relativized fixed point Boolean algebras with operators (Q1762482) (← links)
- Definable operators on stable set lattices (Q2027212) (← links)
- Residuated structures and orthomodular lattices (Q2062191) (← links)
- Hyper-MacNeille completions of Heyting algebras (Q2062218) (← links)
- Reducts of relation algebras: the aspects of axiomatisability and finite representability (Q2151415) (← links)
- Modal MTL-algebras (Q2445422) (← links)
- STONE SPACE OF CYLINDRIC ALGEBRAS AND TOPOLOGICAL MODEL SPACES (Q2976380) (← links)
- MacNeille Completion and Buchholz' Omega Rule for Parameter-Free Second Order Logics (Q5079762) (← links)
