Proof theory of modal coalgebraic logic
Public support
Provider
Czech Science Foundation
Programme
Post-graduate (doctorate) grants
Call for proposals
Postdoktorandské granty 11 (SGA02011GA1PD)
Main participants
—
Contest type
VS - Public tender
Contract ID
P202-11-P304
Alternative language
Project name in Czech
Teorie důkazů modální koalgebraické logiky
Annotation in Czech
Rovnicová logika je považována za logiku algeber, modální logika je logikou koalgeber ? struktur modelujících chování přechodových systémů (automatů). Navrhovaný projekt se soustředí na studium modálních logik vhodných k popisu chování koalgeber, s důrazem na jejich teorii důkazů. Zaměříme se na dva z existujících přístupů ke koalgebraické modální logice - jazyky pocházející z logické konexe, a jazyky založené na ?cover? modalitách. Logická konexe mezi kategorií prostorů (kde studujeme koalgebry) a kategorií algeber (kde definujeme logiku) ustaví, jaké koalgebry studujeme a co je výroková část zamýšlené logiky, a automaticky generuje modální jazyk. Zde budeme zkoumat algebraické vlastnosti modalit. Modální logiku koalgeber typu T lze založit na jediné?cover? modalitě, jejíž arita i sémantika je dána funktorem T. Zde obecně definujeme sekventové kalkuly. V obou případech se pokusíme výsledky generalizovat na kategorie jiné než Set.
Scientific branches
R&D category
ZV - Basic research
CEP classification - main branch
IN - Informatics
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<br>10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Completed project evaluation
Provider evaluation
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Project results evaluation
The project contributed with new results to the mathematical logic but the goals outlined in the proposal were not fully achieved, which can be evidenced by the number of publication outputs (two journal papers, another accepted). Still, the project results can be considered in proportion to its budget.
Solution timeline
Realization period - beginning
Jan 1, 2011
Realization period - end
Apr 13, 2015
Project status
U - Finished project
Latest support payment
Jun 6, 2013
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
CEP16-GA0-GP-U/01:1
Data delivery date
May 6, 2016
Finance
Total approved costs
768 thou. CZK
Public financial support
768 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK