Quantitative logic
From MaRDI portal
Publication:1007841
DOI10.1016/j.ins.2008.09.008zbMath1167.03020MaRDI 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-metric; approximate reasoning; degree of similarity; quantitative logic; degree of consistency; degree of divergence; degree of truth
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, Borel probabilistic and quantitative logic, Generalized Bosbach and Riečan states on nucleus-based-Glivenko residuated lattices, 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, On the rough consistency measures of logic theories and approximate reasoning in rough logic, Hierarchical structure and applications of fuzzy logical systems
Cites Work
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item