Modal and Many-valued Logics

Provider

Czech Science Foundation

Programme

Standard projects

Call for proposals

Standardní projekty 1 (SGA02002GA-ST)

Main participants

Univerzita Karlova / Filozofická fakulta

Contest type

VS - Public tender

Contract ID

—

Project name in Czech

Modální a vícehodnotové logiky

Annotation in Czech

Budeme zkoumat teoretické základy moderních logických systémů, které podstatně využívají více než dvou pravdivostních hodnot a budeme je konfrontovat s modalitami možnosti a nutnosti, ale i dalšími modalitami, jejichž studium je aktuální v kontextu výpoč

R&D category

—

CEP classification - main branch

AA - Philosophy and religion

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>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

Provider evaluation

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

Project results evaluation

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

Realization period - beginning

Jan 1, 2001

Realization period - end

Jan 1, 2003

Project status

U - Finished project

Latest support payment

—

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Data delivery code

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

Data delivery date

May 30, 2008

Total approved costs

585 thou. CZK

Public financial support

585 thou. CZK

Other public sources

0 thou. CZK

Non public and foreign sources

0 thou. CZK