scientific article

zbMath0647.68096MaRDI QIDQ3792274

Melvin Fitting

Publication date: 1988

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

zbMATH Keywords

four-valued logicsemantics of logic programminggeneralized space of truth values

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Many-valued logic (03B50) Ordered topological structures (06F30)

Related Items (16)

A paraconsistent conditional logic ⋮ Modality and interrupts ⋮ A new approach to hybrid probabilistic logic programs ⋮ Bilattices and the theory of truth ⋮ A deterministic weakening of Belnap-Dunn logic ⋮ Semantic probabilistic inference of predictions ⋮ Paraconsistent disjunctive deductive databases ⋮ A resolution framework for finitely-valued first-order logics ⋮ Resolution approximation of first-order logics ⋮ Multi-valued logic programming semantics An algebraic approach ⋮ Probabilistic logic programming ⋮ An encompassing framework for paraconsistent logic programs ⋮ Bilattices and hyperidentities ⋮ Reasoning with Uncertainty in Deductive Databases and Logic Programs ⋮ THE LOGIC OF INFORMATION IN STATE SPACES ⋮ A semantical framework for supporting subjective and conditional probabilities in deductive databases

This page was built for publication: