Willem Blok

Willem Blok died in an automobile accident on 30 November 2003.

Research

Interests

1. Logics and their algebraic structures, in particular
   • abstract algebraic logic
   • residuated structures
   • Boolean algebras with operators
2. Universal Algebra

Publications

• DVI- file of Stipulations, multivalued logic, and De Morgan algebras, with J. Berman; appeared in International Journal for Multiple-valued Logic, 2001
• DVI- file of Algebraic Semantics for Deductive Systems, with J. Rebagliato; to appear in Studia Logica
• DVI- file of Komori identities in algebraic logic, with S. LaFalce; appeared in Reports on Mathematical Logic, 2001
• DVI-file of The finite embeddability property for residuated lattices, pocrims and BCK-algebras, with C. J. van Alten; to appear in Algebra Universalis.

Miscellaneous

• For a series of lectures given with B. Jonsson at the symposium "Algebraic Structures for Logic", held at New Mexico State University, Las Cruces, Jan 8-12 1999, see the webpage .
• In November 2002 a workshop on "Algebras for Substructural Logics" was held at JAIST, Ishikawa, Japan. This was a follow-up of a similar event in 1999; see the webpage for program, participants and photos of the meeting.
• I am an editor of Studia Logica and Algebra Universalis.

Annual Meeting of the ASL at UIC, June 1-4 2003

Teaching

• Math 300: Writing for Mathematics. See the webpage for syllabus, assignments and links.
• Math 180: Calculus I. See the departmental webpage for general information on Math 180, as well as assignments; see my own Math 180 webpage for information specific to the section taught by me.