Advanced search
1 file | 184.29 KB Add to list

Fitch-style natural deduction for modal paralogics

Hans Lycke (UGent)
(2009) Logique et Analyse. 207. p.193-218
Author
Organization
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.
Keywords
Fitch–style natural deduction, Modal paralogics, paraconsistent logics, modal logics, proof theory

Downloads

  • (...).pdf
    • full text
    • |
    • UGent only
    • |
    • PDF
    • |
    • 184.29 KB

Citation

Please use this url to cite or link to this publication:

MLA
Lycke, Hans. “Fitch-style Natural Deduction for Modal Paralogics.” Logique et Analyse 207 (2009): 193–218. Print.
APA
Lycke, H. (2009). Fitch-style natural deduction for modal paralogics. Logique et Analyse, 207, 193–218.
Chicago author-date
Lycke, Hans. 2009. “Fitch-style Natural Deduction for Modal Paralogics.” Logique Et Analyse 207: 193–218.
Chicago author-date (all authors)
Lycke, Hans. 2009. “Fitch-style Natural Deduction for Modal Paralogics.” Logique Et Analyse 207: 193–218.
Vancouver
1.
Lycke H. Fitch-style natural deduction for modal paralogics. Logique et Analyse. 2009;207:193–218.
IEEE
[1]
H. Lycke, “Fitch-style natural deduction for modal paralogics,” Logique et Analyse, vol. 207, pp. 193–218, 2009.
@article{674595,
  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.},
  author       = {Lycke, Hans},
  issn         = {0024-5836},
  journal      = {Logique et Analyse},
  keywords     = {Fitch–style natural deduction,Modal paralogics,paraconsistent logics,modal logics,proof theory},
  language     = {eng},
  pages        = {193--218},
  title        = {Fitch-style natural deduction for modal paralogics},
  volume       = {207},
  year         = {2009},
}

Web of Science
Times cited: