default search action

combined dblp search
author search
venue search
publication search

ask others

Wim Ruitenburg

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/ArdeshirR24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/ArdeshirR24
Mohammad Ardeshir, Wim Ruitenburg:
Kolmogorov and Kuroda Translations Into Basic Predicate Logic. Log. J. IGPL 32(1): 47-63 (2024)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2018
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/ArdeshirR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/ArdeshirR18
Mohammad Ardeshir, Wim Ruitenburg:
Latarres, Lattices with an Arrow. Stud Logica 106(4): 757-788 (2018)
2016
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/AlizadehAR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/AlizadehAR16
Majid Alizadeh, Mohammad Ardeshir, Wim Ruitenburg:
Boolean Algebras in Visser Algebras. Notre Dame J. Formal Log. 57(1): 141-150 (2016)
2013
[c1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacl/AlizadehAR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacl/AlizadehAR13
Majid Alizadeh, Mohammad Ardeshir, Wim Ruitenburg:
A new Glivenko Theorem. TACL 2013: 191-194

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2008
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/EllisonFMR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/EllisonFMR08
Ben Ellison, Jonathan Fleischmann, Dan McGinn, Wim Ruitenburg:
Quantifier Elimination for a Class of Intuitionistic Theories. Notre Dame J. Formal Log. 49(3): 281-293 (2008)
2007
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/mlq/EllisonFMR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mlq/EllisonFMR07
Ben Ellison, Jonathan Fleischmann, Dan McGinn, Wim Ruitenburg:
Kripke submodels and universal sentences. Math. Log. Q. 53(3): 311-320 (2007)
2003
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/apal/ArdeshirRS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/ArdeshirRS03
Mohammad Ardeshir, Wim Ruitenburg, Saeed Salehi:
Intuitionistic axiomatizations for bounded extension Kripke models. Ann. Pure Appl. Log. 124(1-3): 267-285 (2003)
2001
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/aml/ArdeshirR01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/ArdeshirR01
Mohammad Ardeshir, Wim Ruitenburg:
Basic Propositional Calculus II. Interpolation. Arch. Math. Log. 40(5): 349-364 (2001)

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/Ruitenburg99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/Ruitenburg99
Wim Ruitenburg:
Basic Logic, K4, and Persistence. Stud Logica 63(3): 343-352 (1999)
1998
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/mlq/ArdeshirR98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mlq/ArdeshirR98
Mohammad Ardeshir, Wim Ruitenburg:
Basic Propositional Calculus I. Math. Log. Q. 44: 317-343 (1998)
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/Ruitenburg98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/Ruitenburg98
Wim Ruitenburg:
Basic Predicate Calculus. Notre Dame J. Formal Log. 39(1): 18-46 (1998)
1991
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/Ruitenburg91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/Ruitenburg91
Wim Ruitenburg:
Inequality in Constructive Mathematics. Notre Dame J. Formal Log. 32(4): 533-553 (1991)
1990
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/BankstonR90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/BankstonR90
Paul Bankston, Wim Ruitenburg:
Notions of Relative Ubiquity for Invariant Sets of Relational Structures. J. Symb. Log. 55(3): 948-986 (1990)

1980 – 1989

see FAQ

What is the meaning of the colors in the publication lists?

1984
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/Ruitenburg84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/Ruitenburg84
Wim Ruitenburg:
On the Period of Sequences (Aⁿ(p)) in Intuitionistic Propositional Calculus. J. Symb. Log. 49(3): 892-899 (1984)

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.