2005 | ||
---|---|---|
10 | Marcel Crabbé: Cuts and gluts. Journal of Applied Non-Classical Logics 15(3): 249-263 (2005) | |
2004 | ||
9 | EE | Marcel Crabbé: On the Notion of Substitution. Logic Journal of the IGPL 12(2): 111-124 (2004) |
2000 | ||
8 | Marcel Crabbé: The Rise and Fall of Typed Sentences. J. Symb. Log. 65(4): 1858-1862 (2000) | |
7 | EE | Marcel Crabbé: On the Set of Atoms. Logic Journal of the IGPL 8(6): (2000) |
1999 | ||
6 | Marcel Crabbé: The 3-Stratifiable Theorems of NFUinfinity. Notre Dame Journal of Formal Logic 40(2): 174-182 (1999) | |
1994 | ||
5 | Marcel Crabbé: The Hauptsatz for Stratified Comprehension: A Semantic Proof. Math. Log. Q. 40: 481-489 (1994) | |
1992 | ||
4 | Marcel Crabbé: On NFU. Notre Dame Journal of Formal Logic 33(1): 112-119 (1992) | |
1991 | ||
3 | Marcel Crabbé: Stratification and Cut-Elimination. J. Symb. Log. 56(1): 213-226 (1991) | |
1984 | ||
2 | Marcel Crabbé: Typical Ambiguity and the Axiom of Choice. J. Symb. Log. 49(4): 1074-1078 (1984) | |
1982 | ||
1 | Marcel Crabbé: On the Consistency of an Impredicative Subsystem of Quine's NF. J. Symb. Log. 47(1): 131-136 (1982) |