The following pages link to On fuzzy type theory (Q703370):
Displaying 32 items.
- Mining pure linguistic associations from numerical data (Q2379290) (← links)
- Fuzzy class theory (Q2386239) (← links)
- Vagueness: where degree-based approaches are useful, and where we can do without (Q2391897) (← links)
- Logical foundations of rule-based systems (Q2492311) (← links)
- Which logic is the real fuzzy logic? (Q2492314) (← links)
- Universes of fuzzy sets and axiomatizations of fuzzy set theory. I: Model-based and axiomatic approaches (Q2498365) (← links)
- On modelling with words (Q2845276) (← links)
- EQ-algebra-based fuzzy type theory and its extensions (Q2885176) (← links)
- States on EQ-algebras (Q2953505) (← links)
- On Virtues of Many-Valued (Fuzzy) Type Theories (Q3145134) (← links)
- From Classical to Fuzzy Type Theory (Q3454816) (← links)
- Mathematical Fuzzy Logics (Q3503741) (← links)
- Non-Archimedean fuzzy and probability logic (Q3647285) (← links)
- On Fuzzy Logic I Many‐valued rules of inference (Q3874181) (← links)
- Fuzzy intensional semantics (Q4646654) (← links)
- $n$-fold obstinate and $n$-fold fantastic (pre)filters of $EQ$-algebras (Q4958617) (← links)
- State pseudo equality algebras (Q4963205) (← links)
- (Q5039132) (← links)
- Graded Generalized Hexagon in Fuzzy Natural Logic (Q5117196) (← links)
- Equality Logic (Q5147753) (← links)
- On General Properties of Intermediate Quantifiers (Q5230075) (← links)
- Fuzzy type theory with partial functions (Q5240896) (← links)
- On lifting quasi-filters and strong lifting quasi-filters in MV-algebras (Q5298464) (← links)
- A theorem about infinite-valued sentential logic (Q5804993) (← links)
- Right and Left Mappings in Equality Algebras (Q5881374) (← links)
- Fuzzy quantifiers defined over fuzzy domains (Q6058013) (← links)
- Rational Pavelka logic: the best among three worlds? (Q6083147) (← links)
- New kinds of hybrid filters of EQ-algebras (Q6125112) (← links)
- (Q6139434) (← links)
- Implication and production graphs on EQ-algebras (Q6606342) (← links)
- Mathematical representation of Peterson's rules for fuzzy Peterson's syllogisms (Q6621371) (← links)
- Folding theory applied to fuzzy (positive) implicative (pre)filters in EQ-algebras (Q6654266) (← links)
