The deduction theorem in a functional calculus of first order based on strict implication

DOI10.2307/2268309zbMath0063.00206OpenAlexW2124788466WikidataQ56227311 ScholiaQ56227311MaRDI QIDQ5841793

Ruth C. Barcan

Publication date: 1946

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2268309

Related Items (10)

Does the deduction theorem fail for modal logic? ⋮ Lewis meets Brouwer: constructive strict implication ⋮ Reflecting rules: a note on generalizing the deduction theorem ⋮ Delimited control operators prove double-negation shift ⋮ On a derivation of the necessity of identity ⋮ A survey of deduction theorems for the propositional calculi ⋮ The pure calculus of entailment ⋮ Modèles à variables de différentes sortes pour les logiques modales \(M\) ou \(S5\) ⋮ Strict implication, deducibility and the deduction theorem ⋮ The deduction theorems valid in certain fragments of the Lewis' system S2 and the system T of Feys-von Wright

This page was built for publication: The deduction theorem in a functional calculus of first order based on strict implication