| HAL-Inria | Publications, software ... of Inria's scientists |
Journal articles
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.
Cited literature [52 references]
https://hal.inria.fr/inria-00113785
Contributor : Francois Lamarche <>
Submitted on : Wednesday, November 14, 2007 - 4:00:30 PM
Last modification on : Friday, February 26, 2021 - 3:28:02 PM
Long-term archiving on: : Tuesday, April 6, 2010 - 6:42:38 PM
Contributor : Francois Lamarche <>
Submitted on : Wednesday, November 14, 2007 - 4:00:30 PM
Last modification on : Friday, February 26, 2021 - 3:28:02 PM
Long-term archiving on: : Tuesday, April 6, 2010 - 6:42:38 PM
File
GapTac.pdf
Publisher files allowed on an open archive