Opis projektu
Badanie „konsekwencji” mniejszej struktury
Logika to dyscyplina, która bada prawidłowe rozumowanie i prawdziwość zdań w środowisku formalnym. Jej podstawowymi narzędziami są języki, systemy dedukcyjne, składnia i semantyka. Klasyczne logiki modalne tworzą rodzinę logik skupiających się na modach prawdy. Służą one do analizy tego, czy w danej sytuacji zdanie jest prawdziwe „koniecznie”, czy „dopuszczalnie”. Finansowany ze środków UE projekt MOSAIC przyczyni się do bliższego zbadania logik modalnych opartych na ogólnym systemie logik substrukturalnych. Te ostatnie są szeroką klasą systemów formalnych, w której zawierają się między innymi logiki klasyczne, intuicjonistyczne, wielowartościowe i parakonsystentne. Projekt MOSAIC ma przyczynić się do przeprowadzenia analizy teoretycznej oraz do opracowania narzędzi i metod substrukturalnej logiki modalnej. W zamyśle ma to wpłynąć na kilka obszarów nauk stosowanych, takich jak sztuczna inteligencja, bezpieczeństwo i rozumowanie prawnicze.
Cel
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.
Dziedzina nauki (EuroSciVoc)
Klasyfikacja projektów w serwisie CORDIS opiera się na wielojęzycznej taksonomii EuroSciVoc, obejmującej wszystkie dziedziny nauki, w oparciu o półautomatyczny proces bazujący na technikach przetwarzania języka naturalnego.
Klasyfikacja projektów w serwisie CORDIS opiera się na wielojęzycznej taksonomii EuroSciVoc, obejmującej wszystkie dziedziny nauki, w oparciu o półautomatyczny proces bazujący na technikach przetwarzania języka naturalnego.
- nauki przyrodniczematematykamatematyka czystamatematyka dyskretnalogika matematyczna
- nauki przyrodniczeinformatykainżynieria wiedzy
Aby użyć tej funkcji, musisz się zalogować lub zarejestrować
Przepraszamy… podczas wykonywania operacji wystąpił nieoczekiwany błąd.
Wymagane uwierzytelnienie. Powodem może być wygaśnięcie sesji.
Dziękujemy za przesłanie opinii. Wkrótce otrzymasz wiadomość e-mail z potwierdzeniem zgłoszenia. W przypadku wybrania opcji otrzymywania powiadomień o statusie zgłoszenia, skontaktujemy się również gdy status ulegnie zmianie.
Słowa kluczowe
Program(-y)
Zaproszenie do składania wniosków
Zobacz inne projekty w ramach tego zaproszeniaSystem finansowania
MSCA-RISE - Marie Skłodowska-Curie Research and Innovation Staff Exchange (RISE)Koordynator
28006 Madrid
Hiszpania
Zobacz na mapie
Uczestnicy (21)
84084 Fisciano Sa
Zobacz na mapie
08193 Cerdanyola Del Valles
Zobacz na mapie
08007 Barcelona
Zobacz na mapie
1012WX Amsterdam
Zobacz na mapie
182 00 Praha
Zobacz na mapie
Zakończenie uczestnictwa
182 00 Praha 8
Zobacz na mapie
3012 Bern
Zobacz na mapie
87100 Torun
Zobacz na mapie
1040 Wien
Zobacz na mapie
20122 Milano
Zobacz na mapie
WC1E 6BT London
Zobacz na mapie
40126 Bologna
Zobacz na mapie
1081 HV Amsterdam
Zobacz na mapie
18022 Bourges Cedex
Zobacz na mapie
16126 Genova
Zobacz na mapie
3584 CS Utrecht
Zobacz na mapie
21100 Varese
Zobacz na mapie
09124 Cagliari
Zobacz na mapie
31-007 Krakow
Zobacz na mapie
771 47 Olomouc
Zobacz na mapie
53100 Siena
Zobacz na mapie
Partnerzy (12)
Organizacje partnerskie biorą udział w realizacji działania, jednak nie podpisują umowy o grant.
C1425FQB Buenos Aires
Zobacz na mapie
Organizacje partnerskie biorą udział w realizacji działania, jednak nie podpisują umowy o grant.
13083 875 Campinas Sp
Zobacz na mapie
Organizacje partnerskie biorą udział w realizacji działania, jednak nie podpisują umowy o grant.
80208 Denver
Zobacz na mapie
Organizacje partnerskie biorą udział w realizacji działania, jednak nie podpisują umowy o grant.
0200 Canberra
Zobacz na mapie
Organizacje partnerskie biorą udział w realizacji działania, jednak nie podpisują umowy o grant.
2001 Johannesburg
Zobacz na mapie
Organizacje partnerskie biorą udział w realizacji działania, jednak nie podpisują umowy o grant.
3086 La Trobe University
Zobacz na mapie
Organizacje partnerskie biorą udział w realizacji działania, jednak nie podpisują umowy o grant.
59078-970 Natal
Zobacz na mapie
Organizacje partnerskie biorą udział w realizacji działania, jednak nie podpisują umowy o grant.
2006 Sydney
Zobacz na mapie
Organizacje partnerskie biorą udział w realizacji działania, jednak nie podpisują umowy o grant.
Orange
Zobacz na mapie
Organizacje partnerskie biorą udział w realizacji działania, jednak nie podpisują umowy o grant.
2601 Acton Act
Zobacz na mapie
Organizacje partnerskie biorą udział w realizacji działania, jednak nie podpisują umowy o grant.
4072 Brisbane
Zobacz na mapie
Organizacje partnerskie biorą udział w realizacji działania, jednak nie podpisują umowy o grant.
NM 88003-8001 Las Cruces
Zobacz na mapie