Pages that link to "Admissible rule"
Jump to navigation
Jump to search
The following pages link to Admissible rule:
Displaying 13 items.
- Modus ponens (← links)
- Unification (computer science) (← links)
- Intuitionistic logic (← links)
- Sequent calculus (← links)
- Monotonicity of entailment (← links)
- Cut-elimination theorem (← links)
- Idempotency of entailment (← links)
- Heyting arithmetic (← links)
- Constructive set theory (← links)
- Modal companion (← links)
- Markov's principle (← links)
- Independence of premise (← links)
- Completeness (logic) (← links)