Translator Disclaimer
Fall 1994 Natural Deduction Based upon Strict Implication for Normal Modal Logics
Claudio Cerrato
Notre Dame J. Formal Logic 35(4): 471-495 (Fall 1994). DOI: 10.1305/ndjfl/1040408608

Abstract

We present systems of Natural Deduction based on Strict Implication for the main normal modal logics between K and S5. In this work we consider Strict Implication as the main modal operator, and establish a natural correspondence between Strict Implication and strict subproofs.

Citation

Download Citation

Claudio Cerrato. "Natural Deduction Based upon Strict Implication for Normal Modal Logics." Notre Dame J. Formal Logic 35 (4) 471 - 495, Fall 1994. https://doi.org/10.1305/ndjfl/1040408608

Information

Published: Fall 1994
First available in Project Euclid: 20 December 2002

zbMATH: 0831.03006
MathSciNet: MR1334286
Digital Object Identifier: 10.1305/ndjfl/1040408608

Subjects:
Primary: 03B45
Secondary: 03F07

Rights: Copyright © 1994 University of Notre Dame

JOURNAL ARTICLE
25 PAGES


SHARE
Vol.35 • No. 4 • Fall 1994
Back to Top