Glueing and orthogonality for models of linear logic

DOI10.1016/S0304-3975(01)00241-9zbMath1029.03051MaRDI QIDQ1398466

Andrea Schalk, J. M. E. Hyland

Publication date: 29 July 2003

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

OrthogonalityLinear logicCategorical modelsGlueing

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (35)

A Finite Axiomatisation of Finite-State Automata Using String Diagrams ⋮ Monoidal reverse differential categories ⋮ Bialgebras in Rel ⋮ A quantum double construction in Rel ⋮ The geometry of Bayesian programming ⋮ A categorical semantics for polarized MALL ⋮ Unnamed Item ⋮ Transport of finiteness structures and applications ⋮ Modeling linear logic with implicit functions ⋮ Linear Exponential Comonads without Symmetry ⋮ Unnamed Item ⋮ Partially traced categories ⋮ LNL polycategories and doctrines of linear logic ⋮ A linear exponential comonad in s-finite transition kernels and probabilistic coherent spaces ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Deep inference and probabilistic coherence spaces ⋮ Unnamed Item ⋮ Coherence Spaces and Uniform Continuity ⋮ Encodings of Turing machines in linear logic ⋮ Cofree coalgebras and differential linear logic ⋮ Convenient antiderivatives for differential linear categories ⋮ A string diagrammatic axiomatisation of finite-state automata ⋮ On Sweedler's cofree cocommutative coalgebra. ⋮ Some reasons for generalising domain theory ⋮ Towards a typed Geometry of Interaction ⋮ Proofs as Polynomials ⋮ Towards a geometry of recursion ⋮ On categorical models of classical logic and the Geometry of Interaction ⋮ On geometry of interaction for polarized linear logic ⋮ On traced monoidal closed categories ⋮ Monoidal-closed categories of tree automata ⋮ Typed lambda calculi and applications. 9th international conference, TLCA 2009, Brasilia, Brazil, July 1--3, 2009. Proceedings ⋮ Poset-valued sets or how to build models for linear logics ⋮ A categorical model for the geometry of interaction

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• *-autonomous categories. With an appendix by Po-Hsiang Chu
• Weakly distributive categories
• Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
• The system \({\mathcal F}\) of variable types, fifteen years later
• Two-dimensional monad theory
• Coherence for compact closed categories
• The structure of multiplicatives
• On full abstraction for PCF: I, II and III
• Full abstraction for PCF
• A note on full intuitionistic linear logic
• The formal theory of monads
• Accessible categories and models of linear logic
• An extension of the Galois theory of Grothendieck
• *-Autonomous categories and linear logic
• Polycategories
• Games and full completeness for multiplicative linear logic
• Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen
• A dialectica-like model of linear logic
• Proof theory in the abstract

This page was built for publication: Glueing and orthogonality for models of linear logic