Natural Deduction Based upon Strict Implication for Normal Modal Logics

Notre Dame Journal of Formal Logic 35 (4):471-495 (1994)
  Copy   BIBTEX

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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 74,594

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Strict Conditionals: A Negative Result.Jan Heylen & Leon Horsten - 2006 - Philosophical Quarterly 56 (225):536–549.
Physicalism and Strict Implication.Robert Kirk - 2006 - Synthese 151 (3):523-536.
Physicalism and Strict Implication.Jürgen Schröder - 2006 - Synthese 151 (3):537-545.
“The Strict Deduction System Is Impossible to Derive the Contradiction” And the Proof.Fang-wen Yuan - 2008 - Proceedings of the Xxii World Congress of Philosophy 13:147-162.
Physicalism and Strict Implication.Jürgen Schröder - 2006 - Synthese 151 (3):537 - 545.
Nonreductive Physicalism and Strict Implication.Robert Kirk - 2001 - Australasian Journal of Philosophy 79 (4):544-552.
Normal Monomodal Logics Can Simulate All Others.Marcus Kracht & Frank Wolter - 1999 - Journal of Symbolic Logic 64 (1):99-138.
Deduction and Strict Implication.Norman M. Martin - 1960 - Synthese 12 (1):25 - 33.

Analytics

Added to PP
2010-08-24

Downloads
26 (#443,731)

6 months
1 (#418,924)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Weak Logics with Strict Implication.Giovanna Corsi - 1987 - Mathematical Logic Quarterly 33 (5):389-406.

Add more references