Skip to main content
Conference ProceedingsOPEN ACCESS

A language for multiplicative-additive linear logic

Electronic Notes in Theoretical Computer Science (2005) 122 23-65
DOI: 10.1016/j.entcs.2004.06.049
6Citations
Citations of this article
7Readers
Mendeley users who have this article in their library.

This article is free to access.

Abstract

A term calculus for the proofs in multiplicative-additive linear logic is introduced and motivated as a programming language for channel based concurrency. The term calculus is proved complete for a semantics in linearly distributive categories with additives. It is also shown that proof equivalence is decidable by showing that the cut elimination rewrites supply a confluent rewriting system modulo equations. © 2005 Elsevier B.V. All rights reserved.

Author supplied keywords

Cite

CITATION STYLE

APA

Cockett, J. R. B., & Pastro, C. A. (2005). A language for multiplicative-additive linear logic. In Electronic Notes in Theoretical Computer Science (Vol. 122, pp. 23–65). https://doi.org/10.1016/j.entcs.2004.06.049

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free