Modální a vícehodnotové logiky

Poskytovatel

Grantová agentura České republiky

Program

Standardní projekty

Veřejná soutěž

Standardní projekty 1 (SGA02002GA-ST)

Hlavní účastníci

Univerzita Karlova / Filozofická fakulta

Druh soutěže

VS - Veřejná soutěž

Číslo smlouvy

—

Název projektu anglicky

Modal and Many-valued Logics

Anotace anglicky

We will study theoretical foundations of modern logical systems which are essentially based on more than two truth-values and we will confront them with possibility and necessity modalities and also with other modalities, study of which is important in t

Kategorie VaV

—

CEP - hlavní obor

AA - Filosofie a náboženství

CEP - vedlejší obor

BA - Obecná matematika

CEP - další vedlejší obor

—

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>60301 - Philosophy, History and Philosophy of science and technology<br>60302 - Ethics (except ethics related to specific subfields)<br>60303 - Theology<br>60304 - Religious studies

Hodnocení poskytovatelem

U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)

Zhodnocení výsledků projektu

1. Projekt 401/01/0218 přináší nové poznatky o vícehodnotové a modální logice. 2. Výsledky projektu mají charakter základního teoretického výzkumu. 3. Projekt je interdisciplinárně aplikovatelný. 4. Publikace a prezentace projektu mají požadovanou úro

Zahájení řešení

1. 1. 2001

Ukončení řešení

1. 1. 2003

Poslední stav řešení

U - Ukončený projekt

Poslední uvolnění podpory

—

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

CEP/2004/GA0/GA04GA/U/N/A:11

Datum dodání záznamu

30. 5. 2008

Celkové uznané náklady

585 tis. Kč

Výše podpory ze státního rozpočtu

585 tis. Kč

Ostatní veřejné zdroje financování

0 tis. Kč

Neveřejné tuz. a zahr. zdroje finan.

0 tis. Kč