On the Period of Sequences (An(p)) in Intuitionistic Propositional Calculus. - Wim Ruitenburg (J. Symb. Log., 1984)

Notions of Relative Ubiquity for Invariant Sets of Relational Structures. - Paul Bankston; Wim Ruitenburg (J. Symb. Log., 1990)

Inequality in Constructive Mathematics. - Wim Ruitenburg (Notre Dame J. Formal Log., 1991)

Basic Propositional Calculus I. - Mohammad Ardeshir; Wim Ruitenburg (Math. Log. Q., 1998)

Basic Predicate Calculus. - Wim Ruitenburg (Notre Dame J. Formal Log., 1998)

Basic Logic, K4, and Persistence. - Wim Ruitenburg (Stud Logica, 1999)

Basic Propositional Calculus II. Interpolation. - Mohammad Ardeshir; Wim Ruitenburg (Arch. Math. Log., 2001)

Intuitionistic axiomatizations for bounded extension Kripke models. - Mohammad Ardeshir; Wim Ruitenburg; Saeed Salehi (Ann. Pure Appl. Log., 2003)

Kripke submodels and universal sentences. - Ben Ellison; Jonathan Fleischmann; Dan McGinn; Wim Ruitenburg (Math. Log. Q., 2007)

Quantifier Elimination for a Class of Intuitionistic Theories. - Ben Ellison; Jonathan Fleischmann; Dan McGinn; Wim Ruitenburg (Notre Dame J. Formal Log., 2008)

A new Glivenko Theorem. - Majid Alizadeh; Mohammad Ardeshir; Wim Ruitenburg (TACL, 2013)

Boolean Algebras in Visser Algebras. - Majid Alizadeh; Mohammad Ardeshir; Wim Ruitenburg (Notre Dame J. Formal Log., 2016)

Latarres, Lattices with an Arrow. - Mohammad Ardeshir; Wim Ruitenburg (Stud Logica, 2018)

Kolmogorov and Kuroda Translations Into Basic Predicate Logic. - Mohammad Ardeshir; Wim Ruitenburg (Log. J. IGPL, 2024)