Pages that link to "Item:Q5841793"
From MaRDI portal
The following pages link to The deduction theorem in a functional calculus of first order based on strict implication (Q5841793):
Displaying 10 items.
- Does the deduction theorem fail for modal logic? (Q383061) (← links)
- Delimited control operators prove double-negation shift (Q450950) (← links)
- On a derivation of the necessity of identity (Q484964) (← links)
- Reflecting rules: a note on generalizing the deduction theorem (Q898771) (← links)
- A survey of deduction theorems for the propositional calculi (Q1211481) (← links)
- Lewis meets Brouwer: constructive strict implication (Q1688950) (← links)
- Modèles à variables de différentes sortes pour les logiques modales \(M''\) ou \(S5\) (Q2532151) (← 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)
- Strict implication, deducibility and the deduction theorem (Q5824671) (← links)