From classical to fuzzy type theory (Q3454816)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6514162
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | From classical to fuzzy type theory |
scientific article; zbMATH DE number 6514162 |
Statements
From Classical to Fuzzy Type Theory (English)
0 references
27 November 2015
0 references
fuzzy type theory
0 references
EQ-algebra
0 references
residuated lattice
0 references
IMTL-algebra
0 references
MV-algebra
0 references
higher-order fuzzy logic
0 references
mathematical fuzzy logic
0 references
\(\delta\)-operation
0 references
0 references
0 references
0.8598682284355164
0 references
0.8143384456634521
0 references
0.8102166652679443
0 references
0.806423008441925
0 references
0.7777114510536194
0 references
