Pages that link to "Item:Q865970"
From MaRDI portal
The following pages link to The completeness and applications of the formal system \(\mathcal L^\ast\) (Q865970):
Displayed 19 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)
- Stone-like representation theorems and three-valued filters in \(R_{0}\)- algebras (nilpotent minimum algebras) (Q622081) (← 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)
- 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)
- A theorem about infinite-valued sentential logic (Q5804993) (← links)