The following pages link to (Q4652057):
Displayed 8 items.
- Funayama's theorem revisited (Q387628) (← links)
- 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)
- Profinite Heyting algebras (Q953270) (← links)
- Comparison of MacNeille, canonical, and profinite completions (Q1013989) (← links)
- Hypercontinuous posets. (Q2340484) (← links)
- Completions of Basic Algebras (Q3638276) (← links)