The elimination theorem when modality is present

DOI10.2307/2266613MaRDI QIDQ5813908zbMATH OpenOpenAlexFDO

Authors Haskell B. Curry

Publication date 1952

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

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

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• scientific article; zbMATH DE number 4045715
• scientific article; zbMATH DE number 3871327
• Normal derivability in modal logic
• A note on de re modalities
• scientific article; zbMATH DE number 1975415

Cited in

(22)

• Modal translations in substructural logics
• Propositional lax logic
• Mathematical modal logic: A view of its evolution
• Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus
• A note on de re modalities
• On Formally Measuring and Eliminating Extraneous Notions in Proofs
• scientific article; zbMATH DE number 4045715 (Why is no real title available?)
• Does the deduction theorem fail for modal logic?
• scientific article; zbMATH DE number 1975415 (Why is no real title available?)
• Almost duplication-free tableau calculi for propositional lax logics
• Probability and Tempered Modal Eliminativism
• Dual-context calculi for modal logic
• Semantical approach to cut elimination and subformula property in modal logic
• Constructive modalities with provability smack
• A dual-context sequent calculus for the constructive modal logic S4
• THE LOGIC OF HYPERLOGIC. PART A: FOUNDATIONS
• Deduction theorem in congruential modal logics
• On intuitionistic diamonds (and lack thereof)
• A monadic formalization of ML5
• Nested sequents or tree-hypersequents -- a survey
• Saul Kripke: a portrait of the modal logician as a young man
• Display calculi and other modal calculi: a comparison

This page was built for publication: The elimination theorem when modality is present

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