Pages that link to "Item:Q5824671"
From MaRDI portal
The following pages link to Strict implication, deducibility and the deduction theorem (Q5824671):
Displaying 7 items.
- Does the deduction theorem fail for modal logic? (Q383061) (← links)
- A survey of deduction theorems for the propositional calculi (Q1211481) (← links)
- Lewis meets Brouwer: constructive strict implication (Q1688950) (← links)
- A logical system based on rules and its application in teaching mathematical logic (Q2540259) (← links)
- The deduction theorems valid in certain fragments of the Lewis' system S2 and the system T of Feys-von Wright (Q2562848) (← links)
- The pure calculus of entailment (Q3849883) (← links)
- Axiomatic and dual systems for constructive necessity, a formally verified equivalence (Q5231279) (← links)