The following pages link to (Q3509209):
Displaying 13 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)
- Equational completion in order-sorted algebras (Q912606) (← links)
- Join-completions of partially ordered algebras (Q2004958) (← links)
- Residuated structures and orthomodular lattices (Q2062191) (← links)
- Completions of pseudo ordered sets (Q2141001) (← links)
- Hulls of ordered algebras: projectability, strong projectability and lateral completeness (Q2397563) (← links)
- On Factorization of Concept Lattices by Incompatible Tolerances (Q3003416) (← links)
- A sup-preserving completion of ordered partial algebras (Q3976043) (← links)
- Composition with Algebra at the Background (Q4928503) (← links)
- (Q5087782) (← links)
- A natural deduction system for orthomodular logic (Q6638239) (← links)