Strict implication, deducibility and the deduction theorem

DOI10.2307/2267407MaRDI QIDQ5824671zbMATH OpenOpenAlexFDO

Authors 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

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

Cited in

(8)

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

This page was built for publication: Strict implication, deducibility and the deduction theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5824671)