Pages that link to "Item:Q865970"

The following pages link to The completeness and applications of the formal system \(\mathcal L^\ast\) (Q865970):

Displaying 26 items.

• Formalization of implication based fuzzy reasoning method (Q448954) (← links)
• A survey of fuzzy implication algebras and their axiomatization (Q459041) (← links)
• Lattice-valued simulations for quantitative transition systems (Q473367) (← links)
• Rough approximation operators on \(R_0\)-algebras (nilpotent minimum algebras) with an application in formal logic \(\mathcal{L}^\ast\) (Q506104) (← links)
• Nondeterministic fuzzy automata with membership values in complete residuated lattices (Q511624) (← links)
• Stone-like representation theorems and three-valued filters in \(R_{0}\)- algebras (nilpotent minimum algebras) (Q622081) (← links)
• The properties of \(\models\)-filters of a topological system (Q780198) (← links)
• A new theory consistency index based on deduction theorems in several logic systems (Q812631) (← links)
• Three and two-valued Łukasiewicz theories in the formal deductive system \({\mathcal L}^*\) (NM-logic) (Q835272) (← links)
• Generalized consistency degrees of theories w.r.t. formulas in several standard complete logic systems (Q853469) (← links)
• Consistency degrees of theories and methods of graded reasoning in \(n\)-valued \(R_{0}\)-logic (NM-logic) (Q855815) (← links)
• On filter theory of residuated lattices (Q991899) (← links)
• Quantitative logic (Q1007841) (← links)
• On equivalent forms of fuzzy logic systems NM and IMTL (Q1406865) (← links)
• The extensions \(\mathcal L_n^{\ast}\) of the formal system \(\mathcal L^{\ast}\) and their completeness. (Q1425262) (← links)
• Implicative int-soft filters of \(R_0\)-algebras (Q2312321) (← links)
• Robustness analysis of full implication inference method (Q2353909) (← links)
• Hierarchical structure and applications of fuzzy logical systems (Q2353966) (← links)
• Simulation for lattice-valued doubly labeled transition systems (Q2353987) (← links)
• Characterizations of maximal consistent theories in the formal deductive system \(\mathcal L^{*}\) (NM-logic) and Cantor space (Q2457027) (← links)
• Unified forms of Triple I method (Q2485521) (← links)
• Simplification and independence of axioms of fuzzy logic systems IMTL and NM (Q2486056) (← links)
• STONE DUALITY FOR R0-ALGEBRAS WITH INTERNAL STATES (Q4553369) (← links)
• Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423) (← links)
• A theorem about infinite-valued sentential logic (Q5804993) (← links)
• (Q6111725) (← links)