Algebraické metody v neklasických logikách

Název projektu anglicky
Algebraic methods in non-classical logics
Anotace anglicky
Every propositional logic is naturally connected with several derived algebraic structures. In particular, these are the implication reducts, the ordered structures of values and so-called ring-like structures. Besides of these, propositional logics canbe connected with other reducts as for example the disjunction-negation reduct (usually called ?derived algebras?). In the proposed project we will focus on ordered structures connected with the logics mentioned above.

Kategorie VaV
ZV - Základní výzkum
CEP - hlavní obor
BA - Obecná matematika
CEP - vedlejší obor
BA - Obecná matematika
CEP - další vedlejší obor
IN - Informatika
OECD FORD - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)
10101 - Pure mathematics<br>10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Hodnocení poskytovatelem
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Zhodnocení výsledků projektu
Dosažené výsledky vedly k podstatnému prohloubení znalostí o strukturní teorii různých druhů algebraických struktur spojených s logikou. Většina z nich byla publikována v renomovaných časopisech s IF a prezentována na mezinárodních konferencích

Důvěrnost údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Systémové označení dodávky dat
CEP11-MSM-ME-U/01:1
Datum dodání záznamu
30. 6. 2011

Podobné projekty(10)