Quantitative logic

DOI10.1016/J.INS.2008.09.008zbMATH Open1167.03020OpenAlexW2914754927MaRDI QIDQ1007841FDOQ1007841

Hongjun Zhou, Guojun Wang

Publication date: 24 March 2009

Published in: Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ins.2008.09.008

zbMATH Keywords

approximate reasoningdegree of similarityquantitative logicpseudo-metricdegree of consistencydegree of divergencedegree of truth

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37) Many-valued logic (03B50) Fuzzy logic; logic of vagueness (03B52) Logic in artificial intelligence (68T27)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Metamathematics of fuzzy logic
• A treatise on many-valued logics
• Outline of a New Approach to the Analysis of Complex Systems and Decision Processes
• Consistency degrees of theories in some systems of propositional fuzzy logic
• Integrated semantics and logic metric spaces
• On the logic foundation of fuzzy reasoning
• A new theory consistency index based on deduction theorems in several logic systems
• Generalized consistency degrees of theories w.r.t. formulas in several standard complete logic systems
• A formal deductive system for fuzzy propositional calculus
• Unified full implication algorithms of fuzzy reasoning
• Triple I method of fuzzy reasoning
• Formalized theory of general fuzzy reasoning.
• Unified forms of Triple I method
• The completeness and applications of the formal system \(\mathcal L^\ast\)
• Unified forms of fully implicational restriction methods for fuzzy reasoning
• The extensions \(\mathcal L_n^{\ast}\) of the formal system \(\mathcal L^{\ast}\) and their completeness.
• A triangular-norm-based propositional fuzzy logic
• Computational logic: logic programming and beyond. Essays in honour of Robert A. Kowalski. Part 1
• COMPARISON OF DEDUCTION THEOREMS IN DIVERSE LOGIC SYSTEMS
• Triple I method based on pointwise sustaining degrees
• The deduction theorem for Lukasiewicz many-valued propositional calculi
• Gödel implication operator is not suitable for establishing fuzzy propositional logic

Cited In (18)

• The generalized truth degree of quantitative logic in the logic system \(\mathcal L_n^*\) (\(n\)-valued NM-logic system)
• On the rough consistency measures of logic theories and approximate reasoning in rough logic
• Generalized Bosbach and Riečan states on nucleus-based-Glivenko residuated lattices
• Lattice-valued modal propositional logic and its completeness
• Validity in a logic that combines supervaluation and fuzzy logic based theories of vagueness
• Some properties of fuzzy reasoning in propositional fuzzy logic systems
• Fast decision procedure for propositional Dummett logic based on a multiple premise tableau calculus
• A theorem about infinite-valued sentential logic
• A Duality Theorem for Quantitative Semantics
• A quantitative approach to reasoning about incomplete knowledge
• Quantitative deduction and its fixpoint theory
• Lattice and metric completions of the classical logic metric space and a comparison1
• Borel probabilistic and quantitative logic
• Rough approximation operators on \(R_0\)-algebras (nilpotent minimum algebras) with an application in formal logic \(\mathcal{L}^\ast\)
• Correction and improvement on several results in quantitative logic
• Linguistic truth-valued lattice-valued propositional logic system \(\ell P(X)\) based on linguistic truth-valued lattice implication algebra
• Hierarchical structure and applications of fuzzy logical systems
• Open problems from the 12th international conference on fuzzy set theory and its applications

Recommendations

• Quantitative Logic: A Quantitative Approach to Many-Valued Logics 👍 👎
• A logic for reasoning about qualitative probability 👍 👎
• Borel probabilistic and quantitative logic 👍 👎
• Generalization of the fundamental theorem of probability logic in multi-valued propositional logic 👍 👎
• Quantitative Logic Reasoning 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication: Quantitative logic

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