The following pages link to On rules (Q266650):
Displaying 11 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)
- Intermediate logics and Visser's rules (Q558441) (← links)
- Computational complexity for bounded distributive lattices with negation (Q2032990) (← links)
- Deductive systems with multiple-conclusion rules and the disjunction property (Q2306638) (← links)
- Complexity of the universal theory of modal algebras (Q2307300) (← links)
- Admissible Rules of Lukasiewicz Logic (Q3553916) (← links)
- Canonical rules (Q3655251) (← links)
- PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS (Q5737940) (← links)
- Complexity of the universal theory of residuated ordered groupoids (Q6169326) (← links)
