Towards fuzzy type theory.
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985556%3A_____%2F03%3A16030224" target="_blank" >RIV/67985556:_____/03:16030224 - isvavai.cz</a>
Alternative codes found
RIV/61988987:17610/03:00000021
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Towards fuzzy type theory.
Original language description
The formal type theory is generalized to fuzzy one. The structure of truth values is assumed to be the IMTL-algebra. Some properties of theories of fuzzy type theory are demonstrated and the completeness saying that each consistent theory has a model isproved. We will follow the way of the development of the classical type theory are demonstrated and the completeness saying that each consistent theory has a model is proved.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
BA - General mathematics
OECD FORD branch
—
Result continuities
Project
—
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2003
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
Article name in the collection
Proceedings of the 33rd International Symposium on Multiple-Valued Logic.
ISBN
0-7695-1918-0
ISSN
—
e-ISSN
—
Number of pages
6
Pages from-to
65-70
Publisher name
IEEE Computer Society
Place of publication
Los Alamitos
Event location
Tokyo [JP]
Event date
May 16, 2003
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—