Add to ORKGInternational audienceWe present a gentle introduction to the technical content of Girard's Transcendental Syntax suggesting a new framework for the proof theory of linear logic and an alternative understanding of proof-nets. In this framework, we investigate the emergence of logic from a model of computation related to tiling models and logic programs
To appear in Theory and Practice of Logic Programming (TPLP)International audienceSeveral formal sys...
From the publisher's description: "This book is the refereed proceedings of the First International ...
Linear logic as introduced by Girard and presented in the previous chapter is a rich system for the ...
Technically speaking, the transcendental syntax is about designing logics with a computational found...
This book investigates the possible linguistic applications of proof nets, redundancy free represen...
AbstractThe purpose of this paper is to give an exposition of material dealing with constructive log...
The purpose of this paper is to give an exposition of material dealing with constructive logic, type...
Girard's recent system of linear logic is presented in a way that avoids the two-level structure of ...
lambda-Calculi The purpose of this paper is to give an exposition of material dealing with construct...
This special issue is devoted to some aspects of the new ideas that recently arose from the work of ...
International audienceUsing linear logic and proof theory to unify computational logic by Dale Mille...
We propose to represent the syntax and semantics of natural languages with labelled proof nets in th...
Since its inception in 1987 linear logic (LL, [3]) has changed the proof theoreti-cal way of dealing...
AbstractLinear logic is a new logic which was recently developed by Girard in order to provide a log...
AbstractWe give a new characterization of elementary and deterministic polynomial time computation i...
To appear in Theory and Practice of Logic Programming (TPLP)International audienceSeveral formal sys...
From the publisher's description: "This book is the refereed proceedings of the First International ...
Linear logic as introduced by Girard and presented in the previous chapter is a rich system for the ...
Technically speaking, the transcendental syntax is about designing logics with a computational found...
This book investigates the possible linguistic applications of proof nets, redundancy free represen...
AbstractThe purpose of this paper is to give an exposition of material dealing with constructive log...
The purpose of this paper is to give an exposition of material dealing with constructive logic, type...
Girard's recent system of linear logic is presented in a way that avoids the two-level structure of ...
lambda-Calculi The purpose of this paper is to give an exposition of material dealing with construct...
This special issue is devoted to some aspects of the new ideas that recently arose from the work of ...
International audienceUsing linear logic and proof theory to unify computational logic by Dale Mille...
We propose to represent the syntax and semantics of natural languages with labelled proof nets in th...
Since its inception in 1987 linear logic (LL, [3]) has changed the proof theoreti-cal way of dealing...
AbstractLinear logic is a new logic which was recently developed by Girard in order to provide a log...
AbstractWe give a new characterization of elementary and deterministic polynomial time computation i...
To appear in Theory and Practice of Logic Programming (TPLP)International audienceSeveral formal sys...
From the publisher's description: "This book is the refereed proceedings of the First International ...
Linear logic as introduced by Girard and presented in the previous chapter is a rich system for the ...