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

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

• 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
• 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