Logic and Implication: An Introduction to the General Algebraic Study of Non-Classical Logics
Niniejsza monografia przedstawia ogólną teorię logik słabo implikacyjnych, rodziny obejmującej ogromną liczbę nieklasycznych logik badanych w literaturze, koncentrując się głównie na abstrakcyjnym badaniu relacji między logikami a ich algebraiczną semantyką. Może również służyć jako wprowadzenie do (abstrakcyjnej) logiki algebraicznej, zarówno propozycjonalnej, jak i pierwszego rzędu, ze szczególnym uwzględnieniem roli implikacji, łączników kratowych i rezydualnych oraz uogólnionych dysjunkcji.
Opierając się na swoich ostatnich pracach, autorzy opracowują potężne jednolite ramy do badania logik nieklasycznych. W samodzielnym i dydaktycznym stylu, zaczynając od bardzo elementarnych pojęć, budują ogólną teorię ze znaczną liczbą abstrakcyjnych wyników.
Teoria ta jest następnie stosowana do uzyskania licznych wyników dla znanych rodzin logik i ich algebraicznych odpowiedników, w szczególności dla logik superintuicjonistycznych, modalnych, substrukturalnych, rozmytych i odpowiednich. Książka może zainteresować szerokie grono odbiorców, w szczególności studentów i naukowców z dziedzin matematyki, filozofii, informatyki i dziedzin pokrewnych, poszukujących wprowadzenia do ogólnej teorii logik nieklasycznych i ich algebraicznej semantyki.
