Ricerca | Logica Matematica
Ricerca Logica Matematica
Attività di ricerca
Il Dipartimento di Matematica comprende un gruppo di Logica Matematica. Alcuni argomenti di ricerca sono:
- Logica algebrica: logiche a più valori e loro semantiche algebriche, in particolare logica di Lukasiewicz e MV-algebre. I metodi utilizzati sono molteplici e includono l'algebra, la geometria algebrica e la teoria delle categorie.
- Fondamenti della Fuzzy Logic e probabilità su eventi fuzzy. Studio di operatori-stato su MV-algebre.
- Logica modale (espansa con operatori di punto fisso).
Vedi anche http://logica.dipmat.unisa.it
Componenti
BEDROOD Mahta | Membro | ||
CAPPELLETTI Andrea | Membro | ||
DE BERARDINIS Matteo | Membro | ||
DI NOLA Antonio | Membro | ||
LAPENTA Serafina | Membro | ||
LENZI Giacomo | Membro | ||
NAPOLITANO Sebastiano | Membro | ||
SPADA Luca | Membro |
Laboratori
Laboratorio di Automated ReasoningLAuRa |