The extensions L_n^ of the formal system L^ and their completeness.

DOI10.1016/S0020-0255(02)00406-1MaRDI QIDQ1425262zbMATH OpenOpenAlexFDO

Authors Daowu Pei, Guojun Wang

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

zbMATH Keywords

CompletenessExtensionFuzzy logicMany-valued logicPropositional calculus

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52)

Recommendations

• The completeness and applications of the formal system L^
• scientific article; zbMATH DE number 1916704
• scientific article; zbMATH DE number 5060344
• A semantically complete extension sequence of the system \(\mathcal L^\ast\)
• The completeness of the formal deductive system \(\mathcal{L}^*(n)\)
• An extension of the formal deductive system \({\mathcal L}^*\)
• scientific article; zbMATH DE number 2200988
• scientific article; zbMATH DE number 6002009
• Completeness of Åqvist's systems E and F
• scientific article; zbMATH DE number 1262190

Cites work

• \(L\)-valued propositional logic \(L_{\text{vpl}}\)
• A logic for approximate reasoning
• scientific article; zbMATH DE number 3124827 (Why is no real title available?)
• On Fuzzy Logic I Many‐valued rules of inference
• On the logic foundation of fuzzy reasoning
• The completeness and applications of the formal system L^
• Triple I method and interval valued fuzzy reasoning

Cited in

(13)

• Quantitative logic
• Hierarchical structure and applications of fuzzy logical systems
• 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
• An extension of the formal deductive system \({\mathcal L}^*\)
• The completeness of the formal deductive system \(\mathcal{L}^*(n)\)
• Predicate formal system \(\forall\mathcal {UL}_{h\in (0,1]}^{\triangle}\) and its completeness
• A survey of fuzzy implication algebras and their axiomatization
• scientific article; zbMATH DE number 2200988 (Why is no real title available?)
• scientific article; zbMATH DE number 5060344 (Why is no real title available?)
• A semantically complete extension sequence of the system \(\mathcal L^\ast\)
• The generalized truth degree of quantitative logic in the logic system L_n^* (n-valued NM-logic system)

This page was built for publication: The extensions \(\mathcal L_n^{\ast}\) of the formal system \(\mathcal L^{\ast}\) and their completeness.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1425262)