Uogólniona logika Galois: semantyka relacyjna nieklasycznych rachunków logicznych

Oryginalny tytuł:

Generalized Galois Logics: Relational Semantics of Nonclassical Logical Calculi

Zawartość książki:

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ą.