Geometrie asociativních struktur

Poskytovatel

Grantová agentura České republiky

Program

Postdoktorandské granty

Veřejná soutěž

Postdoktorandské granty 12 (SGA02012GA1PD)

Hlavní účastníci

—

Druh soutěže

VS - Veřejná soutěž

Číslo smlouvy

P201-12-P055

Název projektu anglicky

Geometry of associative structures

Anotace anglicky

This project intends to investigate associative operations and structures from a geometrical point of view. The main motivation comes from the study of web geometry which is a branch of the differential geometry. As some results have already shown, the concepts of this discipline can be adopted successfully to characterize the associativity of totally ordered monoids and triangular norms in a very intuitive visual way. Thus, there is a good motivation to continue this research and to exploit its potential. The aim of the project is a geometric investigation of questions of structural characterization of associative structures, in particular, totally ordered monoids which play an important role in MTL algebras. These algebras represent semantics of themonoidal t-norm based logic which is a prototypical many-valued logic studied intensively nowadays by many researches. As the outcome of the project, it is expected not only a deeper understanding of associative structures but also a generalization of web geometry to a more general case.

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 <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)

10101 - Pure mathematics

Hodnocení poskytovatelem

U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)

Zhodnocení výsledků projektu

Cílem projektu bylo studium asociativních operací z pohledu geometrie, motivované především použitím v substrukturálních logikách, které nalézají uplatnění například v informatice, automatickém řízení nebo umělé inteligenci. Výsledky projektu, publikova?

Zahájení řešení

1. 1. 2012

Ukončení řešení

31. 12. 2014

Poslední stav řešení

U - Ukončený projekt

Poslední uvolnění podpory

19. 3. 2014

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

CEP15-GA0-GP-U/02:2

Datum dodání záznamu

6. 5. 2016

Celkové uznané náklady

1 578 tis. Kč

Výše podpory ze státního rozpočtu

1 578 tis. Kč

Ostatní veřejné zdroje financování

0 tis. Kč

Neveřejné tuz. a zahr. zdroje finan.

0 tis. Kč