-
Pomset Logic as a Calculus of Directed Cographs
We give an abstract formulation of proof-structures and nets for pomset logic i.e. linear logic enriched with a non commutative and self-dual connective. A... -
Handsome Proof-nets: R&B-Graphs, Perfect Matchings and Series-parallel Graphs
The main interest of this paper is to provide proof-nets, a proof syntax which identify proofs with the same meaning, with a standard graph-theoretical description.... -
A self-dual modality for "before" in the category of coherence spaces and in ...
In his paper ``A new constructive logic: classical logic'' Jean-Yves Girard brought up the question of a self-dual modality. This note provides a semantical solution... -
On the relation between coherence semantics and multiplicative proof nets
It is known that (mix) proof nets admits a coherence semantics, computed as a set of experiments. We prove here the converse: a proof structure is shown to be a proof... -
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).
