The following pages link to (Q5039132):
Displaying 8 items.
- On fuzzy type theory (Q703370) (← links)
- Subtypes in fuzzy type theory (Q2328911) (← links)
- EQ-algebra-based fuzzy type theory and its extensions (Q2885176) (← links)
- On Virtues of Many-Valued (Fuzzy) Type Theories (Q3145134) (← links)
- Fuzzy type theory with partial functions (Q5240896) (← links)
- Quantification over Undefined Truth Values (Q6485082) (← links)
- On the Properties of Intermediate Quantifiers and the Quantifier “MORE-THAN” (Q6485141) (← links)
- First Steps Towards Harnessing Partial Functions in Fuzzy Type Theory (Q6485412) (← links)