On Virtues of Many-Valued (Fuzzy) Type Theories

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61988987%3A17610%2F10%3AA1100ZDC" target="_blank" >RIV/61988987:17610/10:A1100ZDC - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

On Virtues of Many-Valued (Fuzzy) Type Theories

Popis výsledku v původním jazyce

In this paper, we deal with the fuzzy type theory (FTT) --- a higher-order fuzzy logic. There are several kinds of this logic depending on the chosen structure of truth values. Higher-order (fuzzy) logic is still not fully appreciated despite its high explicative power. Our goal is to point out several great virtues of it to convince the reader that this logic is worth of studying and has a potential for many applications. After brief presentation of the main algebraic structures of truth values convenient for FTT, we discuss several virtues of the latter, namely: (1) FTT has a simple and highly uniform syntax, (2) Semantics of FTT is based on a small collection of well-established ideas, (3) FTT is a highly expressive logic and (4) There are practicalextensions of FTT that can be effectively implemented.

Název v anglickém jazyce

On Virtues of Many-Valued (Fuzzy) Type Theories

Popis výsledku anglicky

In this paper, we deal with the fuzzy type theory (FTT) --- a higher-order fuzzy logic. There are several kinds of this logic depending on the chosen structure of truth values. Higher-order (fuzzy) logic is still not fully appreciated despite its high explicative power. Our goal is to point out several great virtues of it to convince the reader that this logic is worth of studying and has a potential for many applications. After brief presentation of the main algebraic structures of truth values convenient for FTT, we discuss several virtues of the latter, namely: (1) FTT has a simple and highly uniform syntax, (2) Semantics of FTT is based on a small collection of well-established ideas, (3) FTT is a highly expressive logic and (4) There are practicalextensions of FTT that can be effectively implemented.

Druh

D - Stať ve sborníku

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

—

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2010

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

Quantitative Logic and Soft Computing 2010

ISBN

978-3-642-15659-5

ISSN

—

e-ISSN

—

Počet stran výsledku

17

Strana od-do

—

Název nakladatele

Springer

Místo vydání

Berlin

Místo konání akce

Xiamen

Datum konání akce

22. 10. 2010

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

WRD - Celosvětová akce

Kód UT WoS článku

—