-
Des logiques en psychiatrie. Application, paradoxes, réunification
International audience -
A Constructive Proof of Dependent Choice, Compatible with Classical Logic
1ère version rédigée en janvier 2011. Nombreuses corrections, et raffinements, appliqués après coup. -
A Proof-Theoretic Foundation of Abortive Continuations
International audience -
Classical call-by-need sequent calculi : The unity of semantic artifacts
International audience -
Towards a Theory of Proofs of Classical Logic
The questions <EM>"What is a proof?"</EM> and <EM>"When are two proofs the same?"</EM> are fundamental for proof theory. But for the most... -
Antirealism, Strict Finitism and Structural Rules
According to semantic antirealism, intuitionistic logic satisfies the requirement that truth should be constrained by provability in principle. Some philosophers have... -
On Jung and Lévi-Strauss unconscious: A brief comparison
Retracing the main common aspects between the anthropological thought and the psychoanalytic one, in this paper we will further discuss about the main common points... -
Polarizing Double Negation Translations
International audience -
Gradual Classical Logic for Attributed Objects
There is knowledge. There is belief. And there is tacit agreement.' 'We may talk about objects. We may talk about attributes of the objects. Or we may talk both about... -
Naming Proofs in Classical Propositional Logic
Rapport interne.
