Add to ORKGAbstract. The Medial rule was first devised as a deduction rule in the Calculus of Structures. In this paper we explore it from the point of view of category theory, as additional structure on a ∗-autonomous category. This gives us some insights on the denotational semantics of classical propositional logic, and allows us to construct new models for it, based on suitable generalizations of the theory of coherence spaces. 1
We extend the multiplicative fragment of linear logic with a non-commutative connective (called befo...
AbstractCoherence with respect to Kelly–Mac Lane graphs is proved for categories that correspond to ...
Proof Theory is the result of a tumultuous history, developed on the periphery of mainstream mathema...
Abstract. The Medial rule was first devised as a deduction rule in the Calculus of Structures. In th...
Abstract. The Medial rule was first devised as a deduction rule in the Calculus of Structures. In th...
Published on 2007-10-09. A paper by my collaborator Lutz Strassburger on a closely related subject w...
The main purpose of this thesis is to define a general framework for determining necessary and suffi...
The proof-theoretic origins and specialized models of linear logic make it primarily operational in ...
The proof-theoretic origins and specialized models of linear logic make it primarily operational in ...
AbstractWe study the notion of logical relation in the coherence space semantics of multiplicative-a...
AbstractThe proof-theoretic origins and specialized models of linear logic make it primarily operati...
We develop a denotational semantics of Linear Logic with least and greatest fixed points in coherenc...
We develop a denotational semantics of Linear Logic with least and greatest fixed points in coherenc...
AbstractWe extend to the exponential connectives of linear logic the study initiated in Bucciarelli ...
This paper defines a new proof- and category-theoretic framework for classical linear logic that sep...
We extend the multiplicative fragment of linear logic with a non-commutative connective (called befo...
AbstractCoherence with respect to Kelly–Mac Lane graphs is proved for categories that correspond to ...
Proof Theory is the result of a tumultuous history, developed on the periphery of mainstream mathema...
Abstract. The Medial rule was first devised as a deduction rule in the Calculus of Structures. In th...
Abstract. The Medial rule was first devised as a deduction rule in the Calculus of Structures. In th...
Published on 2007-10-09. A paper by my collaborator Lutz Strassburger on a closely related subject w...
The main purpose of this thesis is to define a general framework for determining necessary and suffi...
The proof-theoretic origins and specialized models of linear logic make it primarily operational in ...
The proof-theoretic origins and specialized models of linear logic make it primarily operational in ...
AbstractWe study the notion of logical relation in the coherence space semantics of multiplicative-a...
AbstractThe proof-theoretic origins and specialized models of linear logic make it primarily operati...
We develop a denotational semantics of Linear Logic with least and greatest fixed points in coherenc...
We develop a denotational semantics of Linear Logic with least and greatest fixed points in coherenc...
AbstractWe extend to the exponential connectives of linear logic the study initiated in Bucciarelli ...
This paper defines a new proof- and category-theoretic framework for classical linear logic that sep...
We extend the multiplicative fragment of linear logic with a non-commutative connective (called befo...
AbstractCoherence with respect to Kelly–Mac Lane graphs is proved for categories that correspond to ...
Proof Theory is the result of a tumultuous history, developed on the periphery of mainstream mathema...