Marcel Crabbé

13 papers Journal 13
YearRankTypeTitle / Venue / Authors
2016 J jnl
Nfsi is not Included in NF3.
J. Symb. Log.
Marcel Crabbé
2011 J jnl
Reassurance for the Logic of Paradox.
Rev. Symb. Log.
Marcel Crabbé
2005 J jnl
Cuts and gluts.
J. Appl. Non Class. Logics
Marcel Crabbé
2004 J jnl
On the Notion of Substitution.
Log. J. IGPL
Marcel Crabbé
2000 J jnl
On the Set of Atoms.
Log. J. IGPL
Marcel Crabbé
2000 J jnl
The Rise and Fall of Typed Sentences.
J. Symb. Log.
Marcel Crabbé
1999 J jnl
The 3-Stratifiable Theorems of NFU
Notre Dame J. Formal Log.
Marcel Crabbé
1994 J jnl
The Hauptsatz for Stratified Comprehension: A Semantic Proof.
Math. Log. Q.
Marcel Crabbé
1992 J jnl
On NFU.
Notre Dame J. Formal Log.
Marcel Crabbé
1991 J jnl
Stratification and Cut-Elimination.
J. Symb. Log.
Marcel Crabbé
1984 J jnl
Typical Ambiguity and the Axiom of Choice.
J. Symb. Log.
Marcel Crabbé
1983 J jnl
On the Reduction of Type Theory.
Math. Log. Q.
Marcel Crabbé
1982 J jnl
On the Consistency of an Impredicative Subsystem of Quine's NF.
J. Symb. Log.
Marcel Crabbé