Négation constructive et axiomatique interne
From MaRDI portal
Publication:4385672
Recommendations
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)
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)