From Classical to Fuzzy Type Theory (Q3454816)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | From Classical to Fuzzy Type Theory |
scientific article |
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