Algebraic Methods in Proof Theory
Public support
Provider
Czech Science Foundation
Programme
Standard projects
Call for proposals
Standardní projekty 14 (SGA02011GA-ST)
Main participants
České vysoké učení technické v Praze / Fakulta elektrotechnická<br>Ústav informatiky AV ČR, v. v. i.
Contest type
VS - Public tender
Contract ID
P202-11-1632
Alternative language
Project name in Czech
Algebraické metody v teorii důkazů
Annotation in Czech
Jeden ze současných trendů v teorii důkazů neklasických logik je snaha zapojit více algebraických metod a vyvinout takzvanou algebraickou teorii důkazů. Typickým příkladem výsledku směřující tímto směrem je důkaz eliminace řezu stejným způsobem, jakým se v algebře dokazuje uzavřenost na Dedekind-MacNeillovo zúplnění. Další výsledky v tomto směru ukazují, že současná teorie důkazů založená na Gentzenových sekventových kalkulech funguje jen pro logiky se strukturálními axiomy nízké složitosti. Cílem našeho projektu je zobecnit současné metody za účelem rozšíření oblasti, kde lze sekventové kalkuly (v zobecněné podobě) aplikovat. S tím souvisí další cíl projektu, kterým je studium výpočetní složitosti neklasických logik.
Scientific branches
R&D category
ZV - Basic research
CEP classification - main branch
IN - Informatics
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>)
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
Many solid new results in the area of substructural logic, published in some world-top publication venues (mainly journals). The reported outcomes (incl. 3 accepted journal papers) are adequate to the size of the project and the number of researchers. The project advanced knowledge in the field of logic in CS. No important problems with following the grant rules or spending the funds were found.
Solution timeline
Realization period - beginning
Jan 1, 2011
Realization period - end
Dec 31, 2015
Project status
U - Finished project
Latest support payment
Apr 10, 2015
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-GA-U/01:1
Data delivery date
Sep 25, 2017
Finance
Total approved costs
5,771 thou. CZK
Public financial support
5,771 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK