![]() | ![]() |
| 2005 | ||
|---|---|---|
| 10 | Marcel Crabbé: Cuts and gluts. Journal of Applied Non-Classical Logics 15(3): 249-263 (2005) | |
| 2004 | ||
| 9 | 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 | Marcel Crabbé: On the Set of Atoms. Logic Journal of the IGPL 8(6): 751-759 (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) | |
Data released under the ODC-BY 1.0 license — See also our legal information page