Metamatematika substrukturálních modálních logik

Poskytovatel

Grantová agentura České republiky

Program

Standardní projekty

Veřejná soutěž

SGA0202200004

Hlavní účastníci

Ústav informatiky AV ČR, v. v. i.

Druh soutěže

VS - Veřejná soutěž

Číslo smlouvy

22-01137S

Název projektu anglicky

Metamathematics of substructural modal logics

Anotace anglicky

Classical logic models reasoning about Boolean combinations of atomic propositions. Modal logics extend it by adding propositional connectives (called `modalities') to allow reasoning about the modes of truth, such as `necessarily’, `is allowed', or `is known'. Conversely, substructural logics relax assumptions on logical atoms to allow reasoning about other interesting objects such as constructive proofs, resources, or the degrees of truth. There are deep mathematical theories available for both classes of logics, which both aid their applications in mathematics, computer science, economics, linguistics, etc., and are of independent mathematical interest. This is, however, not the case for their combination, which hinders their development and application potential. The goal of the project is to advance three underdeveloped areas of substructural modal logics by creating general theories of algebra-valued frames and logics with layered syntax and establishing the foundations of quantified substructural modal logics.

Kategorie VaV

ZV - Základní výzkum

OECD FORD - hlavní obor

10101 - Pure mathematics

OECD FORD - vedlejší obor

—

OECD FORD - další vedlejší obor

—

CEP - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)

BA - Obecná matematika

Zahájení řešení

1. 1. 2022

Ukončení řešení

31. 12. 2024

Poslední stav řešení

K - Končící víceletý projekt

Poslední uvolnění podpory

2. 3. 2023

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

CEP24-GA0-GA-R

Datum dodání záznamu

19. 2. 2024

Celkové uznané náklady

6 328 tis. Kč

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

6 328 tis. Kč

Ostatní veřejné zdroje financování

0 tis. Kč

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

0 tis. Kč