Projektbeschreibung
Worin die „Konsequenzen“ von weniger Struktur bestehen
Logik ist eine Disziplin, die korrektes Denken und wahre Aussagen innerhalb einer formalen Umgebung untersucht. Sprachen, Systeme zum logischen Schließen, Syntax und Semantik sind ihre Grundwerkzeuge. Klassische Modallogiken bilden eine Familie von Logiken, die sich auf Wahrheitsmodi konzentrieren, d. h. sie analysieren, ob eine Aussage in einer gegebenen Situation „notwendigerweise“ oder „möglicherweise“ wahr ist. Das EU-finanzierte Projekt MOSAIC betrachtet nun Modallogiken auf der Basis des allgemeinen Rahmens der substrukturellen Logiken genauer. Letztere sind eine umfangreiche Klasse formaler Systeme, zu denen klassische, intuitionistische, mehrwertige, parakonsistente und viele weitere Logiken zählen. Über die theoretische Analyse hinaus zielt das Projekt MOSAIC außerdem auf die Entwicklung von Werkzeugen und Verfahren für substrukturelle modale Logiken ab, um auf verschiedene Bereiche der angewandten Wissenschaften wie zum Beispiel die künstliche Intelligenz, den Sicherheitssektor und rechtliche Erwägungen Einfluss zu nehmen.
Ziel
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.
Wissenschaftliches Gebiet (EuroSciVoc)
CORDIS klassifiziert Projekte mit EuroSciVoc, einer mehrsprachigen Taxonomie der Wissenschaftsbereiche, durch einen halbautomatischen Prozess, der auf Verfahren der Verarbeitung natürlicher Sprache beruht.
CORDIS klassifiziert Projekte mit EuroSciVoc, einer mehrsprachigen Taxonomie der Wissenschaftsbereiche, durch einen halbautomatischen Prozess, der auf Verfahren der Verarbeitung natürlicher Sprache beruht.
- NaturwissenschaftenMathematikreine Mathematikdiskrete Mathematikmathematische Logik
- NaturwissenschaftenInformatik und InformationswissenschaftenWissensverarbeitung
Sie müssen sich anmelden oder registrieren, um diese Funktion zu nutzen
Wir bitten um Entschuldigung ... während der Ausführung ist ein unerwarteter Fehler aufgetreten.
Sie müssen sich authentifizieren. Ihre Sitzung ist möglicherweise abgelaufen.
Vielen Dank für Ihr Feedback. Sie erhalten in Kürze eine E-Mail zur Übermittlungsbestätigung. Wenn Sie sich für eine Benachrichtigung über den Berichtsstatus entschieden haben, werden Sie auch im Falle einer Änderung des Berichtsstatus benachrichtigt.
Schlüsselbegriffe
Programm/Programme
Aufforderung zur Vorschlagseinreichung
Andere Projekte für diesen Aufruf anzeigenKoordinator
28006 Madrid
Spanien
Auf der Karte ansehen
Beteiligte (21)
84084 Fisciano Sa
Auf der Karte ansehen
08193 Cerdanyola Del Valles
Auf der Karte ansehen
08007 Barcelona
Auf der Karte ansehen
1012WX Amsterdam
Auf der Karte ansehen
182 00 Praha
Auf der Karte ansehen
Beteiligung beendet
182 00 Praha 8
Auf der Karte ansehen
3012 Bern
Auf der Karte ansehen
87100 Torun
Auf der Karte ansehen
1040 Wien
Auf der Karte ansehen
20122 Milano
Auf der Karte ansehen
WC1E 6BT London
Auf der Karte ansehen
40126 Bologna
Auf der Karte ansehen
1081 HV Amsterdam
Auf der Karte ansehen
18022 Bourges Cedex
Auf der Karte ansehen
16126 Genova
Auf der Karte ansehen
3584 CS Utrecht
Auf der Karte ansehen
21100 Varese
Auf der Karte ansehen
09124 Cagliari
Auf der Karte ansehen
31-007 Krakow
Auf der Karte ansehen
771 47 Olomouc
Auf der Karte ansehen
53100 Siena
Auf der Karte ansehen
Partner (12)
Partnerorganisationen tragen zur Umsetzung der Aktion bei, unterzeichnen jedoch nicht die Finanzhilfevereinbarung.
C1425FQB Buenos Aires
Auf der Karte ansehen
Partnerorganisationen tragen zur Umsetzung der Aktion bei, unterzeichnen jedoch nicht die Finanzhilfevereinbarung.
13083 875 Campinas Sp
Auf der Karte ansehen
Partnerorganisationen tragen zur Umsetzung der Aktion bei, unterzeichnen jedoch nicht die Finanzhilfevereinbarung.
80208 Denver
Auf der Karte ansehen
Partnerorganisationen tragen zur Umsetzung der Aktion bei, unterzeichnen jedoch nicht die Finanzhilfevereinbarung.
0200 Canberra
Auf der Karte ansehen
Partnerorganisationen tragen zur Umsetzung der Aktion bei, unterzeichnen jedoch nicht die Finanzhilfevereinbarung.
2001 Johannesburg
Auf der Karte ansehen
Partnerorganisationen tragen zur Umsetzung der Aktion bei, unterzeichnen jedoch nicht die Finanzhilfevereinbarung.
3086 La Trobe University
Auf der Karte ansehen
Partnerorganisationen tragen zur Umsetzung der Aktion bei, unterzeichnen jedoch nicht die Finanzhilfevereinbarung.
59078-970 Natal
Auf der Karte ansehen
Partnerorganisationen tragen zur Umsetzung der Aktion bei, unterzeichnen jedoch nicht die Finanzhilfevereinbarung.
2006 Sydney
Auf der Karte ansehen
Partnerorganisationen tragen zur Umsetzung der Aktion bei, unterzeichnen jedoch nicht die Finanzhilfevereinbarung.
Orange
Auf der Karte ansehen
Partnerorganisationen tragen zur Umsetzung der Aktion bei, unterzeichnen jedoch nicht die Finanzhilfevereinbarung.
2601 Acton Act
Auf der Karte ansehen
Partnerorganisationen tragen zur Umsetzung der Aktion bei, unterzeichnen jedoch nicht die Finanzhilfevereinbarung.
4072 Brisbane
Auf der Karte ansehen
Partnerorganisationen tragen zur Umsetzung der Aktion bei, unterzeichnen jedoch nicht die Finanzhilfevereinbarung.
NM 88003-8001 Las Cruces
Auf der Karte ansehen