The completeness and applications of the formal system \(\mathcal L^\ast\)

zbMath1182.03053MaRDI QIDQ865970

Dao-Wu Pei, Wang, Guojun

Publication date: 20 February 2007

Published in: Science in China. Series F (Search for Journal in Brave)

Mathematics Subject Classification ID

03B52: Fuzzy logic; logic of vagueness

Related Items

Paraconsistent constructive logic with strong negation as a contraction-free relevant logic, STONE DUALITY FOR R0-ALGEBRAS WITH INTERNAL STATES, 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, Rough approximation operators on \(R_0\)-algebras (nilpotent minimum algebras) with an application in formal logic \(\mathcal{L}^\ast\), Nondeterministic fuzzy automata with membership values in complete residuated lattices, Stone-like representation theorems and three-valued filters in \(R_{0}\)- algebras (nilpotent minimum algebras), The properties of \(\models\)-filters of a topological system, 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., Implicative int-soft filters of \(R_0\)-algebras, 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