Úplně uspořádané monoidy
Cíle projektu
Tématem projektu je výzkum svazově uspořádaných monoidů se zvláštním důrazem na ty, které jsou úplně uspořádané. Protože dosud známé metody pro zkoumání této oblasti matematiky se zdají být vyčerpané, je záměrem projektu využít nových metod, jejichž podstata je geometrická, pro řešení těchto algebraických otázek novým způsobem. Mezi tyto nové nástroje patří geometrie tkání, což je odvětví diferenciální geometrie zavedené Blashkem a Bolem, a reprezentace pomocí Cayleyho monoidů; oba tyto přístupy dovolují přehledným způsobem geometricky zobrazit algebraické vlastnosti struktur.
Klíčová slova
associativitymonoidmonoidal t-norm based logicMTL-algebraresiduated latticetotal order
Veřejná podpora
Poskytovatel
Grantová agentura České republiky
Program
Juniorské granty
Veřejná soutěž
Juniorské granty 1 (SGA0201500002)
Hlavní účastníci
Ústav informatiky AV ČR, v. v. i.
Druh soutěže
VS - Veřejná soutěž
Číslo smlouvy
15-07724Y
Alternativní jazyk
Název projektu anglicky
Totally ordered monoids
Anotace anglicky
The subject of the project is an investigation of the variety of lattice-ordered monoids with a special focus on the subclass of totally ordered ones. As the known methods investigate this problem seem to become exhausted, the project intends to take a benefit of newly introduced methods of geometric nature to attack this task, whose nature is algebraic, in a new way. The new tools include the approach of web geometry, a branch of the differential geometry introduced by Blaschke and Bol, and the representation by Cayley monoids; both these approaches allow to display algebraic properties of structures in an appealing visual way.
Vědní obory
Kategorie VaV
ZV - Základní výzkum
CEP - hlavní obor
BA - Obecná matematika
CEP - vedlejší obor
—
CEP - další vedlejší obor
—
OECD FORD - odpovídající obory
(dle převodníku)10101 - Pure mathematics
Hodnocení dokončeného projektu
Hodnocení poskytovatelem
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Zhodnocení výsledků projektu
Projektový záměr byl soustředěn na několik algebraických témat souvisejících s formální logikou. V souladu s plánem bylo dosaženo několika teoretiských výsledků, které byly i řádně uplatněny, další dva jsou předloženy k publikaci.
Termíny řešení
Zahájení řešení
1. 1. 2015
Ukončení řešení
31. 12. 2017
Poslední stav řešení
U - Ukončený projekt
Poslední uvolnění podpory
5. 4. 2017
Dodání dat do CEP
Důvěrnost údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Systémové označení dodávky dat
CEP18-GA0-GJ-U/02:1
Datum dodání záznamu
4. 5. 2018
Finance
Celkové uznané náklady
2 999 tis. Kč
Výše podpory ze státního rozpočtu
2 999 tis. Kč
Ostatní veřejné zdroje financování
0 tis. Kč
Neveřejné tuz. a zahr. zdroje finan.
0 tis. Kč
Uznané náklady
2 999 tis. Kč
Statní podpora
2 999 tis. Kč
0%
Poskytovatel
Grantová agentura České republiky
CEP
BA - Obecná matematika
Doba řešení
01. 01. 2015 - 31. 12. 2017