Linear-algebraic models of linear logic as categories of modules over \(\Sigma \)-semirings

DOI10.1145/3531130.3533373WikidataQ130815983 ScholiaQ130815983MaRDI QIDQ6649497

Takeshi Tsukada, Kazuyuki Asada

Publication date: 6 December 2024

zbMATH Keywords

linear logiclocally presentable categorycategorical semantics\( \Sigma \)-monoidLafont categorypartial Horn theory

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Scott model of linear logic is the extensional collapse of its relational model
• Probabilistic coherence spaces as a model of higher-order probabilistic computation
• Linear logic
• Partial Horn logic and Cartesian categories
• Uniformity and the Taylor expansion of ordinary lambda-terms
• Quantitative domains and infinitary algebras
• Semantics of weakening and contraction
• Glueing and orthogonality for models of linear logic
• Accessible categories and models of linear logic
• The Free Exponential Modality of Probabilistic Coherence Spaces
• A Representation Theorem for Unique Decomposition Categories
• On Categories of Monoids, Comonoids, and Bimonoids
• An Explicit Formula for the Free Exponential Modality of Linear Logic
• Continuous domains as formal spaces
• Unique decomposition categories, Geometry of Interaction and combinatory logic
• An explicit formula for the free exponential modality of linear logic
• Fixed Points In Quantitative Semantics
• On Köthe sequence spaces and linear logic
• Towards a quantum programming language
• Species, Profunctors and Taylor Expansion Weighted by SMCC
• Weighted Relational Models of Typed Lambda-Calculi
• Probabilistic coherence spaces are fully abstract for probabilistic PCF
• Applying quantitative semantics to higher-order quantum computing
• Finiteness spaces

This page was built for publication: Linear-algebraic models of linear logic as categories of modules over \(\Sigma \)-semirings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6649497)