The extensions \(\mathcal L_n^{\ast}\) of the formal system \(\mathcal L^{\ast}\) and their completeness.
From MaRDI portal
Publication:1425262
DOI10.1016/S0020-0255(02)00406-1zbMath1040.03022OpenAlexW2027860250MaRDI QIDQ1425262
Publication date: 15 March 2004
Published in: Information Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0020-0255(02)00406-1
Related Items
A survey of fuzzy implication algebras and their axiomatization, Randomization of classical inference patterns and its application, Unified forms of Triple I method, Simplification and independence of axioms of fuzzy logic systems IMTL and NM, The generalized truth degree of quantitative logic in the logic system \(\mathcal L_n^*\) (\(n\)-valued NM-logic system), Quantitative logic, Hierarchical structure and applications of fuzzy logical systems
Cites Work
- Unnamed Item
- The completeness and applications of the formal system \(\mathcal L^\ast\)
- \(L\)-valued propositional logic \(L_{\text{vpl}}\)
- On the logic foundation of fuzzy reasoning
- On Fuzzy Logic I Many‐valued rules of inference
- A logic for approximate reasoning
- Triple I method and interval valued fuzzy reasoning
