The following pages link to (Q5311045):
Displayed 5 items.
- Crawley completions of residuated lattices and algebraic completeness of substructural predicate logics (Q454386) (← links)
- The bounded proof property via step algebras and step frames (Q741087) (← links)
- Comparison of MacNeille, canonical, and profinite completions (Q1013989) (← links)
- On three implication-less fragments of t-norm based fuzzy logics (Q2457026) (← links)
- On two fragments with negation and without implication of the logic of residuated lattices (Q2501164) (← links)