scientific article; zbMATH DE number 4193644

zbMath0724.03012MaRDI QIDQ5202173

V. S. Subrahmanian

Publication date: 1990

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

zbMATH Keywords

proof procedures for logic programming in many-valued logic

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Logic programming (68N17) Many-valued logic (03B50)

Related Items

Fuzzy sets in approximate reasoning. II: Logical approaches, A note on the model-theoretic semantics of fuzzy logic programming for dealing with inconsistency, Paraconsistent disjunctive deductive databases, Reasoning with prioritized information by iterative aggregation of distance functions, A logic for reasoning with inconsistency, Probabilistic logic programming, The value of the four values, A semantical framework for supporting subjective and conditional probabilities in deductive databases