Model theory in categories of fuzzy sets
Public support
Provider
Academy of Sciences of the Czech Republic
Programme
Grants of distinctly investigative character focused on the sphere of research pursued at present particularly in the Academy of Sciences of the Czech Republic
Call for proposals
—
Main participants
Ostravská univerzita / Centrum excelence IT4Innovations, divize OU, Ústav pro výzkum a aplikace fuzzy modelování
Contest type
VS - Public tender
Contract ID
—
Alternative language
Project name in Czech
Teorie modelů v kategoriích fuzzy množin
Annotation in Czech
Teorie fuzzy množin se stává jednou z variant základů matematiky.S využitím této teorie se budují analogie klasických matem.struktur, známých z teorie množin,jako jsou grupy, topol.prostory apod.S výjimkou výzkumu různých fuzzy logik však existuje jen velmi málo výsledků o těchto možnostech teorie fuzzy množin.Předkládaný projekt by se proto zabýval výzkumem různých kategorií fuzzy množin,a to zejména z hlediska možností konstrukcí různých matem.systémů nad těmito kategoriemi. Předpokládá se,že se budoupředevším vyšetřovat především podmínky,kdy tyto kategorie tvoří toposy,přičemž důraz bude kladen na výzkum interní logiky těchto toposů.Protože toposy v obecném případě umožňují interpretaci nejvýše intuicionist.logiky (založené na Heytingových svazech),zatímco logika v teotii fuzzy množin je obecně interpretována v residuovaných svazech,budou se vyšetřovat podmínky, kdy dané kategorie fuzzy množin umožňují interpretaci také této logiky vycházející z residuovaných svazů.
Scientific branches
R&D category
—
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
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Project results evaluation
Identifikace objektů v kategoriích fuzzy množin nad MV-algebrami, které mohou sloužit jako zobecnění objektů identifikovaných pomocí podobjektových klasifikátorů, výzkum vlastností kategorií fuzzy automatů. Vlastností modelů fuzzy logiky.
Solution timeline
Realization period - beginning
Jan 1, 1999
Realization period - end
Jan 1, 2001
Project status
U - Finished project
Latest support payment
—
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
CEP/2002/AV0/AV02IA/U/N/7:3
Data delivery date
Jan 15, 2007
Finance
Total approved costs
1,653 thou. CZK
Public financial support
685 thou. CZK
Other public sources
1,388 thou. CZK
Non public and foreign sources
0 thou. CZK