The following pages link to (Q3509209):
Displayed 7 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)
- MacNeille completions of FL-algebras (Q652517) (← links)
- Residuated structures and orthomodular lattices (Q2062191) (← links)
- Completions of pseudo ordered sets (Q2141001) (← links)
- On Factorization of Concept Lattices by Incompatible Tolerances (Q3003416) (← links)
- (Q5087782) (← links)