Towards Fuzzy Type Theory with Partial Functions

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61988987%3A17610%2F18%3AA1901N0H" target="_blank" >RIV/61988987:17610/18:A1901N0H - isvavai.cz</a>

Výsledek na webu

<a href="http://dx.doi.org/10.1007/978-3-319-66827-7" target="_blank" >http://dx.doi.org/10.1007/978-3-319-66827-7</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/978-3-319-66827-7" target="_blank" >10.1007/978-3-319-66827-7</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Towards Fuzzy Type Theory with Partial Functions

Popis výsledku v původním jazyce

This paper is a study of fuzzy type theory (FTT) with partial functions. Out of several possibilities we decided to introduce a special value * which represents "undefined". In the interpretation of FTT, this value lays outside of the corresponding domain. In the syntax, it is naturally represented by the description operator acting on the empty (fuzzy) set which, of course, has no element and so, choosing an element from its kernel gives no result, i.e., it is undefined. We will demonstrate that our approach leads to reasonable characterization of the undefinedness. We will also show that any consistent theory of FTT has a model.

Název v anglickém jazyce

Towards Fuzzy Type Theory with Partial Functions

Popis výsledku anglicky

This paper is a study of fuzzy type theory (FTT) with partial functions. Out of several possibilities we decided to introduce a special value * which represents "undefined". In the interpretation of FTT, this value lays outside of the corresponding domain. In the syntax, it is naturally represented by the description operator acting on the empty (fuzzy) set which, of course, has no element and so, choosing an element from its kernel gives no result, i.e., it is undefined. We will demonstrate that our approach leads to reasonable characterization of the undefinedness. We will also show that any consistent theory of FTT has a model.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

10101 - Pure mathematics

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)

Rok uplatnění

2018

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

Advances in Fuzzy Logic and Technology 2017

ISBN

978-3-319-66826-0

ISSN

—

e-ISSN

—

Počet stran výsledku

13

Strana od-do

25-37

Název nakladatele

Springer

Místo vydání

Berlin

Místo konání akce

Warsaw, Poland

Datum konání akce

11. 9. 2017

Typ akce podle státní příslušnosti

EUR - Evropská akce

Kód UT WoS článku

000431389900003