The following pages link to Admissible rule:
Displayed 11 items.
- Index of philosophy articles (A–C) (← links | edit)
- Modus ponens (← links | edit)
- Unification (computer science) (← links | edit)
- Intuitionistic logic (← links | edit)
- Rule of inference (← links | edit)
- Sequent calculus (← links | edit)
- Linear logic (← links | edit)
- Monotonicity of entailment (← links | edit)
- Cut-elimination theorem (← links | edit)
- Inadmissible inference rule (redirect page) (← links | edit)
- Noncommutative logic (← links | edit)
- Admissible inference rule (redirect page) (← links | edit)