Quantitative logic

DOI10.1016/j.ins.2008.09.008zbMath1167.03020MaRDI QIDQ1007841

Hong Jun Zhou, Wang, Guojun

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

pseudo-metric; approximate reasoning; degree of similarity; quantitative logic; degree of consistency; degree of divergence; degree of truth

Mathematics Subject Classification ID

03B52: Fuzzy logic; logic of vagueness

68T27: Logic in artificial intelligence

68T37: Reasoning under uncertainty in the context of artificial intelligence

03B50: Many-valued logic

Related Items

A theorem about infinite-valued sentential logic, Validity in a logic that combines supervaluation and fuzzy logic based theories of vagueness, Borel probabilistic and quantitative logic, Generalized Bosbach and Riečan states on nucleus-based-Glivenko residuated lattices, 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, Open problems from the 12th international conference on fuzzy set theory and its applications, Lattice-valued modal propositional logic and its completeness, Some properties of fuzzy reasoning in propositional fuzzy logic systems, Linguistic truth-valued lattice-valued propositional logic system \(\ell P(X)\) based on linguistic truth-valued lattice implication algebra, The generalized truth degree of quantitative logic in the logic system \(\mathcal L_n^*\) (\(n\)-valued NM-logic system), Fast decision procedure for propositional Dummett logic based on a multiple premise tableau calculus, A quantitative approach to reasoning about incomplete knowledge, On the rough consistency measures of logic theories and approximate reasoning in rough logic, Hierarchical structure and applications of fuzzy logical systems, Lattice and metric completions of the classical logic metric space and a comparison1, A Duality Theorem for Quantitative Semantics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Computational logic: logic programming and beyond. Essays in honour of Robert A. Kowalski. Part 1
• 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
• The completeness and applications of the formal system \(\mathcal L^\ast\)
• Unified forms of fully implicational restriction methods for fuzzy reasoning
• Triple I method based on pointwise sustaining degrees
• The deduction theorem for Lukasiewicz many-valued propositional calculi
• Metamathematics of fuzzy logic
• A formal deductive system for fuzzy propositional calculus
• Triple I method of fuzzy reasoning
• The extensions \(\mathcal L_n^{\ast}\) of the formal system \(\mathcal L^{\ast}\) and their completeness.
• Formalized theory of general fuzzy reasoning.
• A triangular-norm-based propositional fuzzy logic
• Integrated semantics and logic metric spaces
• On the logic foundation of fuzzy reasoning
• Unified full implication algorithms of fuzzy reasoning
• Unified forms of Triple I method
• Consistency degrees of theories in some systems of propositional fuzzy logic
• COMPARISON OF DEDUCTION THEOREMS IN DIVERSE LOGIC SYSTEMS
• Outline of a New Approach to the Analysis of Complex Systems and Decision Processes