Applications of algebraic methods in non-classical logics

Project name in Czech
Aplikace algebraických metod v neklasických logikách
Annotation in Czech
V předloženém projektu se zaměříme zejména na studium obecných reziduovaných struktur které nejsou nutně svazově uspořádané v souvislosti s jejich spojením s efektovými algebrami. Použitím časových operátorů budou studovány kvantové logiky s dimenzí času. Výzkum bude založen na podstatné bilaterální spolupráci s očekávaným velkým vědeckým přínosem pro obě partnerské instituce.

R&D category
ZV - Basic research
CEP classification - main branch
BA - General mathematics
CEP - secondary branch
BA - General mathematics
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

Provider evaluation
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Project results evaluation
This project is being realized in the framework of the MOBILITY Activity that aims primarily on establishing and strenghtening ties with foreign research institutions. The control of particular outputs is not implemented by the evalution committee, but the correctness of allocated finances and the adequacy of their use are checked.

Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP13-MSM-ME-U/01:1
Data delivery date
Jun 28, 2013

Project goals