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%2F19%3AA2001O9V" target="_blank" >RIV/61988987:17610/19:A2001O9V - isvavai.cz</a>

Výsledek na webu

<a href="http://ijfs.usb.ac.ir/article_4538.html" target="_blank" >http://ijfs.usb.ac.ir/article_4538.html</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.22111/IJFS.2019.4538" target="_blank" >10.22111/IJFS.2019.4538</a>

Jazyk výsledku

angličtina

Název v původním jazyce

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 * that represents 'undefined'. In the interpretation of FTT, this value lays outside of the corresponding domain. In the syntax, however, it can be naturally represented by the description operator acting on the empty (fuzzy) set and so, choosing an element from its kernel gives no result (it is undefined operation). Among many results, we will show that if, in a theory T, '*' is defined or provable then T is contradictory. We will also show that any consistent theory of FTT with partial functions has a model.

Název v anglickém jazyce

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 * that represents 'undefined'. In the interpretation of FTT, this value lays outside of the corresponding domain. In the syntax, however, it can be naturally represented by the description operator acting on the empty (fuzzy) set and so, choosing an element from its kernel gives no result (it is undefined operation). Among many results, we will show that if, in a theory T, '*' is defined or provable then T is contradictory. We will also show that any consistent theory of FTT with partial functions has a model.

Druh

J_imp - Článek v periodiku v databázi Web of Science

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í

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ů

Název periodika

Iranian Journal of Fuzzy Systems

ISSN

1735-0654

e-ISSN

—

Svazek periodika

16

Číslo periodika v rámci svazku

2

Stát vydavatele periodika

IR - Íránská islámská republika

Počet stran výsledku

16

Strana od-do

1-16

Kód UT WoS článku

000462748700001

EID výsledku v databázi Scopus

2-s2.0-85065140172