Logica Galois generalizată: Semantica relațională a calculelor logice non-clasice

Titlul original:

Generalized Galois Logics: Relational Semantics of Nonclassical Logical Calculi

Conținutul cărții:

Logica neclasică a jucat un rol tot mai important în ultimii ani în discipline care variază de la matematică și informatică la lingvistică și filosofie.

Generalized Galois Logics dezvoltă un cadru uniform de semantică relațională pentru a media între calculele logice și semantica acestora prin intermediul algebrei. Acest volum abordează logici modale normale, cum ar fi K și S5, și logici substructurale, inclusiv logica relevanței, logica liniară și calculele Lambek.

Autorii tratează, de asemenea, sisteme logice mai puțin cunoscute și noi cu aceeași îndemânare.