Меню
КартаВръзкиТемиБългарияНощта (K-TRIO)Мария Склодовска-КюриЗа ученициЗа учителиМетодологияИзненадай ме
H2020Обмен на изследователи2021–2026

MOSAIC · Modalities in Substructural Logics: Theory, Methods and Applications

„Хоризонт 2020“ — Действия „Мария Склодовска-Кюри“

Период
2021-09-01 → 2026-04-30
Финансиране от ЕС
1 016 600 €
Участници
35
Схема
MSCA-RISE

Линиите свързват координатора с партньорите.

Накратко на български

Модалните и субструктурните логики изследват различни начини за определяне на истината, като например разликите между знанието, вярванията и времето. Те помагат за по-доброто представяне на знания, правното разсъждение и сигурността на данните.

Този кратък обзор е генериран от изкуствен интелект

Кратко обяснение, генерирано от езиков модел по текста на CORDIS. Оригиналът е по-долу.

Резултати накратко

Modalities in Substructural Logics: Theory, Methods and Applications

Modal logics are a family of formal systems based on classical logic that improve its expressive power allowing to reason about modes of truth: epistemic, doxastic, temporal, normative, information updates, etc. Substructural logics are weaker deductive systems than classical logic that can account for notions of truth other than Boolean, such as constructive proofs and computation (intuitionistic logic), degrees of truth (fuzzy logics), local contradictions (paraconsistent logics), and others. The objectives are: (1) Putting forward a comprehensive and unifying logico-mathematical study of substructural modal logics, that is, substructural logics with modalities. (2) Exploring the application of substructural modal logics outside the bounds of mathematical logic and, in particular, in the areas of knowledge representation; legal reasoning; data privacy and security; logical analysis of natural language.

Текст от CORDIS, на английски · Данни: CORDIS, © Европейски съюз

Цел на проекта

Modal logics are a family of formal systems based on classical logic which aim at improving the expressive power of the classical calculus allowing to reason about “modes of truth”. The aim of the present proposal is to put forward a systematic study of substructural modal logics, understood as those modal logics in which the modal operators are based upon the general ground of substructural logics, weaker deductive systems than classical logic. Our aim is also to explore the applications of substructural modal logics outside the bounds of mathematical logic and, in particular, in the areas of knowledge representation; legal reasoning; data privacy and security; logical analysis of natural language.

Оригинален текст от CORDIS (на английски).

Участници

Връзки

Данни: CORDIS, © Европейски съюз