Uspořádané struktury pro neklasickou logiku

Poskytovatel

Ministerstvo školství, mládeže a tělovýchovy

Program

Šestý rámcový program Evropského společenství pro výzkum, technický rozvoj a demonstrační činnosti

Veřejná soutěž

—

Hlavní účastníci

Univerzita Palackého v Olomouci / Přírodovědecká fakulta

Druh soutěže

M2 - Mezinárodní spolupráce

Číslo smlouvy

MSMT-539/2017-1

Název projektu anglicky

Ordered structures for non-classical logics

Anotace anglicky

Ordered structures form an important tool in the prevailing majority of algebraic studies. The goal of the project is to employ these structures also in some investigations connected with so-called non-classical logics, in particular in many-valued logics, logics of quantum mechanics and certain logics used in artificial intelligence (temporal logic, logic of dynamical processes etc.). These tasks are closely related to a variety of problems solved in algebra. Our main aim is to find a unified approach which can be applied in particular cases of these problems or even in a more general setting for so-called substructural logics. We intend to study also several kinds of residuated structures (such as lattices, residuated l-groupoids, pocrims, groups etc.). Further investigation covers in particular the analysis of existing logics and the development of new proof theories for logics with a modified syntax and semantics which may provide new insights and hence lead to new algebraic methods and tools in the area of logics. Further, we plan to continue our research of effect algebras and their generalizations and how they can be organized into residuated groupoids. As one of the main tools we intend to describe congruences on these algebras. Being independent of the signature of the effect algebra, it is natural to consider these structures only up to term-equivalence which motivates to study clones determined by effect algebras and related structures.

Kategorie VaV

ZV - Základní výzkum

CEP - hlavní obor

BA - Obecná matematika

CEP - vedlejší obor

—

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

Hodnocení poskytovatelem

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

Zhodnocení výsledků projektu

Projekt byl realizován v rámci Aktivity MOBILITY, jejímž hlavním cílem je navázání a prohlubování kontaktů se zahraničními výzkumnými institucemi. Neprobíhá tedy kontrola dílčích výstupů projektu prostřednictvím hodnotící komise, avšak je kontrolována správnost čerpání přidělených financí a přiměřenost jejich využití.

Zahájení řešení

1. 1. 2017

Ukončení řešení

31. 12. 2018

Poslední stav řešení

U - Ukončený projekt

Poslední uvolnění podpory

26. 2. 2018

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

CEP19-MSM-7A-U/01:1

Datum dodání záznamu

18. 6. 2019

Celkové uznané náklady

153 tis. Kč

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

153 tis. Kč

Ostatní veřejné zdroje financování

0 tis. Kč

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

0 tis. Kč