Super exponentials in linear logic

DOI10.4204/EPTCS.353.3MaRDI QIDQ6657784zbMATH OpenFDO

Authors Esaïe Bauer, Olivier Laurent

Publication date 6 January 2025

Full work available at URL https://doi.org/10.4204/EPTCS.353.3

Mathematics Subject Classification ID

Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Cites work

• An abstract approach to stratification in linear logic
• Bounded linear logic: A modular approach to polynomial-time computability
• scientific article; zbMATH DE number 517072 (Why is no real title available?)
• scientific article; zbMATH DE number 742718 (Why is no real title available?)
• Light linear logic
• Linear logic
• Linear logic and elementary time
• Linear logic by levels and bounded time complexity
• Locus solum: From the rules of logic to the logic of rules.
• Modelling coeffects in the relational semantics of linear logic
• Soft linear logic and polynomial time
• Strong normalization property for second order linear logic
• Undecidability of multiplicative subexponential logic

Cited in

(2)

• On the cut-elimination of the modal -calculus: linear logic to the rescue
• YALLA: yet another deep embedding of linear logic in Rocq

This page was built for publication: Super exponentials in linear logic

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