Natural deduction based upon strict implication for normal modal logics

DOI10.1305/NDJFL/1040408608zbMath0831.03006OpenAlexW2034114646MaRDI QIDQ1903127

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)

Related Items (1)

Constructive Embedding from Extensions of Logics of Strict Implication into Modal Logics

Cites Work

• Proof methods for modal and intuitionistic logics
• Weak Logics with Strict Implication
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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