Abstract.
We describe the constructive content of proofs in a fragment of propositional Infinitary Linear Logic in terms of strategies for a suitable class of games. Such strategies interpret linear proofs as parallel algorithms as long as the asymmetry of the connectives ? and ! allows it.
Similar content being viewed by others
Author information
Authors and Affiliations
Additional information
Received December 5, 1994
Rights and permissions
About this article
Cite this article
Baratella, S., Berardi, S. A parallel game semantics for Linear Logic. Arch Math Logic 36, 189–217 (1997). https://doi.org/10.1007/s001530050061
Issue Date:
DOI: https://doi.org/10.1007/s001530050061