Constructive negation by pruning
From MaRDI portal
Publication:4352538
DOI10.1016/S0743-1066(96)00092-1zbMath0882.68034MaRDI QIDQ4352538
Publication date: 4 September 1997
Published in: The Journal of Logic Programming (Search for Journal in Brave)
Related Items (7)
A necessary condition for constructive negation in constraint logic programming ⋮ Implementing constructive intensional negation ⋮ Semantics of structured normal logic programs ⋮ A functorial framework for constraint normal logic programming ⋮ Combining explicit negation and negation by failure via Belnap's logic ⋮ Négation constructive et axiomatique interne ⋮ Linear concurrent constraint programming: Operational and phase semantics
This page was built for publication: Constructive negation by pruning
