Zovšeobecnená Galoisova logika: relačná sémantika neklasických logických kalkulov

Pôvodný názov:

Generalized Galois Logics: Relational Semantics of Nonclassical Logical Calculi

Obsah knihy:

Neklasické logiky zohrávajú v posledných rokoch čoraz väčšiu úlohu v rôznych disciplínach od matematiky a informatiky až po lingvistiku a filozofiu.

Zovšeobecnená Galoisova logika rozvíja jednotný rámec relačnej sémantiky na sprostredkovanie medzi logickými kalkulami a ich sémantikou prostredníctvom algebry. Tento zväzok sa zaoberá normálnymi modálnymi logikami, ako sú K a S5, a subštrukturálnymi logikami vrátane logiky relevancie, lineárnej logiky a Lambekových kalkulov.

Autori sa rovnako obratne venujú aj menej známym a novým logickým systémom.