Number-free Mathematics Based on T-norm Fuzzy Logic

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F09%3A00328028" target="_blank" >RIV/67985807:_____/09:00328028 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Number-free Mathematics Based on T-norm Fuzzy Logic

Popis výsledku v původním jazyce

The paper presents a form of rendering classical mathematical notions by formal theories over suitable t-norm fuzzy logics in such a way that references to real numbers are eliminated from definitions and theorems, being removed to the standard semanticsof fuzzy logic. Several examples demonstrate how this move conceptually simplifies the theory in exchange for non-classical reasoning, facilitates certain generalizations, and puts the concepts into a different perspective. The formal framework employedfor the number-free formalization of mathematical concepts is that of higher-order fuzzy logic, also known as Fuzzy Class Theory.

Název v anglickém jazyce

Number-free Mathematics Based on T-norm Fuzzy Logic

Popis výsledku anglicky

The paper presents a form of rendering classical mathematical notions by formal theories over suitable t-norm fuzzy logics in such a way that references to real numbers are eliminated from definitions and theorems, being removed to the standard semanticsof fuzzy logic. Several examples demonstrate how this move conceptually simplifies the theory in exchange for non-classical reasoning, facilitates certain generalizations, and puts the concepts into a different perspective. The formal framework employedfor the number-free formalization of mathematical concepts is that of higher-order fuzzy logic, also known as Fuzzy Class Theory.

Druh

D - Stať ve sborníku

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

<a href="/cs/project/IAA100300503" target="_blank" >IAA100300503: Matematické základy inference a rozhodování za nejistoty</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2009

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

IFSA - EUSFLAT 2009

ISBN

978-989-95079-6-8

ISSN

—

e-ISSN

—

Počet stran výsledku

6

Strana od-do

—

Název nakladatele

EUSFLAT

Místo vydání

Granada

Místo konání akce

Lisabon

Datum konání akce

20. 7. 2009

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

WRD - Celosvětová akce

Kód UT WoS článku

—