Strict implication, deducibility and the deduction theorem

DOI10.2307/2267407zbMath0053.34103OpenAlexW2096698192MaRDI QIDQ5824671

Ruth Marcus

Publication date: 1953

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

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

zbMATH Keywords

philosophy and foundations of mathematics

Related Items

Does the deduction theorem fail for modal logic?, Lewis meets Brouwer: constructive strict implication, A survey of deduction theorems for the propositional calculi, The pure calculus of entailment, A logical system based on rules and its application in teaching mathematical logic, Axiomatic and dual systems for constructive necessity, a formally verified equivalence, The deduction theorems valid in certain fragments of the Lewis' system S2 and the system T of Feys-von Wright

Cites Work

• Some theorems about the sentential calculi of Lewis and Heyting
• The deduction theorem in a functional calculus of first order based on strict implication