Fuzzy set theory as a foundation of fuzzy mathematics
Project goals
The project will study fuzzy set theories as foundational theories for fuzzy mathematics, in cooperation with Japanese colleagues. Team members will systematically investigate and combine several approaches that have previously been developed by both Czech and Japanese investigators. An important goal of the project is generalization of the methods and results in formal fuzzy set theory to a broader class of substructural logics, including linear logic and monoidal logic.
Keywords
non-classical logicsfuzzy logicssubstructural logicsfuzzy set theoryfuzzy mathematics
Public support
Provider
Ministry of Education, Youth and Sports
Programme
KONTAKT
Call for proposals
KONTAKT 7 (SMSM2009ME4)
Main participants
—
Contest type
VS - Public tender
Contract ID
1324/2010-32
Alternative language
Project name in Czech
Fuzzy teorie množin jakožto základ fuzzy matematiky
Annotation in Czech
Dosažení lepšího porozumění fuzzy teoriím množin jakožto základům fuzzy matematiky, přenesení metod mezi fuzzy a substrukturálními teoriemi množin, navázání česko-japonské spolupráce v této oblasti a publikování dosažených výsledků.
Scientific branches
R&D category
ZV - Basic research
CEP classification - main branch
BA - General mathematics
CEP - secondary branch
IN - Informatics
CEP - another secondary branch
—
10101 - Pure mathematics
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Completed project evaluation
Provider evaluation
V - Vynikající výsledky projektu (s mezinárodním významem atd.)
Project results evaluation
The project "Fuzzy set theory as foundation of fuzzy mathematics" resulted in better undestanding of fuzzy set theories, fuzzy and substructural logics, initiation of Czech-Japan collaboration in this area, 30 conference and seminar talks, and submissionof two papers (one already accepted for publication) in prestigious international journals.
Solution timeline
Realization period - beginning
Apr 1, 2009
Realization period - end
Dec 31, 2010
Project status
U - Finished project
Latest support payment
Mar 2, 2010
Data delivery to CEP
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP11-MSM-ME-U/01:1
Data delivery date
Jun 30, 2011
Finance
Total approved costs
422 thou. CZK
Public financial support
422 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK
Recognised costs
422 CZK thou.
Public support
422 CZK thou.
0%
Provider
Ministry of Education, Youth and Sports
CEP
BA - General mathematics
Solution period
01. 04. 2009 - 31. 12. 2010