Pages that link to "Item:Q2463481"
From MaRDI portal
The following pages link to Formal systems of fuzzy logic and their fragments (Q2463481):
Displaying 25 items.
- Curry's paradox and \(\omega \)-inconsistency (Q361866) (← links)
- Reasoning about mathematical fuzzy logic and its future (Q419039) (← links)
- A survey of fuzzy implication algebras and their axiomatization (Q459041) (← links)
- The quintuple implication principle of fuzzy reasoning (Q527212) (← links)
- EQ-logics: non-commutative fuzzy logics based on fuzzy equality (Q549345) (← links)
- Elements of model theory in higher-order fuzzy logic (Q695272) (← links)
- EQ-algebras (Q1043290) (← links)
- The Ł\(\Pi\) and Ł\(\Pi\frac{1}{2}\) propositional and predicate logics (Q1349200) (← links)
- Complexity of some language fragments of fuzzy logics (Q1699732) (← links)
- Group representation for even and odd involutive commutative residuated chains (Q2157596) (← links)
- Triangular norm based predicate fuzzy logics (Q2270233) (← links)
- Subtypes in fuzzy type theory (Q2328911) (← links)
- On three implication-less fragments of t-norm based fuzzy logics (Q2457026) (← links)
- Simplification and independence of axioms of fuzzy logic systems IMTL and NM (Q2486056) (← links)
- Formalising PFSQL queries using Ł\( \Pi \frac 12\) fuzzy logic (Q2888858) (← links)
- A schematic extension of the IMTL logic system (Q2993121) (← links)
- From Classical to Fuzzy Type Theory (Q3454816) (← links)
- (Q3481674) (← links)
- Mathematical Fuzzy Logics (Q3503741) (← links)
- Interpolative Boolean Logic (Q3534662) (← links)
- Archimedean classes in integral commutative residuated chains (Q3632529) (← links)
- PARADIGM, FORMAL PROPERTIES AND LIMITS OF FUZZY LOGIC (Q4895004) (← links)
- NONASSOCIATIVE SUBSTRUCTURAL LOGICS AND THEIR SEMILINEAR EXTENSIONS: AXIOMATIZATION AND COMPLETENESS PROPERTIES (Q5402233) (← links)
- Introduction (Q5892200) (← links)
- About axiomatic systems of product fuzzy logic (Q5953526) (← links)
