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)
Related Items
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), Paraconsistent constructive logic with strong negation as a contraction-free relevant logic, Stone-like representation theorems and three-valued filters in \(R_{0}\)- algebras (nilpotent minimum algebras), On equivalent forms of fuzzy logic systems NM and IMTL, Formalization of implication based fuzzy reasoning method, Unnamed Item, A survey of fuzzy implication algebras and their axiomatization, The extensions \(\mathcal L_n^{\ast}\) of the formal system \(\mathcal L^{\ast}\) and their completeness., Lattice-valued simulations for quantitative transition systems, Characterizations of maximal consistent theories in the formal deductive system \(\mathcal L^{*}\) (NM-logic) and Cantor space, STONE DUALITY FOR R0-ALGEBRAS WITH INTERNAL STATES, 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, Unified forms of Triple I method, Simplification and independence of axioms of fuzzy logic systems IMTL and NM, On filter theory of residuated lattices, Quantitative logic, A theorem about infinite-valued sentential logic, Implicative int-soft filters of \(R_0\)-algebras, The properties of \(\models\)-filters of a topological system, A new theory consistency index based on deduction theorems in several logic systems, Robustness analysis of full implication inference method, Hierarchical structure and applications of fuzzy logical systems, Simulation for lattice-valued doubly labeled transition systems
