- Author
- Hans Lycke (UGent)
- 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
- |
- |
- 184.29 KB
Citation
Please use this url to cite or link to this publication: http://hdl.handle.net/1854/LU-674595
- MLA
- Lycke, Hans. “Fitch-Style Natural Deduction for Modal Paralogics.” Logique et Analyse, vol. 207, 2009, pp. 193–218.
- 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}},
}