Subtypes in Fuzzy Type Theory
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61988987%3A17610%2F19%3AA2001JH1" target="_blank" >RIV/61988987:17610/19:A2001JH1 - isvavai.cz</a>
Výsledek na webu
<a href="https://www.sciencedirect.com/science/article/pii/S0165011418303403" target="_blank" >https://www.sciencedirect.com/science/article/pii/S0165011418303403</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1016/j.fss.2018.06.011" target="_blank" >10.1016/j.fss.2018.06.011</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Subtypes in Fuzzy Type Theory
Popis výsledku v původním jazyce
In this paper, we introduce extension of the fuzzy type theory by subtypes. This demand raises in situations when, for example, we must distinguish rational and real numbers knowing that the set of rational numbers is a subset of real ones. In the original type theory, this causes a problem because we cannot represent rational numbers by a special type. The solution is to introduce special types for both of them and declare that the former is a subtype of the latter. The resulting fuzzy type theory is denoted by sFTT. When constructing frame of sFTT, it turns out necessary to consider also partial functions.
Název v anglickém jazyce
Subtypes in Fuzzy Type Theory
Popis výsledku anglicky
In this paper, we introduce extension of the fuzzy type theory by subtypes. This demand raises in situations when, for example, we must distinguish rational and real numbers knowing that the set of rational numbers is a subset of real ones. In the original type theory, this causes a problem because we cannot represent rational numbers by a special type. The solution is to introduce special types for both of them and declare that the former is a subtype of the latter. The resulting fuzzy type theory is denoted by sFTT. When constructing frame of sFTT, it turns out necessary to consider also partial functions.
Klasifikace
Druh
J<sub>imp</sub> - Článek v periodiku v databázi Web of Science
CEP obor
—
OECD FORD obor
10101 - Pure mathematics
Návaznosti výsledku
Projekt
<a href="/cs/project/GA16-19170S" target="_blank" >GA16-19170S: Fuzzy parciální logika</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2019
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ů
Údaje specifické pro druh výsledku
Název periodika
FUZZY SET SYST
ISSN
0165-0114
e-ISSN
—
Svazek periodika
363
Číslo periodika v rámci svazku
květen
Stát vydavatele periodika
NL - Nizozemsko
Počet stran výsledku
18
Strana od-do
66-83
Kód UT WoS článku
000459876600002
EID výsledku v databázi Scopus
2-s2.0-85049340107