Representations of algebraic semantics for substructural logics
Public support
Provider
Czech Science Foundation
Programme
—
Call for proposals
—
Main participants
Univerzita Palackého v Olomouci / Přírodovědecká fakulta
Contest type
M2 - International cooperation
Contract ID
24-14386L
Alternative language
Project name in Czech
Reprezentace algebraických sémantik pro substrukturální logiky
Annotation in Czech
Cílem projektu je zkoumat reprezentace některých tříd reziduovaných struktur. Tyto struktury zachycují sémantickou podstatu substrukturálních logik, jinak známých jako "logiky citlivé na zdroje", tj. logik, které berou vážně skutečnost, že naše rezonanční možnosti jsou konečné. Název "substrukturální logiky" pochází z toho, že jsou-li tyto logiky prezentovány jako sekvenční důkazové systémy, omezují nebo postrádají jedno ze strukturních pravidel oslabení, výměny nebo kontrakce. Všechna tato pravidla platí v klasické logice, ale každé z nich může selhat v každodenním uvažování nebo v systémech umělé inteligence. Díky tomu jsou substrukturální logiky užitečným nástrojem ve formální lingvistice (Lambekův kalkul), základech matematiky (intuicionistická logika), přibližném uvažování (mnohohodnotové logiky), uvažování respektujícím obsah (relevantní logika), výpočetní technice a kvantové výpočetní technice (lineární logika, bi-intuicionistická logika, mnohohodnotové logiky).
Scientific branches
R&D category
ZV - Basic research
OECD FORD - main branch
10103 - Statistics and probability
OECD FORD - secondary branch
—
OECD FORD - another secondary branch
—
CEP - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</a>)
BB - Applied statistics, operational research
Solution timeline
Realization period - beginning
Jan 1, 2024
Realization period - end
Dec 31, 2026
Project status
B - Running multi-year project
Latest support payment
Mar 8, 2024
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
CEP25-GA0-GF-R
Data delivery date
Mar 14, 2025
Finance
Total approved costs
3,696 thou. CZK
Public financial support
3,696 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK