scientific article; zbMATH DE number 4193644

MaRDI QIDQ5202173zbMATH OpenFDO

Authors V. S. Subrahmanian

Publication date 1990

zbMATH Keywords

proof procedures for logic programming in many-valued logic

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1324434
• Resolution-based theorem proving for many-valued logics
• Pseudo-Boolean valued Prolog
• scientific article; zbMATH DE number 764342
• scientific article; zbMATH DE number 4049622

Cited in

(10)

• Paraconsistent disjunctive deductive databases
• Probabilistic logic programming
• The value of the four values
• A semantical framework for supporting subjective and conditional probabilities in deductive databases
• Fuzzy sets in approximate reasoning. II: Logical approaches
• Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness
• scientific article; zbMATH DE number 3948225 (Why is no real title available?)
• A note on the model-theoretic semantics of fuzzy logic programming for dealing with inconsistency
• A logic for reasoning with inconsistency
• Reasoning with prioritized information by iterative aggregation of distance functions

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 Q5202173)