An Application of Clasp in the Study of Logics

摘要

We show how to use the Answer Set Programming (ASP) tool called clasp to prove that there exists a unique three-valued para-consistent logic that satisfies the substitution property and is sound with respect to da Costa Cu logic.