Ordered structures for non-classical logics
Public support
Provider
Ministry of Education, Youth and Sports
Programme
—
Call for proposals
—
Main participants
Univerzita Palackého v Olomouci / Přírodovědecká fakulta
Contest type
M2 - International cooperation
Contract ID
MSMT-539/2017-1
Alternative language
Project name in Czech
Uspořádané struktury pro neklasickou logiku
Annotation in Czech
Uspořádané algebraické struktury tvoří jednu z nejvíce studovaných struktur v algebře. Hlavním a obecným cílem projektu je zavedení některých nových struktur tohoto typu do výzkumu v oblasti tzv. neklasických logik, speciálně pak ve vícehodnotových logikách, logikách kvantové mechaniky a jistých logikách používaných v umělé inteligenci (temporální logika, logika dynamických procesů apod.). Tyto otázky jsou těsně spjaty s řadou problémů řešených v algebře. Cílem projektu bude také nalezení univerzálního přístupu, který by mohl být aplikován pro celou řadu konkrétních problémů ve studované oblasti, zejména se zřetelem pro jejich využití v mnohem obecnější podobě pro tzv. substrukturální logiky. Dále se zaměříme na studium některých speciálních reziduovaných struktur (reziduované svazy, reziduované pologrupy a grupoidy, pocrimy apod.). Jelikož v současné době existuje velmi dobře rozpracovaná teorie tzv. klasických struktur (okruhy, polookruhy, skoro-okruhy, grupy, apod.), dalším cílem bude nalezení propojení mezi těmito strukturami a reziduovaností. Speciálně, hodláme klasifikovat polokruhy s reziduovaností, a obráceně, kterým reziduovaným strukturám lze přiřadit strukturu polokruhu. Ukazuje se také, že uspořádání struktury lze aplikovat v oblasti tzv. teorie agregací a speciálně tzv Sugenova integrálu. Tato oblast bude dalším objektem zkoumání v rámci projektu. Jako aplikace našich výstupů předpokládáme dosáhnout významných výsledků v oblasti popisu nebo dokonce axiomatizace některých fyzikálních systémů, a to jak klasických, tak kvantových. Teoretické výsledky také hodláme použít v oblasti teorie automatů.
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
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Project results evaluation
This project was 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.
Solution timeline
Realization period - beginning
Jan 1, 2017
Realization period - end
Dec 31, 2018
Project status
U - Finished project
Latest support payment
Feb 26, 2018
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
CEP19-MSM-7A-U/01:1
Data delivery date
Jun 18, 2019
Finance
Total approved costs
153 thou. CZK
Public financial support
153 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK