Funkční algebry a uspořádané struktury v logice a fúzi dat

Poskytovatel

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

Program

Podpora mobility výzkumných pracovníků a pracovnic v rámci mezinárodní spolupráce ve VaVaI

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-17220/2018-2

Název projektu anglicky

Function algebras and ordered structures related to logic and data fusion

Anotace anglicky

Function algebras and ordered structures form an important tool in the prevailing majority of algebraic studies. The goal of the project is twofold: to explore several important classes (clones) of aggregation functions on bounded lattices especially from the point of view of their generating sets and to employ the new orderered structures 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 also 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. 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. (Chajda, Dorfer, Eigenthaler, Länger, Lolic). 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. (Chajda, Länger, Behrisch). Since there already exists a widely developed theory of classical structures like rings, semirings, near-rings etc., we aim to find connections among these structures. In particular, we intend to classify which semirings allow residuation and, conversely, which residuated structures can be organized into semiring-like algebras. (Chajda, Doležalová, Länger)

Kategorie VaV

ZV - Základní výzkum

OECD FORD - hlavní obor

10101 - Pure mathematics

OECD FORD - vedlejší obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

OECD FORD - další vedlejší obor

10102 - Applied mathematics

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

AF - Dokumentace, knihovnictví, práce s informacemi<br>BA - Obecná matematika<br>BC - Teorie a systémy řízení<br>BD - Teorie informace<br>IN - Informatika

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

Ukončení řešení

31. 12. 2021

Poslední stav řešení

U - Ukončený projekt

Poslední uvolnění podpory

3. 3. 2021

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

CEP22-MSM-8J-U

Datum dodání záznamu

1. 7. 2022

Celkové uznané náklady

146 tis. Kč

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

146 tis. Kč

Ostatní veřejné zdroje financování

0 tis. Kč

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

0 tis. Kč