Hiroakira Ono sulle logiche sottostrutturali

Titolo originale:

Hiroakira Ono on Substructural Logics

Contenuto del libro:

Questo volume è dedicato al lavoro di una vita di Hiroakira Ono sulle logiche sottostrutturali.

I capitoli, scritti da accademici affermati, coprono argomenti relativi all'algebra universale, alla logica algebrica e al calcolo di Lambek completo; il libro include una breve biografia di Hiroakira Ono. Il libro inizia con un'analisi dettagliata dell'algebra universale, della logica algebrica astratta, delle dualità topologiche e delle connessioni con l'informatica.

Contiene inoltre contributi specialistici sulle connessioni con i linguaggi formali (riconoscibilità nei latticini residui e connessioni con la proprietà di incorporazione finita), sui sistemi di copertura per le logiche modali sottostrutturali, sui risultati delle proprietà di esistenza e di disgiunzione e infine su uno studio della conservatività delle espansioni. Questo libro sarà di interesse soprattutto per i ricercatori che lavorano nel campo della logica algebrica e non classica.