Pages that link to "Item:Q4736759"
From MaRDI portal
The following pages link to On weakening the Deduction Theorem and strengthening Modus Ponens (Q4736759):
Displaying 6 items.
- An improvement on the discrepancy in the implementation of modus ponens (Q1369180) (← links)
- Bennett on Modus Ponens (Q3065115) (← links)
- (Q3082578) (← links)
- 2004 Summer Meeting of the Association for Symbolic Logic (Q3370624) (← links)
- On a theory of weak implications (Q3794150) (← links)
- The simplest protoalgebraic logic (Q5396225) (← links)