@inproceedings{Lincoln1990DecisionPF,
title={Decision Problems for Propositional Linear Logic},
author={Patrick Lincoln and John C. Mitchell and Andre Scedrov and Natarajan Shankar},
booktitle={FOCS},
year={1990}
}

Lincoln, P., J. Mitchell, A. Scedrov and N. Shankar, Decision problems for propositional linear logic, Annals of Pure and Applied Logic 56 (1992) 239-311. Linear logic, introduced by Girard, is a refinement of classical logic with a natural, intrinsic accounting of resources. This accounting is made possible by removing the ‘structural’ rules of contraction and weakening, adding a modal operator and adding finer versions of the propositional connectives. Linear logic has fundamental logical… CONTINUE READING