C.J. Hinde (UK)
Contradiction, Atanassov Intuitionistic Fuzzy Sets.
While it is common to reason about the truth of statements
made about the world, it is less common to make state
ments about paradoxical statements. This paper introduces
a modal operator, contra ( )
that enables true statements
to be made about contradictory evidence without explicitly denoting the contradiction. A converse operator, decontra ( )
allows contradiction to be reinstated. These
operators allow reasoning systems to reason without taking
contradiction within the statements into account. It also allows the contradiction to be recovered after the reasoning
has terminated. Inconsistency may be dealt in a different
manner but contradiction requires a modal like operator.