Strong Negation and Equivalence in the Safe Belief Semantics

DOI10.1093/logcom/exm011zbMath1151.03018OpenAlexW2066311773MaRDI QIDQ5431610

Magdalena Ortiz, Mauricio Osorio

Publication date: 12 December 2007

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exm011

zbMATH Keywords

equivalencestrong negationconstructive negationlogic programNelson logicanswer setsafe belief

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Logic programming (68N17) Intermediate logics (03B55)

Related Items (2)

An extension of the stable semantics via Lukasiewicz logic ⋮ Revisiting Explicit Negation in Answer Set Programming

Uses Software

• Smodels

This page was built for publication: Strong Negation and Equivalence in the Safe Belief Semantics