Wim Ruitenburg

According to our database, Wim Ruitenburg authored at least 14 papers between 1984 and 2024.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2024

Kolmogorov and Kuroda Translations Into Basic Predicate Logic.

Mohammad Ardeshir, Wim Ruitenburg

Log. J. IGPL, January, 2024

2018

Latarres, Lattices with an Arrow.

Mohammad Ardeshir, Wim Ruitenburg

Stud Logica, 2018

2016

Boolean Algebras in Visser Algebras.

Majid Alizadeh, Mohammad Ardeshir, Wim Ruitenburg

Notre Dame J. Formal Log., 2016

2013

A new Glivenko Theorem.

Majid Alizadeh, Mohammad Ardeshir, Wim Ruitenburg

Proceedings of the TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28, 2013

2008

Quantifier Elimination for a Class of Intuitionistic Theories.

Ben Ellison, Jonathan Fleischmann, Dan McGinn, Wim Ruitenburg

Notre Dame J. Formal Log., 2008

2007

Kripke submodels and universal sentences.

Ben Ellison, Jonathan Fleischmann, Dan McGinn, Wim Ruitenburg

Math. Log. Q., 2007

2003

Intuitionistic axiomatizations for bounded extension Kripke models.

Mohammad Ardeshir, Wim Ruitenburg, Saeed Salehi

Ann. Pure Appl. Log., 2003

2001

Basic Propositional Calculus II. Interpolation.

Mohammad Ardeshir, Wim Ruitenburg

Arch. Math. Log., 2001

1999

Basic Logic, K4, and Persistence.

Wim Ruitenburg

Stud Logica, 1999

1998

Basic Predicate Calculus.

Wim Ruitenburg

Notre Dame J. Formal Log., 1998

Basic Propositional Calculus I.

Mohammad Ardeshir, Wim Ruitenburg

Math. Log. Q., 1998

1991

Inequality in Constructive Mathematics.

Wim Ruitenburg

Notre Dame J. Formal Log., 1991

1990

Notions of Relative Ubiquity for Invariant Sets of Relational Structures.

Paul Bankston, Wim Ruitenburg

J. Symb. Log., 1990

1984

On the Period of Sequences (Aⁿ(p)) in Intuitionistic Propositional Calculus.

Wim Ruitenburg

J. Symb. Log., 1984