Exploring the Gap between Linear and Classical Logic - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Theory and Applications of Categories Year : 2007

Exploring the Gap between Linear and Classical Logic

Abstract

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.
Fichier principal
Vignette du fichier
GapTac.pdf (485.29 Ko) Télécharger le fichier
Origin : Publisher files allowed on an open archive
Loading...

Dates and versions

inria-00113785 , version 1 (14-11-2007)

Identifiers

  • HAL Id : inria-00113785 , version 1

Cite

François Lamarche. Exploring the Gap between Linear and Classical Logic. Theory and Applications of Categories, 2007, 18 (17), 473--535 (63 p.). ⟨inria-00113785⟩
140 View
178 Download

Share

Gmail Facebook Twitter LinkedIn More