Marcel CrabbéTextes téléchargeablesNotions de logique. Une introduction à la logique du premier ordre: lois logiques, raisonnements valides, paradoxes, notion de modèle, calcul des séquents, théorème de complétude.
La loglangue facile en 15 leçons. Un cours élémentaire pour apprendre à écrire et, accessoirement, à parler la langue de la logique contemporaine.
Introduction à la logique des syllogismes. Un exposé synthétique des techniques de base de la logique ancienne. Articles plus ou moins récentsAmbiguous Cardinals. Proceedings of the 70th anniversary NF meeting in Cambridge (2009).
Une élimination des coupures ne tolérant pas l'extensionnalité. Logique et Analyse, Série I, Volume 189-192 (2006), pp. 33-41.
Cuts and Gluts. Journal of Applied Non-Classical Logics, Volume 15 (2005), Number 3, pp. 249-263.
L'égalité et l'extensionnalité. Logique et Analyse, Série I, Volume 185-188 (2004), pp. 365-374.
Une axiomatisation de la substitution. Comptes rendus de l'Académie des Sciences de Paris, Série I, Volume 338 (2004), pp. 433-436.
On the Notion of Substitution. Logic Journal of the IGPL, Volume 12 (2004), Number 2, pp. 111-124.
The Formal Theory of Syllogisms. The Review of Modern Logic,Volume 9 (2001-2003), Number 1-2, pp. 29-52.
Soyons positifs : la complétude de la théorie naïve des ensembles. InéditsNF en un nombre fini d'axiomes. (1973)
Non-normalisation de ZF. (Kiel 1974. Compte rendu dans G. Sundholm, "Review of Michael Dummett, Elements of Intuitionism", page 93)
La question de la cohérence de NF. (1975)
L'interprétation prouvabiliste de la logique modale. (1982)
L'interprétation prouvabiliste de la logique modale. (1982)
|
