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 |
