Enriched categorical semantics for intuitionistic subexponential linear logic (ISELL): initial-model completeness

DOI10.1007/S10485-026-09877-9MaRDI QIDQ7397033zbMATH OpenFDO

Authors Carlos Ramírez Ovalle

Publication date 2026

Published in Applied Categorical Structures (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/S10485-026-09877-9

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Enriched categories (over closed or monoidal categories) (18D20)

Cites work

• A double category theoretic analysis of graded linear exponential comonads
• A linear exponential comonad in s-finite transition kernels and probabilistic coherent spaces
• Bounded Linear Types in a Resource Semiring
• Categorical semantics of linear logic
• Coeffects: a calculus of context-dependent computation
• Cofree coalgebras and differential linear logic
• Differential categories
• Generalized bounded linear logic and its categorical semantics
• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• scientific article; zbMATH DE number 4103051 (Why is no real title available?)
• scientific article; zbMATH DE number 3751225 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 2079022 (Why is no real title available?)
• scientific article; zbMATH DE number 2172965 (Why is no real title available?)
• Linear logic
• Metric spaces, generalized logic, and closed categories
• On closed categories of functors
• On denotational completeness
• Specifying proof systems in linear logic with subexponentials
• Syntax and semantics of quantitative type theory

This page was built for publication: Enriched categorical semantics for intuitionistic subexponential linear logic (ISELL): initial-model completeness

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