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.

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1040408608

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,672

External links

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

Through your library

My notes

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.
Priorean strict implication, Q and related systems.Fabrice Correia - 2001 - Studia Logica 69 (3):411-427.
Simulation and transfer results in modal logic – a survey.Marcus Kracht & Frank Wolter - 1997 - Studia Logica 59 (2):149-177.
Algorithmic proof methods and cut elimination for implicational logics part I: Modal implication.Dov M. Gabbay & Nicola Olivetti - 1998 - Studia Logica 61 (2):237-280.
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.
On detachment-substitutional formalization in normal modal logics.Wieslaw Dziobiak - 1977 - Studia Logica 36 (3):165 - 171.
Physicalism and Strict Implication.Jürgen Schröder - 2006 - Synthese 151 (3):537 - 545.
The deduction theorem in a functional calculus of first order based on strict implication.Ruth C. Barcan - 1946 - Journal of Symbolic Logic 11 (4):115-118.
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.
Encoding modal logics in logical frameworks.Arnon Avron, Furio Honsell, Marino Miculan & Cristian Paravano - 1998 - Studia Logica 60 (1):161-208.

Analytics

Added to PP
2010-08-24

Downloads
40 (#396,139)

6 months
13 (#190,565)

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