Pages that link to "Admissible rule"
From HandWiki
The following pages link to Admissible rule:
Displayed 15 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Markov's principle (← links)
- Unification (computer science) (← links)
- Rule of inference (← links)
- Constructive set theory (← links)
- Propositional calculus (← links)
- Modus ponens (← links)
- Intuitionistic logic (← links)
- Cut-elimination theorem (← links)
- Heyting arithmetic (← links)
- Linear logic (← links)
- Philosophy:Idempotency of entailment (← links)
- Philosophy:Modal companion (← links)
- Philosophy:Independence of premise (← links)
- Philosophy:Monotonicity of entailment (← links)
- Philosophy:Completeness (logic) (← links)