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, Notre Dame Journal of Formal Logic 57, No. 1 (2016), pp. 141-150.
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.