Formal theories of mathematical structures with vagueness
Public support
Provider
Academy of Sciences of the Czech Republic
Programme
The research grant projects for juniors
Call for proposals
Juniorské badatelské grantové projekty 3 (SAV02005-J)
Main participants
—
Contest type
VS - Public tender
Contract ID
KJB100300502
Alternative language
Project name in Czech
Formální teorie matematických struktur s vágností
Annotation in Czech
Matematické struktury s vágními koncepty (tzv. fuzzy struktury) jsou široce aplikovatelné, a proto jsou v posledních desetiletích intenzivně zkoumány. Projekt směřuje k rozvoji a použití dostatečně silného logického aparátu pro formalizaci těchto struktur. První kroky k jeho vybudování byly umožněny nedávnými výsledky v matematické fuzzy logice. Jedná se o zobecnění jednoduché teorie typů nad vhodnou vícehodnotovou logikou, navržené řešiteli. Počáteční fáze projektu spočívá v dobudování tohoto aparátu,nicméně těžištěm projektu je jeho aplikace na nejpoužívanější fuzzy struktury (fuzzy pravděpodobnost, fuzzy čísla, fuzzy topologie aj.). To povede nejen k axiomatizaci teorií těchto struktur, ale i k možnosti jejich systematického studia pomocí metod teorie modelů a teorie důkazů. Jednotný formalismus navíc umožní propojení uvedených disciplín a položí základy formální fuzzy matematiky.
Scientific branches
R&D category
ZV - Basic research
CEP classification - main branch
BA - General mathematics
CEP - secondary branch
—
CEP - another secondary branch
—
OECD FORD - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</a>)
10101 - Pure mathematics
Completed project evaluation
Provider evaluation
V - Vynikající výsledky projektu (s mezinárodním významem atd.)
Project results evaluation
We have found new results and generalizations in several disciplines of formal fuzzy mathematics, esp. the theory of fuzzy classes and relations, fuzzy intervals, fuzzy filters, fuzzy topology, and logical foundations of fuzzy mathematics.
Solution timeline
Realization period - beginning
Jan 1, 2005
Realization period - end
Dec 1, 2007
Project status
U - Finished project
Latest support payment
Feb 27, 2007
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
CEP08-AV0-KJ-U/02:2
Data delivery date
Apr 3, 2009
Finance
Total approved costs
1,125 thou. CZK
Public financial support
1,125 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK