Wim Ruitenburg

15 papers Journal 14Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Constructive Interpretation of the Logical constants.
Bull. Symb. Log.
Mohammad Ardeshir, Wim Ruitenburg
2024 J jnl
Kolmogorov and Kuroda Translations Into Basic Predicate Logic.
Log. J. IGPL
Mohammad Ardeshir, Wim Ruitenburg
2018 J jnl
Latarres, Lattices with an Arrow.
Stud Logica
Mohammad Ardeshir, Wim Ruitenburg
2016 J jnl
Boolean Algebras in Visser Algebras.
Notre Dame J. Formal Log.
Majid Alizadeh, Mohammad Ardeshir, Wim Ruitenburg
2013 — conf
A new Glivenko Theorem.
TACL
Majid Alizadeh, Mohammad Ardeshir, Wim Ruitenburg
2008 J jnl
Quantifier Elimination for a Class of Intuitionistic Theories.
Notre Dame J. Formal Log.
Ben Ellison, Jonathan Fleischmann, Dan McGinn, Wim Ruitenburg
2007 J jnl
Kripke submodels and universal sentences.
Math. Log. Q.
Ben Ellison, Jonathan Fleischmann, Dan McGinn, Wim Ruitenburg
2003 J jnl
Intuitionistic axiomatizations for bounded extension Kripke models.
Ann. Pure Appl. Log.
Mohammad Ardeshir, Wim Ruitenburg, Saeed Salehi
2001 J jnl
Basic Propositional Calculus II. Interpolation.
Arch. Math. Log.
Mohammad Ardeshir, Wim Ruitenburg
1999 J jnl
Basic Logic, K4, and Persistence.
Stud Logica
Wim Ruitenburg
1998 J jnl
Basic Predicate Calculus.
Notre Dame J. Formal Log.
Wim Ruitenburg
1998 J jnl
Basic Propositional Calculus I.
Math. Log. Q.
Mohammad Ardeshir, Wim Ruitenburg
1991 J jnl
Inequality in Constructive Mathematics.
Notre Dame J. Formal Log.
Wim Ruitenburg
1990 J jnl
Notions of Relative Ubiquity for Invariant Sets of Relational Structures.
J. Symb. Log.
Paul Bankston, Wim Ruitenburg
1984 J jnl
On the Period of Sequences (A
J. Symb. Log.
Wim Ruitenburg