TL;DR
This paper introduces a realizability framework for Classical Linear Logic using a concurrent process calculus, bridging logical proofs and computational processes.
Contribution
It presents a novel realizability concept for Classical Linear Logic grounded in process calculus, enhancing understanding of logic-process correspondence.
Findings
Establishes a formal link between logic and concurrent computation.
Provides a new semantics for Classical Linear Logic.
Enables reasoning about process behaviors through logical realizability.
Abstract
We develop a notion of realizability for Classical Linear Logic based on a concurrent process calculus.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, programming, and type systems · Formal Methods in Verification · Logic, Reasoning, and Knowledge