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
Cantor-Bernstein's theorem in a semiring	2011-11-14	Paper
REASSURANCE FOR THE LOGIC OF PARADOX	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
https://portal.mardi4nfdi.de/entity/Q3325718	1982-01-01	Paper
On the consistency of an impredicative subsystem of Quine's NF	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3895431	1978-01-01	Paper
Ambiguity and stratification	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Marcel Crabbé