Decision Problems for Propositional Linear Logic

  title={Decision Problems for Propositional Linear Logic},
  author={Patrick Lincoln and John C. Mitchell and Andre Scedrov and Natarajan Shankar},
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
Highly Influential
This paper has highly influenced 26 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS


Publications citing this paper.
Showing 1-10 of 164 extracted citations


Publications referenced by this paper.
Showing 1-10 of 33 references

A logic for concurrency

  • A. Asperti
  • Technical Report, Dip. Informatica, Univ. Piss,
  • 1987
Highly Influential
3 Excerpts

Decision problems for propositional linear logic

  • P. Lincoln, J. C. Mitchell, A. Scedrov, N. Shankar
  • in: Proc. 31st IEEE Symp. on Foundations of…
  • 1990

La logique lineaire, Pour La Science, Edition

  • J.-Y. Girard
  • Francaise de Scientific American
  • 1990

Mechanizing proof theory: resource-aware logics and proof-transformations to extract implicit information

  • G. Bellin
  • Ph.D. Thesis, Stanford Univ.,
  • 1990

Similar Papers

Loading similar papers…