A new theory consistency index based on deduction theorems in several logic systems
From MaRDI portal
Publication:812631
DOI10.1016/j.fss.2005.07.006zbMath1085.03021OpenAlexW2035359036MaRDI QIDQ812631
Publication date: 24 January 2006
Published in: Fuzzy Sets and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.fss.2005.07.006
Related Items (8)
Three and two-valued Łukasiewicz theories in the formal deductive system \({\mathcal L}^*\) (NM-logic) ⋮ Generalized consistency degrees of theories w.r.t. formulas in several standard complete logic systems ⋮ Consistency degrees of theories and methods of graded reasoning in \(n\)-valued \(R_{0}\)-logic (NM-logic) ⋮ Borel probabilistic and quantitative logic ⋮ Linguistic information-based granular computing based on a tournament selection operator-guided PSO for supporting multi-attribute group decision-making with distributed linguistic preference relations ⋮ Theory of \((n)\) truth degrees of formulas in modal logic and a consistency theorem ⋮ Quantitative logic ⋮ On the rough consistency measures of logic theories and approximate reasoning in rough logic
Cites Work
- Consistency degrees of finite theories in Łukasiewicz propositional fuzzy logic
- The completeness and applications of the formal system \(\mathcal L^\ast\)
- Metamathematics of fuzzy logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- Algebraic foundations of many-valued reasoning
- A triangular-norm-based propositional fuzzy logic
- Integrated semantics and logic metric spaces
- Consistency degrees of theories in some systems of propositional fuzzy logic
- COMPARISON OF DEDUCTION THEOREMS IN DIVERSE LOGIC SYSTEMS
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: A new theory consistency index based on deduction theorems in several logic systems
