Descriptions in Full Fuzzy Type Theory

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61988987%3A17610%2F03%3A00000004" target="_blank" >RIV/61988987:17610/03:00000004 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Descriptions in Full Fuzzy Type Theory

Popis výsledku v původním jazyce

The fuzzy type theory (FTT) is extended by the description operator whose interpretation is a function which assigns a fuzzy set an element and is thus similar to the defuzzification operation introduced in fuzzy set theory. The full fuzzy type theory isobtained when extending FTT by the description operator together with a proper axiom. Some basic properties of description operator have been proved as well as completeness of the full FTT.

Název v anglickém jazyce

Descriptions in Full Fuzzy Type Theory

Popis výsledku anglicky

The fuzzy type theory (FTT) is extended by the description operator whose interpretation is a function which assigns a fuzzy set an element and is thus similar to the defuzzification operation introduced in fuzzy set theory. The full fuzzy type theory isobtained when extending FTT by the description operator together with a proper axiom. Some basic properties of description operator have been proved as well as completeness of the full FTT.

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

—

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

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 periodika

Neural Network World

ISSN

1210-0552

e-ISSN

—

Svazek periodika

13

Číslo periodika v rámci svazku

—

Stát vydavatele periodika

CZ - Česká republika

Počet stran výsledku

11

Strana od-do

559-569

Kód UT WoS článku

—

EID výsledku v databázi Scopus

—