-
Generation with Semantic Proof Nets
Categorial grammars and Lambek calculus found a nice embedding in Linear Logic, and a lot of work have presented proof nets uses for linguistic purposes, with a... -
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... -
Logic in the Hyperfinite Factor: Geometry of Interaction and Complexity
This work is a study of the geometry of interaction in the hyperfinite factor introduced by Jean-Yves Girard, and of its relations with ancient constructions. We start... -
A semantic measure of the execution time in linear logic
International audience -
Strong normalization property for second order linear logic
International audience -
Proofs as Executions
International audience -
Resource Lambda-Calculus: the Differential Viewpoint
International audience -
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... -
Elementary Linear Logic Revisited for Polynomial Time and an Exponential Time...
International audience -
Light logics and optimal reduction: Completeness and complexity
International audience
