Number-free Mathematics Based on T-norm Fuzzy Logic

Result code in IS VaVaI

RIV/67985807:_____/09:00328028 - isvavai.cz

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Number-free Mathematics Based on T-norm Fuzzy Logic

Original language description

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.

Czech name

—

Czech description

—

Type

D - Article in proceedings

CEP classification

BA - General mathematics

OECD FORD branch

—

Project

IAA100300503: Mathematical foundation of inference and decision under uncertainty

Continuities

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

Publication year

2009

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection

IFSA - EUSFLAT 2009

ISBN

978-989-95079-6-8

ISSN

—

e-ISSN

—

Number of pages

6

Pages from-to

—

Publisher name

EUSFLAT

Place of publication

Granada

Event location

Lisabon

Event date

Jul 20, 2009

Type of event by nationality

WRD - Celosvětová akce

UT code for WoS article

—