Pages that link to "Inference rules"
Jump to navigation
Jump to search
The following pages link to Inference rules:
Displaying 10 items.
- Theorem (← links)
- Natural deduction (← links)
- Intuitionistic logic (← links)
- Foundations of mathematics (← links)
- Functional dependency (← links)
- Curry–Howard correspondence (← links)
- Second-order logic (← links)
- Law of thought (← links)
- History of mathematical notation (← links)
- Talk:Admissible rule (← links)