Logiche di Galois generalizzate: Semantica relazionale dei calcoli logici non classici

Titolo originale:

Generalized Galois Logics: Relational Semantics of Nonclassical Logical Calculi

Contenuto del libro:

Negli ultimi anni le logiche non classiche hanno avuto un ruolo crescente in discipline che vanno dalla matematica e dall'informatica alla linguistica e alla filosofia.

La Logica di Galois generalizzata sviluppa un quadro uniforme di semantica relazionale per mediare tra i calcoli logici e la loro semantica attraverso l'algebra. Questo volume tratta le logiche modali normali, come K e S5, e le logiche sottostrutturali, tra cui le logiche di rilevanza, la logica lineare e i calcoli di Lambek.

Gli autori trattano anche sistemi logici meno familiari e nuovi con la stessa destrezza.