Quantitative logic. I.

MaRDI QIDQ5425146zbMATH OpenFDO

Authors Guojun Wang

Publication date 8 November 2007

zbMATH Keywords

consistency degreedivergence degreepseudo-metricquantitative logicsimilarity degreetruth degree

Mathematics Subject Classification ID

Probability and inductive logic (03B48) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Recommendations

• Quantitative logic
• Approximate reasoning in several logic systems
• A quantitative analysis of rough logic
• scientific article; zbMATH DE number 6795355
• The degree of the quasi-similarity and the pseudo-metric between predicate formulae

Cited in

(29)

• Quantitative logic
• Limitations of quantitative operator fuzzy logic
• Logic of approximate entailment in quasimetric and in metric spaces
• Integrated semantics and logic metric spaces
• A quantitative approach to reasoning about incomplete knowledge
• Theory of \((n)\) truth degrees of formulas in modal logic and a consistency theorem
• Randomization of classical inference patterns and its application
• Theory of truth degrees of propositions in two-valued logic
• Metric structure in the modal logic system S4
• Quantitative logic: a quantitative approach to many-valued logics
• A quantitative analysis of rough logic
• The degree of the quasi-similarity and the pseudo-metric between predicate formulae
• Quantitative logic theory in Gödel system
• Researches on (n) truth degrees in modal logic
• Quantitative logic reasoning
• scientific article; zbMATH DE number 3861123 (Why is no real title available?)
• scientific article; zbMATH DE number 1829626 (Why is no real title available?)
• Linear logic formulae in the theory of quantitative logic
• Approximate and strong entailments in classical propositional logic systems
• Truth degree analysis of fuzzy reasoning
• scientific article; zbMATH DE number 3895066 (Why is no real title available?)
• The Hamming distance representation and decomposition theorem of formula's truth degree
• Knowledge mass and automatic reasoning system in similarity logic \(\mathbb C_{\mathbb Q}\)
• Approximate reasoning in several logic systems
• Theory of approximate reasoning in \(n\)-valued standard serial logic system
• Logical foundations of quantitative equality
• Towards a \(\Delta\)-based metric framework for \(\mathrm{NM}_\Delta\): \(\Delta\) truth degree and \(\Delta\) logic metric space
• Topological characterizations of logic theories and structural analysis of logic metric space in NM_ n-valued system
• A unified approximate reasoning theory suitable for both propositional calcus system\(\mathcal L^\ast\) and predicate calculus system \(\mathcal K^\ast\)

This page was built for publication: Quantitative logic. I.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5425146)