The following pages link to Reasoning with conditional axioms (Q1924731):
Displaying 6 items.
- Reasoning with slippery predicates (Q1005964) (← links)
- Automated inferencing (Q1070835) (← links)
- Goal-sensitive reasoning with disconnection tableaux (Q1694461) (← links)
- Sound generalizations in mathematical induction (Q1882908) (← links)
- Conditionals and supposition-based reasoning (Q1929172) (← links)
- A general approach for determining the validity of commonsense assertions using conditional logics (Q3201782) (← links)