Pages that link to "Admissible rule"
Jump to navigation
Jump to search
The following pages link to Admissible rule:
Displaying 10 items.
- Modus ponens (← links)
- Unification (computer science) (← links)
- Intuitionistic logic (← links)
- Rule of inference (← links)
- Sequent calculus (← links)
- Linear logic (← links)
- Monotonicity of entailment (← links)
- Cut-elimination theorem (← links)
- Inadmissible inference rule (redirect page) (← links)
- Admissible inference rule (redirect page) (← links)