Quantitative logic
From MaRDI portal
Publication:1007841
DOI10.1016/j.ins.2008.09.008zbMath1167.03020OpenAlexW2914754927MaRDI QIDQ1007841
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
pseudo-metricapproximate reasoningdegree of similarityquantitative logicdegree of consistencydegree of divergencedegree of truth
Fuzzy logic; logic of vagueness (03B52) Logic in artificial intelligence (68T27) Reasoning under uncertainty in the context of artificial intelligence (68T37) Many-valued logic (03B50)
Related Items (17)
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 ⋮ Some properties of fuzzy reasoning in propositional fuzzy logic systems ⋮ A quantitative approach to reasoning about incomplete knowledge ⋮ Lattice and metric completions of the classical logic metric space and a comparison1 ⋮ A Duality Theorem for Quantitative Semantics ⋮ 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 ⋮ 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 theorem about infinite-valued sentential logic ⋮ On the rough consistency measures of logic theories and approximate reasoning in rough logic ⋮ Hierarchical structure and applications of fuzzy logical systems
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
This page was built for publication: Quantitative logic
