Marcel Crabbé

Available identifiers

zbMath Open crabbe.marcelMaRDI QIDQ190344

List of research outcomes

Publication	Date of Publication	Type
NFSI IS NOT INCLUDED IN NF3	2017-04-28	Paper
The formal theory of syllogisms	2015-01-19	Paper
https://portal.mardi4nfdi.de/entity/Q4925911	2013-06-12	Paper
REASSURANCE FOR THE LOGIC OF PARADOX	2011-11-14	Paper
Cantor-Bernstein's theorem in a semiring	2011-11-14	Paper
Cuts and gluts	2009-11-30	Paper
https://portal.mardi4nfdi.de/entity/Q3367500	2006-01-24	Paper
https://portal.mardi4nfdi.de/entity/Q5695181	2005-10-11	Paper
On the Notion of Substitution	2004-10-21	Paper
Axiomatisation of substitution	2004-06-15	Paper
The rise and fall of typed sentences	2001-10-30	Paper
On the set of atoms	2001-07-24	Paper
The 3-stratifiable theorems of \(\text{NFU}_\infty\)	2001-07-17	Paper
L'axiome de l'infini dans NFU	2000-03-07	Paper
https://portal.mardi4nfdi.de/entity/Q4295870	1995-05-16	Paper
The Hauptsatz for Stratified Comprehension: A Semantic Proof	1994-12-08	Paper
On NFU	1992-07-22	Paper
Stratification and cut-elimination	1992-06-26	Paper
https://portal.mardi4nfdi.de/entity/Q3778016	1986-01-01	Paper
Typical ambiguity and the axiom of choice	1984-01-01	Paper
ON THE REDUCTION OF TYPE THEORY	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3216642	1983-01-01	Paper
On the consistency of an impredicative subsystem of Quine's NF	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3325718	1982-01-01	Paper
Ambiguity and stratification	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3895431	1978-01-01	Paper
Prelogic of logoi	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4117831	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4063410	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4088819	1975-01-01	Paper

Research outcomes over time

This page was built for person: Marcel Crabbé