Pages that link to "Item:Q791512"
From MaRDI portal
The following pages link to Deduction theorems for weak implicational logics (Q791512):
Displaying 13 items.
- Contraction-elimination for implicational logics (Q676308) (← links)
- Deduction theorems for weak implicational logics (Q791512) (← links)
- The strong proof from hypotheses and conditionals: Some theorems of deduction for relevant systems (Q1061116) (← links)
- Relevant implication and the weak deduction theorem (Q1103605) (← links)
- A deterministic weakening of Belnap-Dunn logic (Q2422310) (← links)
- A general treatment for the deduction theorem in open calculi (Q2753259) (← links)
- (Q3082578) (← links)
- On a theory of weak implications (Q3794150) (← links)
- Axiomatic System, Deduction and Implication (Q4007158) (← links)
- On weakening the Deduction Theorem and strengthening Modus Ponens (Q4736759) (← links)
- (Q5020970) (← links)
- Deduction-detachment theorem in hidden k-logics (Q5406128) (← links)
- Birkhoff's and Mal'cev's theorems for implicational tonoid logics (Q6161952) (← links)