default search action

combined dblp search
author search
venue search
publication search

ask others

Marcel Crabbé

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – 2019

see FAQ

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

2016
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/Crabbe16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/Crabbe16
Marcel Crabbé:
Nfsi is not Included in NF3. J. Symb. Log. 81(3): 948-950 (2016)
2011
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/rsl/Crabbe11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rsl/Crabbe11
Marcel Crabbé:
Reassurance for the Logic of Paradox. Rev. Symb. Log. 4(3): 479-485 (2011)

2000 – 2009

see FAQ

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

2005
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/Crabbe05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/Crabbe05
Marcel Crabbé:
Cuts and gluts. J. Appl. Non Class. Logics 15(3): 249-263 (2005)
2004
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/Crabbe04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/Crabbe04
Marcel Crabbé:
On the Notion of Substitution. Log. J. IGPL 12(2): 111-124 (2004)
2000
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/Crabbe00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/Crabbe00
Marcel Crabbé:
On the Set of Atoms. Log. J. IGPL 8(6): 751-759 (2000)
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/Crabbe00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/Crabbe00
Marcel Crabbé:
The Rise and Fall of Typed Sentences. J. Symb. Log. 65(4): 1858-1862 (2000)

1990 – 1999

see FAQ

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

1999
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/Crabbe99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/Crabbe99
Marcel Crabbé:
The 3-Stratifiable Theorems of NFU_∞. Notre Dame J. Formal Log. 40(2): 174-182 (1999)
1994
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/mlq/Crabbe94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mlq/Crabbe94
Marcel Crabbé:
The Hauptsatz for Stratified Comprehension: A Semantic Proof. Math. Log. Q. 40: 481-489 (1994)
1992
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/Crabbe92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/Crabbe92
Marcel Crabbé:
On NFU. Notre Dame J. Formal Log. 33(1): 112-119 (1992)
1991
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/Crabbe91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/Crabbe91
Marcel Crabbé:
Stratification and Cut-Elimination. J. Symb. Log. 56(1): 213-226 (1991)

1980 – 1989

see FAQ

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

1984
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/Crabbe84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/Crabbe84
Marcel Crabbé:
Typical Ambiguity and the Axiom of Choice. J. Symb. Log. 49(4): 1074-1078 (1984)
1983
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/mlq/Crabbe83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mlq/Crabbe83
Marcel Crabbé:
On the Reduction of Type Theory. Math. Log. Q. 29(4): 235-237 (1983)
1982
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/Crabbe82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/Crabbe82
Marcel Crabbé:
On the Consistency of an Impredicative Subsystem of Quine's NF. J. Symb. Log. 47(1): 131-136 (1982)

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.