Mathematical logic, algebra and number theory

On strong equivalence theorem for answer set semantics with strong negation

Z. V. Makridin^a, S. P. Odintsov<sup>b

a</sup> Novosibirsk State University, Pirogova 2, 630090, Novosibirsk, Russia
^b Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences, Novosibirsk

Abstract: We discuss the problem of finding a minimal deductive base for paraconsistent and ordinary answer set semantics satisfying the strong equivalence theorem.

Keywords: answer set, paraconsistency, strong negation, strong equivalence of logic programs, Nelson logic.

UDC: 512.5

MSC: 13A99

Received November 25, 2014, published February 22, 2015

Language: English

DOI: 10.17377/semi.2015.12.010