Pages that link to "Item:Q652517"
From MaRDI portal
The following pages link to MacNeille completions of FL-algebras (Q652517):
Displaying 14 items.
- Densification of FL chains via residuated frames (Q271692) (← links)
- Algebraic proof theory for substructural logics: cut-elimination and completions (Q409322) (← links)
- Algebraic proof theory: hypersequents and hypercompletions (Q730091) (← links)
- The bounded proof property via step algebras and step frames (Q741087) (← links)
- Uniform proofs of standard completeness for extensions of first-order MTL (Q744987) (← links)
- A note on standard completeness for some extensions of uninorm logic (Q894654) (← links)
- Distributive residuated frames and generalized bunched implication algebras (Q1686325) (← links)
- MacNeille transferability and stable classes of Heyting algebras (Q1991585) (← links)
- Hyper-MacNeille completions of Heyting algebras (Q2062218) (← links)
- Canonical formulas for \(k\)-potent commutative, integral, residuated lattices (Q2359733) (← links)
- Associativity, commutativity and symmetry in residuated structures (Q2376900) (← links)
- Intermediate logics admitting a structural hypersequent calculus (Q2422309) (← links)
- Tools for the Investigation of Substructural and Paraconsistent Logics (Q2938481) (← links)
- Residuated frames with applications to decidability (Q4913809) (← links)
