The following pages link to Marcel Crabbé (Q190344):
Displaying 31 items.
- The formal theory of syllogisms (Q487215) (← links)
- Cantor-Bernstein's theorem in a semiring (Q645300) (← links)
- On NFU (Q1187539) (← links)
- (Q1233434) (redirect page) (← links)
- Prelogic of logoi (Q1233435) (← links)
- Axiomatisation of substitution (Q1433380) (← links)
- The rise and fall of typed sentences (Q2710614) (← links)
- NFSI IS NOT INCLUDED IN NF<sub>3</sub> (Q2976373) (← links)
- REASSURANCE FOR THE LOGIC OF PARADOX (Q3096824) (← links)
- ON THE REDUCTION OF TYPE THEORY (Q3216641) (← links)
- (Q3216642) (← links)
- (Q3325718) (← links)
- (Q3367500) (← links)
- Cuts and gluts (Q3647229) (← links)
- Typical ambiguity and the axiom of choice (Q3689178) (← links)
- (Q3778016) (← links)
- (Q3895431) (← links)
- On the consistency of an impredicative subsystem of Quine's NF (Q3947653) (← links)
- Stratification and cut-elimination (Q3981455) (← links)
- (Q4063410) (← links)
- (Q4088819) (← links)
- (Q4117831) (← links)
- Ambiguity and stratification (Q4189270) (← links)
- (Q4295870) (← links)
- The Hauptsatz for Stratified Comprehension: A Semantic Proof (Q4315324) (← links)
- On the set of atoms (Q4521283) (← links)
- On the Notion of Substitution (Q4821649) (← links)
- (Q4925911) (← links)
- L'axiome de l'infini dans NFU (Q4937470) (← links)
- (Q5695181) (← links)
- The 3-stratifiable theorems of \(\text{NFU}_\infty\) (Q5937850) (← links)