The completeness and applications of the formal system \(\mathcal L^\ast\)
From MaRDI portal
Publication:865970
zbMath1182.03053MaRDI QIDQ865970
Publication date: 20 February 2007
Published in: Science in China. Series F (Search for Journal in Brave)
03B52: Fuzzy logic; logic of vagueness
Related Items
A theorem about infinite-valued sentential logic, Formalization of implication based fuzzy reasoning method, A survey of fuzzy implication algebras and their axiomatization, Lattice-valued simulations for quantitative transition systems, Stone-like representation theorems and three-valued filters in \(R_{0}\)- algebras (nilpotent minimum algebras), A new theory consistency index based on deduction theorems in several logic systems, 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), On filter theory of residuated lattices, Quantitative logic, On equivalent forms of fuzzy logic systems NM and IMTL, The extensions \(\mathcal L_n^{\ast}\) of the formal system \(\mathcal L^{\ast}\) and their completeness., Robustness analysis of full implication inference method, Hierarchical structure and applications of fuzzy logical systems, Simulation for lattice-valued doubly labeled transition systems, Characterizations of maximal consistent theories in the formal deductive system \(\mathcal L^{*}\) (NM-logic) and Cantor space, Unified forms of Triple I method, Simplification and independence of axioms of fuzzy logic systems IMTL and NM