---
title: "Contextual Negations and Reasoning with Contradictions"
authors:
  - "Walter Alexandre Carnielli"
  - "Luis Fariñas del Cerro"
  - "Mamede Lima-Marques"
doi: ""
url: "https://ijcai.org/proceedings/1991/80"
pdf: "https://ijcai.org/proceedings/1991/0080.pdf"
venue: "Proceedings of the Twelfth International Joint Conference on Artificial Intelligence"
year: 1991
pages: "532-536"
track: "Knowledge Representation"
keywords:
---

# Contextual Negations and Reasoning with Contradictions

Walter Alexandre Carnielli, Luis Fariñas del Cerro, Mamede Lima-Marques

*Proceedings of the Twelfth International Joint Conference on Artificial Intelligence*, pages 532-536.

## Abstract

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.