scientific article; zbMATH DE number 4180779
From MaRDI portal
Publication:3204031
zbMATH Open0716.68024MaRDI QIDQ3204031FDOQ3204031
Authors: Melvin Fitting
Publication date: 1989
Title of this publication is not available (Why is that?)
Recommendations
Cited In (22)
- Negation in logic programming
- Bilattices and the semantics of 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
- Natural deduction for Fitting's four-valued generalizations of Kleene's logics
- Logic Programming with Strong Negation and Inexact Predicates
- Negation as failure in the head
- Title not available (Why is that?)
- Alternative evidence for nonnegativity
- Plug and Play Negations
- Negation and control in PROLOG
- Negative subgoals with free variables
- Correspondence analysis and automated proof-searching for first degree entailment
- Lower bounds for the lengths of refutations
- The value of the four values
- Logics in Artificial Intelligence
- Title not available (Why is that?)
- Paraconsistent disjunctive deductive databases
- Title not available (Why is that?)
- Natural Deduction for Four-Valued both Regular and Monotonic Logics
- Title not available (Why is that?)
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)