Willem Johannes "Wim" Blok (1947-2003) fue un lógico holandés que hizo importantes contribuciones a la lógica algebraica , el álgebra universal y la lógica modal . Sus importantes logros a lo largo de su carrera incluyen "una brillante demostración del hecho de que varias técnicas y resultados que se originaron en el álgebra universal pueden usarse para probar teoremas significativos y profundos en lógica modal". [1]
Blok comenzó su carrera en 1973 como algebrista investigando las variedades de álgebras interiores en la Universidad de Illinois en Chicago . Tras la finalización en 1976 de su Ph.D. sobre ese tema, continuó estudiando variedades más generales de álgebras modales . Como algebrista, Blok "fue reconocido por la comunidad de la lógica modal como uno de los lógicos modales más influyentes" a fines de la década de 1970. [2] Publicó muchos artículos en Reports on Mathematical Logic , fue miembro de su junta editorial y fue uno de sus editores invitados. [1] Junto con Don Pigozzi , Wim Blok fue coautor de la monografía Algebraizable Logicsque inició el campo ahora conocido como lógica algebraica abstracta . [3]
Murió en un accidente automovilístico el 30 de noviembre de 2003. [1]
Referencias
- ↑ a b c Font, Josep Maria (mayo de 2006). "En memoria de Wim Blok". Informes sobre lógica matemática (número especial). CiteSeerX 10.1.1.103.2741 .
- ^ Rautenberg, W .; Wolter, F .; Zakharyaschev, M. (junio de 2006). "Willem Blok y la lógica modal" . Studia Logica . 83 (1-3): 15-30. doi : 10.1007 / s11225-006-8296-2 . S2CID 17091670 . Consultado el 24 de junio de 2016 , a través de ResearchGate.
- ^ Raftery, James G. (marzo de 2004). "Trabajo de Willem Blok en lógica algebraica". Studia Logica . 76 (2): 155–160. doi : 10.1023 / B: STUD.0000032083.45504.62 . JSTOR 20016583 . S2CID 37825139 .