The following pages link to On rules (Q266650):
Displaying 4 items.
- Almost structural completeness; an algebraic approach (Q278762) (← links)
- A syntactic approach to unification in transitive reflexive modal logics (Q286704) (← links)
- Consequence relations and admissible rules (Q300835) (← links)
- Complexity of the universal theory of residuated ordered groupoids (Q6169326) (← links)
