The exponential logic of sequentialization

DOI10.46298/ENTICS.12419MaRDI QIDQ6831477zbMATH OpenFDO

Authors Aurore Alcolei, Luc Pellissier, Alexis Saurin

Publication date 2 April 2026

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.46298/ENTICS.12419

zbMATH Keywords

jumpsproof theorylinear logicproof netssequentialization

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Cites work

• scientific article; zbMATH DE number 1215493 (Why is no real title available?)
• scientific article; zbMATH DE number 1342282 (Why is no real title available?)
• scientific article; zbMATH DE number 937366 (Why is no real title available?)
• An approach to innocent strategies as graphs
• Computer Science Logic
• Infinitary proof theory: the multiplicative additive case
• Jump from Parallel to Sequential Proofs: Multiplicatives
• Jump from parallel to sequential proofs: exponentials
• Jumping Boxes
• Linear logic
• Locus solum: From the rules of logic to the logic of rules.
• Proof nets for unit-free multiplicative-additive linear logic
• Proof nets sequentialisation in multiplicative linear logic
• Unification nets: canonical proof net quantifiers

This page was built for publication: The exponential logic of sequentialization

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