The following pages link to On rules (Q266650):
Displaying 15 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)
- Escapist policy rules (Q956474) (← links)
- Policy rules in practice (Q1991985) (← 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)
- Rules and Derived Rules (Q4049046) (← links)
- (Q4417889) (← links)
- PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS (Q5737940) (← links)
- Complexity of the universal theory of residuated ordered groupoids (Q6169326) (← links)
