Contextual Negations and Reasoning with Contradictions
Abstract
waltercQccvax.unicamp.&iiBp br This paper introduces the logical basis for modelling the phenomenon of reasoning in the presence of contradiction, by identifying this problem with the notion of change of context. We give here the basic definitions of a new semantics, which works by interpreting one logic into a family of logics via translations, which we call semantics of translations. As a particular application we show that a simple logic supporting contradictions can be constructed translating classical logic into three-valued logics. This translation semantics offers a new interpretation to certain paraconsistent logics which allows the application of them to automated reasoning and knowledge representation. 1
Cite
Text
Carnielli et al. "Contextual Negations and Reasoning with Contradictions." International Joint Conference on Artificial Intelligence, 1991.Markdown
[Carnielli et al. "Contextual Negations and Reasoning with Contradictions." International Joint Conference on Artificial Intelligence, 1991.](https://mlanthology.org/ijcai/1991/carnielli1991ijcai-contextual/)BibTeX
@inproceedings{carnielli1991ijcai-contextual,
title = {{Contextual Negations and Reasoning with Contradictions}},
author = {Carnielli, Walter Alexandre and del Cerro, Luis Fariñas and Lima-Marques, Mamede},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1991},
pages = {532-537},
url = {https://mlanthology.org/ijcai/1991/carnielli1991ijcai-contextual/}
}