Wim Ruitenburg

Publication Activity (10 Years)

Years Active: 1984-2024
Publications (10 Years): 3

Top Topics

Multiresolution

Computer Vision

Clifford Algebra

Temporal Reasoning

Top Venues

Notre Dame J. Formal Log.

Publications

Mohammad Ardeshir, Wim Ruitenburg
Kolmogorov and Kuroda Translations Into Basic Predicate Logic. Log. J. IGPL 32 (1) (2024)
Mohammad Ardeshir, Wim Ruitenburg
Latarres, Lattices with an Arrow. Stud Logica 106 (4) (2018)
Majid Alizadeh, Mohammad Ardeshir, Wim Ruitenburg
Boolean Algebras in Visser Algebras. Notre Dame J. Formal Log. 57 (1) (2016)
Majid Alizadeh, Mohammad Ardeshir, Wim Ruitenburg
A new Glivenko Theorem. TACL (2013)
Ben Ellison, Jonathan Fleischmann, Dan McGinn, Wim Ruitenburg
Quantifier Elimination for a Class of Intuitionistic Theories. Notre Dame J. Formal Log. 49 (3) (2008)
Ben Ellison, Jonathan Fleischmann, Dan McGinn, Wim Ruitenburg
Kripke submodels and universal sentences. Math. Log. Q. 53 (3) (2007)
Mohammad Ardeshir, Wim Ruitenburg, Saeed Salehi
Intuitionistic axiomatizations for bounded extension Kripke models. Ann. Pure Appl. Log. 124 (1-3) (2003)
Mohammad Ardeshir, Wim Ruitenburg
Basic Propositional Calculus II. Interpolation. Arch. Math. Log. 40 (5) (2001)
Wim Ruitenburg
Basic Logic, K4, and Persistence. Stud Logica 63 (3) (1999)
Mohammad Ardeshir, Wim Ruitenburg
Basic Propositional Calculus I. Math. Log. Q. 44 (1998)
Wim Ruitenburg
Basic Predicate Calculus. Notre Dame J. Formal Log. 39 (1) (1998)
Wim Ruitenburg
Inequality in Constructive Mathematics. Notre Dame J. Formal Log. 32 (4) (1991)
Paul Bankston, Wim Ruitenburg
Notions of Relative Ubiquity for Invariant Sets of Relational Structures. J. Symb. Log. 55 (3) (1990)
Wim Ruitenburg
(p)) in Intuitionistic Propositional Calculus. J. Symb. Log. 49 (3) (1984)