Towards fuzzy type theory.

Kód výsledku v 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>
Nalezeny alternativní kódy
RIV/61988987:17610/03:00000021
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
Towards fuzzy type theory.
Popis výsledku v původním jazyce
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.
Název v anglickém jazyce
Towards fuzzy type theory.
Popis výsledku anglicky
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.

Rok uplatnění
2003
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku
Proceedings of the 33rd International Symposium on Multiple-Valued Logic.
ISBN
0-7695-1918-0
ISSN
—
e-ISSN
—
Počet stran výsledku
6
Strana od-do
65-70
Název nakladatele
IEEE Computer Society
Místo vydání
Los Alamitos
Místo konání akce
Tokyo [JP]
Datum konání akce
16. 5. 2003
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—

Podobné výsledky(10)