[Back]

M. Ortiz de la Fuente, M. Osorio:
"Strong Negation and Equivalence in the Safe Belief Semantics";
Journal of Logic and Computation, 17 (2007), 3; 499 - 515.

The safe belief semantics uses intermediate logics to define an extension of answer sets to all propositional formulas, but only considering one kind of negation. In this work we extend safe beliefs adding the strong negation connective. The main feature of our extension is that strong negation can occur before any formula, and not only at the atomic level. We give results concerning the relation between strong negation extensions of intermediate logics and safe beliefs and consider the way in which strong negation can be eliminated from any formula while preserving its semantics. We also propose two new notions of equivalence: substitution equivalence and contextualized equivalence. We prove that they are both more general than strong equivalence and, for propositional formulas where strong negation may occur at the non-atomic level, substitution equivalence captures a notion of equivalence that cannot be captured by strong equivalence alone.

http://dx.doi.org/10.1093/logcom/exm011

http://logcom.oxfordjournals.org/cgi/reprint/exm011?ijkey=fInxMwqdWXd0oMd&keytype=ref