Number of the records: 1

Number-free Mathematics Based on T-norm Fuzzy Logic

SYSNO ASEP	0328028
Document Type	C - Proceedings Paper (int. conf.)
R&D Document Type	Conference Paper
Title	Number-free Mathematics Based on T-norm Fuzzy Logic
Title	Bezčíselná matematika založená na t-normové fuzzy logice
Author(s)	Běhounek, Libor (UIVT-O)_{RID, SAI, ORCID}
Source Title	IFSA - EUSFLAT 2009. - Granada : EUSFLAT, 2009 / Carvalho J.P. ; Dubois D. ; Kaymak U. ; Sousa J.M.C. - ISBN 978-989-95079-6-8
Pages	s. 449-454
Number of pages	6 s.
Publication form	CD ROM - CD ROM
Action	IFSA - EUSFLAT 2009. International Fuzzy Systems Association World Congress 2009, European Society for Fuzzy Logic and Technology Conference 2009
Event date	20.07.2009-24.07.2009
VEvent location	Lisabon
Country	PT - Portugal
Event type	WRD
Language	eng - English
Country	ES - Spain
Keywords	Fuzzy Class Theory ; fuzzy mathematics ; fuzzy set ; real-valued function ; similarity-based limit ; t-norm fuzzy logic
Subject RIV	BA - General Mathematics
R&D Projects	IAA100300503 GA AV ČR - Academy of Sciences of the Czech Republic (AV ČR)
CEZ	AV0Z10300504 - UIVT-O (2005-2011)
UT WOS	000279170600079
EID SCOPUS	84871873886
Annotation	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 semantics of 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 employed for the number-free formalization of mathematical concepts is that of higher-order fuzzy logic, also known as Fuzzy Class Theory.
Workplace	Institute of Computer Science
Contact	Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800
Year of Publishing	2010

Number of the records: 1