Pages that link to "Item:Q1060210"
From MaRDI portal
The following pages link to Condensed detachment as a rule of inference (Q1060210):
Displaying 7 items.
- Implementing the `Fool's model' of combinatory logic (Q1181718) (← links)
- Shortest axiomatizations of implicational S4 and S5 (Q1430904) (← links)
- Searching for circles of pure proofs (Q1904397) (← links)
- A finitely axiomatized formalization of predicate calculus with equality (Q1906674) (← links)
- Learning from Łukasiewicz and Meredith: investigations into proof structures (Q2055843) (← links)
- A (machine-oriented) logic based on pattern matching (Q6149946) (← links)
- Investigations into proof structures (Q6653096) (← links)
