Pages that link to "Item:Q652517"

The following pages link to MacNeille completions of FL-algebras (Q652517):

Displaying 8 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)
• Intermediate logics admitting a structural hypersequent calculus (Q2422309) (← links)