THE UNDECIDABILITY OF 2ND-ORDER MULTIPLICATIVE LINEAR LOGIC

Authors
LAFONT Y SCEDROV A
Citation
Y. Lafont et A. Scedrov, THE UNDECIDABILITY OF 2ND-ORDER MULTIPLICATIVE LINEAR LOGIC, Information and computation, 125(1), 1996, pp. 46-51
Citations number
16
Categorie Soggetti
Information Science & Library Science",Mathematics,"Computer Science Information Systems
Journal title
Information and computation → ACNP
ISSN journal
08905401
Volume
125
Issue
1
Year of publication
1996
Pages
46 - 51
Database
ISI
SICI code
0890-5401(1996)125:1<46:TUO2ML>2.0.ZU;2-B
Abstract
The multiplicative fragment of second order propositional linear logic is shown to be undecidable. (C) 1996 Academic Press, Inc.