Fitch-style natural deduction for modal paralogics

Logique Et Analyse 52 (207):193-218 (2009)
  Copy   BIBTEX

Abstract

In this paper, I will present a Fitch–style natural deduction proof theory for modal paralogics (modal logics with gaps and/or gluts for negation). Besides the standard classical subproofs, the presented proof theory also contains modal subproofs, which express what would follow from a hypothesis, in case it would be true in some arbitrary world

Categories

Keywords

Reprint years

Links

PhilArchive



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

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

Some multi-conclusion modal paralogics.Casey McGinnis - 2007 - Logica Universalis 1 (2):335-353.
Encoding modal logics in logical frameworks.Arnon Avron, Furio Honsell, Marino Miculan & Cristian Paravano - 1998 - Studia Logica 60 (1):161-208.
Natural Deduction Based upon Strict Implication for Normal Modal Logics.Claudio Cerrato - 1994 - Notre Dame Journal of Formal Logic 35 (4):471-495.
Admissibility of cut in congruent modal logics.Andrzej Indrzejczak - 2011 - Logic and Logical Philosophy 20 (3):189-203.
Proof theory of modal logic.Heinrich Wansing (ed.) - 1996 - Boston: Kluwer Academic Publishers.
Labelled modal logics: Quantifiers. [REVIEW]David Basin, Seán Matthews & Luca Viganò - 1998 - Journal of Logic, Language and Information 7 (3):237-263.
Labelled non-classical logics.Luca Viganò - 2000 - Boston: Kluwer Academic Publishers.
Natural deduction for non-classical logics.David Basin, Seán Matthews & Luca Viganò - 1998 - Studia Logica 60 (1):119-160.
Modal deduction in second-order logic and set theory - II.Johan van Benthem, Giovanna D'Agostino, Angelo Montanari & Alberto Policriti - 1998 - Studia Logica 60 (3):387-420.
Modal Hybrid Logic.Andrzej Indrzejczak - 2007 - Logic and Logical Philosophy 16 (2-3):147-257.
Fusions of Modal Logics and Fitch’s Paradox.Alexandre Costa-Leite - 2006 - Croatian Journal of Philosophy 6 (2):281-290.
Inconsistency-adaptive modal logics. On how to cope with modal inconsistency.Hans Lycke - 2010 - Logic and Logical Philosophy 19 (1-2):31-61.
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.
Hilbert-style Presentations of Two Logics Associated to Tetravalent Modal Algebras.Marcelo E. Coniglio & Martín Figallo - 2014 - Studia Logica 102 (3):525-539.

Analytics

Added to PP
2013-11-22

Downloads
38 (#410,745)

6 months
4 (#800,606)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references