Natural deduction based upon strict implication for normal modal logics

DOI10.1305/NDJFL/1040408608MaRDI QIDQ1903127zbMATH OpenOpenAlexFDO

Authors Claudio Cerrato

Publication date 26 November 1995

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1040408608

zbMATH Keywords

natural deductionnormal modal logicsstrict implicationstrict subproofs

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Recommendations

• Natural deduction in normal modal logic
• A simplified natural deduction approach to certain modal systems
• From 2-sequents and linear nested sequents to natural deduction for normal modal logics
• Sequent Calculi for Some Strict Implication Logics
• Publication:4943267

Cites work

• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 1028825 (Why is no real title available?)
• scientific article; zbMATH DE number 1028830 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• scientific article; zbMATH DE number 3325547 (Why is no real title available?)
• scientific article; zbMATH DE number 3076631 (Why is no real title available?)
• Proof methods for modal and intuitionistic logics
• Weak Logics with Strict Implication

Cited in

(11)

• Labelled Natural Deduction for Conditional Logics of Normality
• Dual-context sequent calculus and strict implication
• On the Structure of Natural Deduction Derivations for “Generally”
• Natural deduction for modal logic of judgment aggregation
• Natural deduction for modal logic with a backtracking operator
• Normal natural deduction proofs (in classical logic)
• scientific article; zbMATH DE number 7594174 (Why is no real title available?)
• Constructive embedding from extensions of logics of strict implication into modal logics
• Natural deduction in normal modal logic
• Natural implication and modus ponens principle
• scientific article; zbMATH DE number 1778908 (Why is no real title available?)

This page was built for publication: Natural deduction based upon strict implication for normal modal logics

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