Office: Katharine Reed Cudahy Hall,
Room 384
Phone: (414) 288-5384
E-mail: wim.ruitenburg@marquette.edu
Homepage
Majid Alizadeh, Mohammad Ardeshir, and Wim Ruitenburg. Boolean Algebras in Visser Algebras, to appear.
Mohammad Ardeshir, Wim Ruitenburg and Saeed Saleh. Intuitionistic axiomatizations for bounded extension Kripke models, Annals of Pure and Applied Logic 124 (2003), pp. 267-285.
Wim Ruitenburg. Products of idempotent matrices over Hermite domains, Semigroup Forum 46 (1993), pp. 371--378.
Ray Mines, Fred Richman, Wim Ruitenburg. A Course in Constructive Algebra,
Universitext, Springer, 1988, 344 + xi pages.