Jump from parallel to sequential proofs: exponentials

DOI10.1017/S0960129516000414zbMATH Open1456.03096OpenAlexW2558217699WikidataQ113857442 ScholiaQ113857442MaRDI QIDQ4577985FDOQ4577985

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

Recommendations

• Jump from Parallel to Sequential Proofs: Multiplicatives
• Publication:4896506
• Rewritings for polarized multiplicative and exponential proof structures
• Canonical proof nets for classical logic
• Coherent models of proof nets

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)

Cites Work

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

Cited In (2)

• Jumping Boxes
• 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)