Logica e implicazione: Un'introduzione allo studio algebrico generale delle logiche non classiche

Titolo originale:

Logic and Implication: An Introduction to the General Algebraic Study of Non-Classical Logics

Contenuto del libro:

Questa monografia presenta una teoria generale delle logiche debolmente implicative, una famiglia che comprende un vasto numero di logiche non classiche studiate in letteratura, concentrandosi principalmente sullo studio astratto della relazione tra le logiche e la loro semantica algebrica. Può servire anche come introduzione alla logica algebrica (astratta), sia proposizionale che del primo ordine, con particolare attenzione al ruolo dell'implicazione, dei connettivi reticolari e residui e delle disgiunzioni generalizzate.

Sulla base del loro recente lavoro, gli autori sviluppano un potente quadro uniforme per lo studio delle logiche non classiche. In uno stile autocontenuto e didattico, partendo da nozioni molto elementari, costruiscono una teoria generale con un numero consistente di risultati astratti. La teoria viene poi applicata per ottenere numerosi risultati per importanti famiglie di logiche e per le loro controparti algebriche, in particolare per logiche superintuizionistiche, modali, sottostrutturali, fuzzy e rilevanti.

Il libro può essere di interesse per un vasto pubblico, in particolare per studenti e studiosi di matematica, filosofia, informatica o aree affini, alla ricerca di un'introduzione a una teoria generale delle logiche non classiche e della loro semantica algebrica.