scientific article; zbMATH DE number 4180779

MaRDI QIDQ3204031zbMATH OpenFDO

Authors Melvin Fitting

Publication date 1989

zbMATH Keywords

negationrefutationsemantic tableauxfour-valued logiclogic programming

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• A transformational approach to negation in logic programming
• Negation as inconsistency. I
• Publication:5750391
• Negation in logic programming
• Negation as instantiation

Cited in

(22)

• Bilattices and the semantics of logic programming
• Negation in logic programming
• Multi-valued logic programming semantics An algebraic approach
• Natural deduction systems for some modifications of Kleene's and Dunn-Belnap's logics
• A logic programming system for nonmonotonic reasoning
• Logic Programming with Strong Negation and Inexact Predicates
• Natural deduction for Fitting's four-valued generalizations of Kleene's logics
• Negation as failure in the head
• Alternative evidence for nonnegativity
• scientific article; zbMATH DE number 4185011 (Why is no real title available?)
• Plug and Play Negations
• Negation and control in PROLOG
• Negative subgoals with free variables
• Correspondence analysis and automated proof-searching for first degree entailment
• The value of the four values
• Lower bounds for the lengths of refutations
• Logics in Artificial Intelligence
• scientific article; zbMATH DE number 7455717 (Why is no real title available?)
• Paraconsistent disjunctive deductive databases
• scientific article; zbMATH DE number 3949750 (Why is no real title available?)
• Natural Deduction for Four-Valued both Regular and Monotonic Logics
• scientific article; zbMATH DE number 517010 (Why is no real title available?)

This page was built for publication:

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