Logica Matematica

Ricerca Logica Matematica

Attività di ricerca

Il Dipartimento di Matematica comprende un gruppo di Logica Matematica. Alcuni argomenti di ricerca sono:

  1. 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.
  2. Fondamenti della Fuzzy Logic e probabilità su eventi fuzzy. Studio di operatori-stato su MV-algebre.
  3. Logica modale (espansa con operatori di punto fisso).

Vedi anche http://logica.dipmat.unisa.it

Componenti

BEDROOD MahtaMembro
CAPPELLETTI AndreaMembro
DE BERARDINIS MatteoMembro
DI NOLA AntonioMembro
LAPENTA SerafinaMembro
LENZI GiacomoMembro
NAPOLITANO SebastianoMembro
SPADA LucaMembro

Laboratori

Laboratorio di Automated ReasoningLAuRa

Allegati

Logica Matematica