scientific article

zbMath0716.68024MaRDI QIDQ3204031

Melvin Fitting

Publication date: 1989

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

four-valued logicnegationlogic programmingsemantic tableauxrefutation

Mathematics Subject Classification ID

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

Related Items

Correspondence analysis and automated proof-searching for first degree entailment ⋮ Natural deduction for Fitting's four-valued generalizations of Kleene's logics ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Paraconsistent disjunctive deductive databases ⋮ Multi-valued logic programming semantics An algebraic approach ⋮ Natural Deduction for Four-Valued both Regular and Monotonic Logics ⋮ The value of the four values