Elsevier

Information and Computation

Volume 125, Issue 1, 25 February 1996, Pages 46-51
Information and Computation

Regular Article
The Undecidability of Second Order Multiplicative Linear Logic

https://doi.org/10.1006/inco.1996.0019Get rights and content
Under a Creative Commons license
open archive

Abstract

The multiplicative fragment of second order propositional linear logic is shown to be undecidable.

Cited by (0)

f1

[email protected]

f2

[email protected]

Copyright © 1996 Academic Press. All rights reserved.