Pages that link to "Item:Q5841793"

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)