Wim Blok

Willem Johannes "Wim" Blok (1947–2003) var en holländsk logiker som gjorde stora bidrag till algebraisk logik , universell algebra och modal logik . Hans viktiga prestationer under loppet av hans karriär inkluderar "en lysande demonstration av det faktum att olika tekniker och resultat som har sitt ursprung i universell algebra kan användas för att bevisa betydande och djupa satser inom modal logik."

Blok började sin karriär 1973 som en algebraist som undersökte varianter av inre algebror vid University of Illinois i Chicago . Efter att 1976 avslutat sin doktorsexamen. om det ämnet fortsatte han att studera mer allmänna varianter av modala algebror . Som en algebraist, "erkändes Blok av den modala logikgemenskapen som en av de mest inflytelserika modala logikerna" i slutet av 1970-talet. Han publicerade många artiklar i Reports on Mathematical Logic , tjänade som medlem i deras redaktion och var en av deras gästredaktörer. Tillsammans med Don Pigozzi var Wim Blok medförfattare till monografin Algebraizable Logics , som började det område som nu är känt som abstrakt algebraisk logik .

Han dog i en bilolycka den 30 november 2003.

Se även

• Abstrakt algebraisk logik
• Blok–Esakia isomorfism
• Leibniz operatör