Chu spaces as a semantic bridge between linear logic and mathematics.

DOI10.1016/S0304-3975(01)00169-4zbMath1042.18002MaRDI QIDQ1398475

Vaughan R. Pratt

Publication date: 29 July 2003

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

zbMATH Keywords

linear logicChu spacesuniversal mathematics

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Relational systems, laws of composition (08A02) Embedding theorems, universal categories (18B15)

Related Items (6)

A categorical semantics for polarized MALL ⋮ Unnamed Item ⋮ Some classes of abstract simplicial complexes motivated by module theory ⋮ A Monoidal Category of Bifinite Chu Spaces ⋮ Set relations and set systems induced by some families of integral domains ⋮ Data meaning and knowledge discovery: semantical aspects of information systems

Cites Work

• 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
• Modeling concurrency with partial orders
• A game semantics for linear logic
• The structure of multiplicatives
• Dinatural numbers
• Linear Läuchli semantics
• How comprehensive is the category of semigroups?
• Non‐commutative intuitionistic linear logic
• *-Autonomous categories and linear logic
• Temporal Structures
• The shuffle Hopf algebra and noncommutative full completeness
• Games and full completeness for multiplicative linear logic
• Fuzzy models of linear logic
• Hopf algebras and linear logic
• A dialectica-like model of linear logic
• On Infinite-Dimensional Linear Spaces

This page was built for publication: Chu spaces as a semantic bridge between linear logic and mathematics.