*-Autonomous categories and linear logic
From MaRDI portal
Publication:4006228
DOI10.1017/S0960129500001274zbMath0777.18006MaRDI QIDQ4006228
Publication date: 26 September 1992
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
adjoint functor\(*\)-autonomous categoriesdualizing objectseparated objectscofree coalgebrasmodel for a fragment of linear logicmodel of full linear logic
Logic in computer science (03B70) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (47)
The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions ⋮ On the symmetry of sequentiality ⋮ Holomorphic models of exponential types in linear logic ⋮ Generalizing topological set operators ⋮ Semantics of weakening and contraction ⋮ AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS ⋮ Bifibrations of polycategories and classical linear logic ⋮ \(*\)-autonomous categories of bimodules ⋮ Topological categories, quantaloids and Isbell adjunctions ⋮ Accessible categories and models of linear logic ⋮ Orthocomplementation and compound systems ⋮ Remarks on classifications and adjunctions ⋮ Cofree objects in the centralizer and the center categories ⋮ A categorical semantics for polarized MALL ⋮ Unnamed Item ⋮ Games and full completeness for multiplicative linear logic ⋮ *-autonomous categories, revisited ⋮ A practical type theory for symmetric monoidal categories ⋮ Fairness and communication-based semantics for session-typed languages ⋮ Constructing process categories ⋮ Glueing and orthogonality for models of linear logic ⋮ Exhausting strategies, joker games and full completeness for IMLL with unit ⋮ Chu spaces as a semantic bridge between linear logic and mathematics. ⋮ LNL polycategories and doctrines of linear logic ⋮ Chu connections and back diagonals between \(\mathcal{Q}\)-distributors ⋮ Variations on mobile processes ⋮ A specification structure for deadlock-freedom of synchronous processes ⋮ Observed Communication Semantics for Classical Processes ⋮ The categorical imperative: category theory as a foundation for deontic logic ⋮ Quantum coherent spaces and linear logic ⋮ A linear/producer/consumer model of classical linear logic ⋮ Quasi-prime algebraic domains ⋮ Nonsymmetric \(^{\ast}\)-autonomous categories ⋮ Unnamed Item ⋮ A topologist's view of Chu spaces ⋮ Category of Chu spaces over S-Act category ⋮ Tail recursion through universal invariants ⋮ A Monoidal Category of Bifinite Chu Spaces ⋮ Musings around the geometry of interaction, and coherence ⋮ Proof nets and semi-star-autonomous categories ⋮ Softness of hypercoherences and MALL full completeness ⋮ Unnamed Item ⋮ Coherence for star-autonomous categories ⋮ On traced monoidal closed categories ⋮ Unnamed Item ⋮ Jets and differential linear logic ⋮ Chu spaces from the representational viewpoint
Cites Work
This page was built for publication:
- -Autonomous categories and linear logic
