The following pages link to (Q3505079):
Displaying 7 items.
- Almost structural completeness; an algebraic approach (Q278762) (← links)
- Bases of admissible rules of proper axiomatic extensions of Łukasiewicz logic (Q723257) (← links)
- Structural completeness in many-valued logics with rational constants (Q2080696) (← links)
- Projectivity in (bounded) commutative integral residuated lattices (Q2108529) (← links)
- Rules with parameters in modal logic. I. (Q2346953) (← links)
- Projectivity and unification in substructural logics of generalized rotations (Q2677856) (← links)
- (Q4963142) (← links)
