Generalized Galois Logics: Relational Semantics of Nonclassical Logical Calculi
Logiki nieklasyczne odgrywają w ostatnich latach coraz większą rolę w różnych dyscyplinach, od matematyki i informatyki po językoznawstwo i filozofię.
Uogólniona logika Galois rozwija jednolite ramy semantyki relacyjnej, aby pośredniczyć między rachunkami logicznymi a ich semantyką za pomocą algebry. W niniejszym tomie omówiono zwykłe logiki modalne, takie jak K i S5, oraz logiki substrukturalne, w tym logikę relewancji, logikę liniową i rachunek Lambka.
Autorzy traktują również mniej znane i nowe systemy logiczne z równą zręcznością.