Relating Reasoning Methodologies in Linear Logic and Process Algebra (CMU-CS-11-145, CMU-CS-QTR-111) Yuxin Deng Robert J. Simmons Iliano Cervesato 10.1184/R1/6608951.v1 https://kilthub.cmu.edu/articles/journal_contribution/Relating_Reasoning_Methodologies_in_Linear_Logic_and_Process_Algebra_CMU-CS-11-145_CMU-CS-QTR-111_/6608951 <p>We show that the proof-theoretic notion of logical preorder coincides with the process-theoretic notion of contextual preorder for a CCS-like process calculus obtained from the formula-as-process interpretation of a fragment of linear logic. The argument makes use of other standard notions in process algebra, namely simulation and labeled transition systems. This result establishes a connection between an approach to reason about process specifications, the contextual preorder, and a method to reason about logic specifications, the logical preorder.</p> 1978-01-01 00:00:00 Linear logic process algebra meta-reasoning logical preorder contextual preorder simulation labeled transition systems equivalence induction coinduction