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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,561

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

Super-Strict Implications.Guido Gherardi & Eugenio Orlandelli - 2021 - Bulletin of the Section of Logic 50 (1):1-34.
Binary Modal Companions for Subintuitionistic Logics.Dick de Jongh & Fatemeh Shirmohammadzadeh Maleki - 2021 - In Mojtaba Mojtahedi, Shahid Rahman & MohammadSaleh Zarepour (eds.), Mathematics, Logic, and their Philosophies: Essays in Honour of Mohammad Ardeshir. Springer. pp. 35-52.
Modal Logics in the Vicinity of S.Brian F. Chellas & Krister Segerberg - 1996 - Notre Dame Journal of Formal Logic 37 (1):1-24.
Bounded distributive lattices with strict implication.Sergio Celani & Ramon Jansana - 2005 - Mathematical Logic Quarterly 51 (3):219-246.
Dual-Context Sequent Calculus and Strict Implication.Kentaro Kikuchi - 2002 - Mathematical Logic Quarterly 48 (1):87-92.
Ruth Barcan Marcus on the Deduction Theorem in Modal Logic.Roberta Ballarin - forthcoming - History and Philosophy of Logic:1-21.
A variety of algebras closely related to subordination algebras.Sergio Celani & Ramon Jansana - 2022 - Journal of Applied Non-Classical Logics 32 (2):200-238.
Implication and Three Types of Meaning Connection.Igor Sedlar - 2009 - Filozofia 64 (4):339-345.
Priorean strict implication, Q and related systems.Fabrice Correia - 2001 - Studia Logica 69 (3):411-427.
Sequent Calculi for Some Strict Implication Logics.Ryo Ishigaki & Ryo Kashima - 2008 - Logic Journal of the IGPL 16 (2):155-174.

Analytics

Added to PP
2010-08-24

Downloads
45 (#476,007)

6 months
2 (#1,693,973)

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