Négation constructive et axiomatique interne

DOI10.1051/ITA/1997310504111MaRDI QIDQ4385672zbMATH OpenOpenAlexFDO

Authors

Publication date 2 June 1998

Published in RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/92569

zbMATH Keywords

constraint programmingconstructive negationbivalued semantics

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 1059306
• Negation and constraint logic programming
• scientific article; zbMATH DE number 1456952
• On termination of general logic programs w.R.T. constructive negation

Cites work

• scientific article; zbMATH DE number 1142320 (Why is no real title available?)
• scientific article; zbMATH DE number 1456952 (Why is no real title available?)
• A kripke-kleene semantics for logic programs*
• Complete extension of general logic programs
• Completeness of SLDNF-resolution for nonfloundering queries
• Constructive negation by pruning
• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
• Model theory.
• Negation in logic programming
• Sémantique logique et dénotationnelle des interpréteurs PROLOG
• Theorem-Proving for Computers: Some Results on Resolution and Renaming

Cited in

(3)

• Constructive negation, implication, and co-implication
• Converse Ackermann property and constructive negation defined with a negation connective
• Notes on constructive negation

This page was built for publication: Négation constructive et axiomatique interne

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4385672)