Natural Deduction Based upon Strict Implication for Normal Modal Logics
Notre Dame Journal of Formal Logic 35 (4):471-495 (1994)
| 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. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,865 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesJan Heylen & Leon Horsten (2006). Strict Conditionals: A Negative Result. Philosophical Quarterly 56 (225):536–549.
Robert Kirk (2006). Physicalism and Strict Implication. Synthese 151 (3):523-536.
Fabrice Correia (2001). Priorean Strict Implication, Q and Related Systems. Studia Logica 69 (3):411-427.
Marcus Kracht & Frank Wolter (1997). Simulation and Transfer Results in Modal Logic – a Survey. Studia Logica 59 (2):149-177.
Dov M. Gabbay & Nicola Olivetti (1998). Algorithmic Proof Methods and Cut Elimination for Implicational Logics Part I: Modal Implication. Studia Logica 61 (2):237-280.
Jurgen Schroder (2006). Physicalism and Strict Implication. Synthese 151 (3):537-545.
Fang-Wen Yuan (2008). “The Strict Deduction System Is Impossible to Derive the Contradiction” And the Proof. Proceedings of the Xxii World Congress of Philosophy 13:147-162.
Wieslaw Dziobiak (1977). On Detachment-Substitutional Formalization in Normal Modal Logics. Studia Logica 36 (3):165 - 171.
Jürgen Schröder (2006). Physicalism and Strict Implication. Synthese 151 (3):537 - 545.
Ruth C. Barcan (1946). The Deduction Theorem in a Functional Calculus of First Order Based on Strict Implication. Journal of Symbolic Logic 11 (4):115-118.
Robert Kirk (2001). Nonreductive Physicalism and Strict Implication. Australasian Journal of Philosophy 79 (4):544-552.
C. Pizzi & T. Williamson (2005). Conditional Excluded Middle in Systems of Consequential Implication. Journal of Philosophical Logic 34 (4):333 - 362.
Marcus Kracht & Frank Wolter (1999). Normal Monomodal Logics Can Simulate All Others. Journal of Symbolic Logic 64 (1):99-138.
Norman M. Martin (1960). Deduction and Strict Implication. Synthese 12 (1):25 - 33.
Arnon Avron, Furio Honsell, Marino Miculan & Cristian Paravano (1998). Encoding Modal Logics in Logical Frameworks. Studia Logica 60 (1):161-208.
Analytics
Monthly downloads |
Added to index2010-08-24Total downloads3 ( #203,804 of 556,803 )Recent downloads (6 months)1 ( #64,847 of 556,803 )How can I increase my downloads? |
My notes
Discussion
