Jump from parallel to sequential proofs: exponentials

DOI10.1017/S0960129516000414MaRDI QIDQ4577985zbMATH OpenOpenAlexWikidataFDO

Authors Paolo Di Giamberardino

Publication date 7 August 2018

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0960129516000414

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

• Jump from Parallel to Sequential Proofs: Multiplicatives
• scientific article; zbMATH DE number 937366
• Rewritings for polarized multiplicative and exponential proof structures
• Canonical proof nets for classical logic
• Coherent models of proof nets

Cites work

• scientific article; zbMATH DE number 1342251 (Why is no real title available?)
• scientific article; zbMATH DE number 1342282 (Why is no real title available?)
• scientific article; zbMATH DE number 1948179 (Why is no real title available?)
• scientific article; zbMATH DE number 1889386 (Why is no real title available?)
• scientific article; zbMATH DE number 2090322 (Why is no real title available?)
• scientific article; zbMATH DE number 786496 (Why is no real title available?)
• scientific article; zbMATH DE number 937366 (Why is no real title available?)
• A new constructive logic: classic logic
• Acyclicity and Coherence in Multiplicative Exponential Linear Logic
• An exact correspondence between a typed pi-calculus and polarised proof-nets
• Asynchronous Games: Innocence Without Alternation
• Computational ludics
• Computer Science Logic
• Interpreting a finitary pi-calculus in differential interaction nets
• Jump from Parallel to Sequential Proofs: Multiplicatives
• Jumping Boxes
• Light linear logic
• Linear logic
• Locus solum: From the rules of logic to the logic of rules.
• Logic Programming with Focusing Proofs in Linear Logic
• Ludics is a Model for the Finitary Linear Pi-Calculus
• Ludics with repetitions (Exponentials, Interactive types and Completeness)
• On the meaning of logical rules. II: Multiplicatives and additives
• Polarized games
• Polarized proof-nets and \(\lambda \mu\)-calculus
• Proof nets sequentialisation in multiplicative linear logic
• Rewritings for polarized multiplicative and exponential proof structures
• Sequentiality vs. concurrency in games and logic
• Soft linear logic and polynomial time
• Strong normalization property for second order linear logic
• Syntax vs. semantics: A polarized approach
• Thick Subtrees, Games and Experiments

Cited in

(3)

• Jumping Boxes
• The exponential logic of sequentialization
• Jump from Parallel to Sequential Proofs: Multiplicatives

This page was built for publication: Jump from parallel to sequential proofs: exponentials

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