The following pages link to Inference rules:
Displayed 8 items.
- Theorem (← links | edit)
- Natural deduction (← links | edit)
- Intuitionistic logic (← links | edit)
- Foundations of mathematics (← links | edit)
- Functional dependency (← links | edit)
- Curry–Howard correspondence (← links | edit)
- Second-order logic (← links | edit)
- Law of thought (← links | edit)