From Classical to Fuzzy Type Theory
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61988987%3A17610%2F14%3AA1501BYB" target="_blank" >RIV/61988987:17610/14:A1501BYB - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
From Classical to Fuzzy Type Theory
Original language description
This paper addresses several complete formal systems of the fuzzy type theory. The systems differ from each other by a chosen algebra of truth values. Namely, we focus on three systems: the Core FTT based on a special algebra of truth values for fuzzy type theory --- the EQ-algebra, then IMTL-FTT based on imtD-algebra of truth values and finally the LFTT based on MV$_{Delta}$-algebra of truth values.
Czech name
—
Czech description
—
Classification
Type
C - Chapter in a specialist book
CEP classification
BA - General mathematics
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/ED1.1.00%2F02.0070" target="_blank" >ED1.1.00/02.0070: IT4Innovations Centre of Excellence</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2014
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Book/collection name
The Life and Work of Leon Henkin
ISBN
978-3-319-09719-0
Number of pages of the result
24
Pages from-to
225-248
Number of pages of the book
351
Publisher name
Birkhauser
Place of publication
Basel
UT code for WoS chapter
—