The following pages link to On rules (Q266650):
Displayed 9 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)
- 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)
- PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS (Q5737940) (← links)
- Logic Discovered and Logic Imposed (A Purim Story) (Q6152209) (← links)
- Complexity of the universal theory of residuated ordered groupoids (Q6169326) (← links)