Willem Johannes "Wim" Blok (1947–2003) was a Dutch

logician Logic is the study of correct reasoning. It includes both Mathematical logic, formal and informal logic. Formal logic is the science of Validity (logic), deductively valid inferences or of logical truths. It is a formal science investigating h ...

who made major contributions to

algebraic logic In mathematical logic, algebraic logic is the reasoning obtained by manipulating equations with free variables. What is now usually called classical algebraic logic focuses on the identification and algebraic description of models appropriate fo ...

universal algebra Universal algebra (sometimes called general algebra) is the field of mathematics that studies algebraic structures themselves, not examples ("models") of algebraic structures. For instance, rather than take particular Group (mathematics), groups as ...

, and modal logic. His important achievements over the course of his career include "a brilliant demonstration of the fact that various techniques and results that originated in universal algebra can be used to prove significant and deep theorems in modal logic." Blok began his career in 1973 as an algebraist investigating the varieties of

interior algebra In abstract algebra, an interior algebra is a certain type of algebraic structure that encodes the idea of the topological interior of a set. Interior algebras are to topology and the modal logic S4 what Boolean algebras are to set theory and o ...

s at the

University of Illinois at Chicago The University of Illinois Chicago (UIC) is a public research university in Chicago, Illinois. Its campus is in the Near West Side community area, adjacent to the Chicago Loop. The second campus established under the University of Illinois s ...

. Following the 1976 completion of his Ph.D. on that topic, he continued on to study more general varieties of modal algebras. As an algebraist, Blok "was recognised by the modal logic community as one of the most influential modal logicians" by the end of the 1970s. He published many papers in the '' Reports on Mathematical Logic'', served as a member on their editorial board, and was one of their guest editors. Along with Don Pigozzi, Wim Blok co-authored the monograph '' Algebraizable Logics'', which began the field now known as

abstract algebraic logic In mathematical logic, abstract algebraic logic is the study of the algebraization of deductive systems arising as an abstraction of the well-known Lindenbaum–Tarski algebra, and how the resulting algebras are related to logical systems.Font, 200 ...

. He died in a car accident on November 30, 2003.

References

1947 births 2003 deaths Dutch logicians Modal logicians {{europe-mathematician-stub

See also

References