Super-Strict Implications


This paper introduces the logics of super-strict implications, where a super-strict implication is a strengthening of C.I. Lewis' strict implication that avoids not only the paradoxes of material implication but also those of strict implication. The semantics of super-strict implications is obtained by strengthening the relational semantics for strict implication. We consider all logics of super-strict implications that are based on relational frames for modal logics in the modal cube. it is shown that all logics of super-strict implications are connexive logics in that they validate Aristotle's Theses and Boethius's Theses. A proof-theoretic characterisation of logics of super-strict implications is given by means of G3-style labelled calculi, and it is proved that the structural rules of inference are admissible in these calculi. It is also shown that validity in the S5-based logic of super-strict implications is equivalent to validity in G. Priest's negation-as-cancellation-based logic. Hence, we also give a cut-free calculus for Priest's logic.

Download options


    Upload a copy of this work     Papers currently archived: 72,743

External links

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

Through your library


Added to PP

16 (#671,795)

6 months
2 (#258,871)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

Similar books and articles

Natural Deduction Based Upon Strict Implication for Normal Modal Logics.Claudio Cerrato - 1994 - Notre Dame Journal of Formal Logic 35 (4):471-495.
Strict Conditionals: A Negative Result.Jan Heylen & Leon Horsten - 2006 - Philosophical Quarterly 56 (225):536–549.
Sequent Calculi for Some Strict Implication Logics.Ryo Ishigaki & Ryo Kashima - 2008 - Logic Journal of the IGPL 16 (2):155-174.
Dual-Context Sequent Calculus and Strict Implication.Kentaro Kikuchi - 2002 - Mathematical Logic Quarterly 48 (1):87-92.
Physicalism and Strict Implication.Robert Kirk - 2006 - Synthese 151 (3):523-536.
Modal Logics in the Vicinity of S.Brian F. Chellas & Krister Segerberg - 1996 - Notre Dame Journal of Formal Logic 37 (1):1-24.
Material and Strict Implication in Boolean Algebras, Revisited.Enric Trillas & Rudolf Seising - 2014 - Archives for the Philosophy and History of Soft Computing 2014 (2).
The Relevant Logic E and Some Close Neighbours: A Reinterpretation.Edwin Mares & Shawn Standefer - 2017 - IfCoLog Journal of Logics and Their Applications 4 (3):695--730.
On Applications of Truth-Value Connectives for Testing Arguments with Natural Connectives.Andrzej Pietruszczak - 2006 - Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):143-156.