\(N\)-Prolog and equivalence of logic programs. I

DOI10.1007/BF00172059zbMath0805.68021OpenAlexW1518795075MaRDI QIDQ1314280

Lea Terracini, Nocola Olivetti

Publication date: 26 January 1995

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00172059

zbMATH Keywords

completionLukasiewicz logicthree-valued logiclogic programmingmodal semanticsnegation as failureprogram equivalence

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Logic programming (68N17) Many-valued logic (03B50)

Related Items (1)

What Is Negation in a System 2020?

This page was built for publication: \(N\)-Prolog and equivalence of logic programs. I