The following pages link to (Q4281686):
Displaying 4 items.
- A family of goal directed theorem provers based on conjunction and implication. I (Q1181711) (← links)
- Algorithmic proof methods and cut elimination for implicational logics. I: Modal implication (Q1580655) (← links)
- Two loop detection mechanisms: A comparison (Q4610326) (← links)
- Efficient loop-check for backward proof search in some non-classical propositional logics (Q4645239) (← links)