Tableau systems for logics of formal inconsistency
- Author
- Walter A. Carnielli and João Marcos de Almeida
- Organization
- Abstract
- The logics of formal inconsistency (LFI's) are logics that allow to explicitly formalize the concepts of consistency and inconsistency by means of formulas of their language. Contradictoriness, on the other hand, can always be expressed in any logic, provided its language includes a symbol for negation. Besides being able to represent the distinction between contradiction and inconsistency, LFI's are non-explosive logics, in the sense that a contradiction does not entail arbitrary statements, but yet are gently explosive, in the sense that, adjoining the additional requirement of consistency, then contradictoriness do cause explosion. Several logics can be seen as LFI's, among them the great majority of paraconsistent systems developed under the Brazilian and Polish tradition. We present here tableau systems for some important LFI's: bC, Ci and LFI1.
- Keywords
- contradiction, inconsistency, consistency, paraconsistency, tableaux
Downloads
-
accepted manuscript.pdf
- full text (Accepted manuscript)
- |
- open access
- |
- |
- 113.17 KB
Citation
Please use this url to cite or link to this publication: http://hdl.handle.net/1854/LU-8757883
- MLA
- Carnielli, Walter A., and João Marcos de Almeida. “Tableau Systems for Logics of Formal Inconsistency.” IC-AI’2001 : PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS I-III, edited by Hamid R. Arabnia, vol. 2, CSREA Press, 2001, pp. 848–52.
- APA
- Carnielli, W. A., & Marcos de Almeida, J. (2001). Tableau systems for logics of formal inconsistency. In H. R. Arabnia (Ed.), IC-AI’2001 : PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS I-III (Vol. 2, pp. 848–852). CSREA Press.
- Chicago author-date
- Carnielli, Walter A., and João Marcos de Almeida. 2001. “Tableau Systems for Logics of Formal Inconsistency.” In IC-AI’2001 : PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS I-III, edited by Hamid R. Arabnia, 2:848–52. CSREA Press.
- Chicago author-date (all authors)
- Carnielli, Walter A., and João Marcos de Almeida. 2001. “Tableau Systems for Logics of Formal Inconsistency.” In IC-AI’2001 : PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS I-III, ed by. Hamid R. Arabnia, 2:848–852. CSREA Press.
- Vancouver
- 1.Carnielli WA, Marcos de Almeida J. Tableau systems for logics of formal inconsistency. In: Arabnia HR, editor. IC-AI’2001 : PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS I-III. CSREA Press; 2001. p. 848–52.
- IEEE
- [1]W. A. Carnielli and J. Marcos de Almeida, “Tableau systems for logics of formal inconsistency,” in IC-AI’2001 : PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS I-III, LAS VEGAS, NV, 2001, vol. 2, pp. 848–852.
@inproceedings{8757883,
abstract = {{The logics of formal inconsistency (LFI's) are logics that allow to explicitly formalize the concepts of consistency and inconsistency by means of formulas of their language. Contradictoriness, on the other hand, can always be expressed in any logic, provided its language includes a symbol for negation. Besides being able to represent the distinction between contradiction and inconsistency, LFI's are non-explosive logics, in the sense that a contradiction does not entail arbitrary statements, but yet are gently explosive, in the sense that, adjoining the additional requirement of consistency, then contradictoriness do cause explosion. Several logics can be seen as LFI's, among them the great majority of paraconsistent systems developed under the Brazilian and Polish tradition. We present here tableau systems for some important LFI's: bC, Ci and LFI1.}},
author = {{Carnielli, Walter A. and Marcos de Almeida, João}},
booktitle = {{IC-AI'2001 : PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS I-III}},
editor = {{Arabnia, Hamid R.}},
isbn = {{9781892512796}},
keywords = {{contradiction,inconsistency,consistency,paraconsistency,tableaux}},
language = {{eng}},
location = {{LAS VEGAS, NV}},
pages = {{848--852}},
publisher = {{CSREA Press}},
title = {{Tableau systems for logics of formal inconsistency}},
volume = {{2}},
year = {{2001}},
}