-
Proofs nets and the categorial flow of information
International audience -
The Logic of Categorial Grammars: Lecture Notes
These lecture notes present categorial grammars as deductive systems, and include detailed proofs of their main properties. The first chapter deals with Ajdukiewicz... -
Resource Lambda-Calculus: the Differential Viewpoint
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... -
Some proof theoretical remarks on quantification in ordinary language
This paper surveys the common approach to quantification and generalised quantification in formal linguistics and philosophy of language. We point out how this general... -
Proofs, resaoning and the metamorphosis of logic
This dataset has no description
-
On the Computational Meaning of Axioms
An anti-realist theory of meaning suitable for both logical and proper axioms is investigated. As opposed to other anti-realist accounts, like Dummett-Prawitz... -
Structural Interactions and Absorption of Structural Rules in BI Sequent Calc...
Development of a contraction-free BI sequent calculus, be it in the sense of G3i or G4i, has not been successful in literature. We address the open problem by... -
Corrigendum to Galmiche's and Perrier's ``On Proof Normalization in Linear Lo...
Article dans revue scientifique avec comité de lecture. -
A PSPACE-complete fragment of second-order linear logic
Article dans revue scientifique avec comité de lecture. -
Labelled Proof Systems for Intuitionistic Provability
Contribution à un ouvrage. -
Special Issue on Proof Theory of Concurrent Object-Oriented Programming
Ouvrage (éditeur).
