Quantitative logic
DOI10.1016/J.INS.2008.09.008zbMATH Open1167.03020OpenAlexW2914754927MaRDI QIDQ1007841FDOQ1007841
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
approximate reasoningdegree of similarityquantitative logicpseudo-metricdegree of consistencydegree of divergencedegree of truth
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)