Pages that link to "Item:Q5240896"
From MaRDI portal
The following pages link to Fuzzy type theory with partial functions (Q5240896):
Displaying 10 items.
- On fuzzy type theory (Q703370) (← links)
- Variable-domain fuzzy sets. II: Apparatus (Q2036807) (← links)
- Fuzzy axiom of choice, fuzzy Zorn's lemma and fuzzy Hausdorff maximal principle (Q2100280) (← 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)
- (Q5039132) (← links)
- Properties of bisect-diagonal quadrilaterals (Q5860073) (← links)
- Preservation of properties of residuated algebraic structure by structures for the partial fuzzy set theory (Q6099375) (← links)
- First Steps Towards Harnessing Partial Functions in Fuzzy Type Theory (Q6485412) (← links)