The following pages link to (Q5311045):
Displaying 7 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 square-increasing ordered monoids and idempotent semirings (Q2362745) (← 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)
- Substructural nuclear (image-based) logics and operational Kripke-style semantics (Q6597128) (← links)
