The Undecidability of Second Order Multiplicative Linear Logic

• 1 February 1996
• journal article
• Published by Elsevier in Information and Computation
• Vol. 125  (1) , 46-51
• https://doi.org/10.1006/inco.1996.0019

Abstract

Keywords

• UNDECIDABLE
• UNDECIDABILITY OF SECOND
• SECOND ORDER MULTIPLICATIVE
• LOGIC
• MULTIPLICATIVE FRAGMENT
• PROPOSITIONAL LINEAR
• ORDER PROPOSITIONAL