Algebraic methods in non-classical logics
Public support
Provider
Ministry of Education, Youth and Sports
Programme
KONTAKT
Call for proposals
KONTAKT 6 (SMSM2008ME3)
Main participants
—
Contest type
VS - Public tender
Contract ID
7326/2010-32
Alternative language
Project name in Czech
Algebraické metody v neklasických logikách
Annotation in Czech
Každá výroková logika je přirozeným způsobem spojená s odvozenými algebraickými strukturami, např. implikačními redukty, uspořádanými množinami pravdivostních hodnot a strukturami typu okruhů. Kromě těchto struktur je možno uvažovat další redukty, např.disjunkčně-negační redukt apod. V navrhovaném projektu se zaměříme na studium shora zmíněných uspořádaných struktur spojených s logikou.
Scientific branches
R&D category
ZV - Basic research
CEP classification - main branch
BA - General mathematics
CEP - secondary branch
BA - General mathematics
CEP - another secondary branch
IN - Informatics
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
Results achieved within the project substantially deepened the knowledge about the structure theory of various kinds of algebras connected with logic. Most of them were published in renowned journals with IF and lectured on international conferences.
Solution timeline
Realization period - beginning
Jan 1, 2009
Realization period - end
Dec 31, 2010
Project status
U - Finished project
Latest support payment
Jun 9, 2010
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
CEP11-MSM-ME-U/01:1
Data delivery date
Jun 30, 2011
Finance
Total approved costs
76 thou. CZK
Public financial support
76 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK