Reprezentace algebraických sémantik pro substrukturální logiky

Název projektu anglicky
Representations of algebraic semantics for substructural logics
Anotace anglicky
The objective of the project is to investigate representations of certain classes of residuated structures. Residuated structures capture the semantical essence of substructural logics, otherwise known as "resource sensitive logics", that is, logics that take seriously the fact that our resoning capabilities are finite. The name "substructural logics" comes from the fact that when presented as sequent proof systems these logics restrict or lack one of the structural rules of weakening, exchange or contraction. All these rules hold in classical logic, but each can fail in everyday reasoning or in artificial intelligence systems. This makes substructural logics useful tools in formal linguistics (Lambek calculus), foundations of mathematics (intuitionistic logic), approximate reasoning (many-valued logics), content-respecting reasoning (relevant logic), computing and quantum computing (linear logic, bi-intuitionistic logic, many-valued logics).

Kategorie VaV
ZV - Základní výzkum
OECD FORD - hlavní obor
10103 - Statistics and probability
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>)
BB - Aplikovaná statistika, operační výzkum

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
CEP25-GA0-GF-R
Datum dodání záznamu
14. 3. 2025

Podobné projekty(10)