Reasoning about deductions in linear logic

  • Frank Pfenning
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1421)


Logic Programming Theorem Prove Linear Logic Existential Quantifier Automate Theorem Prove 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. [CP96]
    Iliano Cervesato and Frank Pfenning. A linear logical framework. In E. Clarke, editor, Proceedings of the Eleventh Annual Symposium on Logic in Computer Science, pages 264–275, New Brunswick, New Jersey, July 1996. IEEE Computer Society Press.Google Scholar
  2. [McD97]
    Raymond McDowell. Reasoning in a logic with definitions and induction. PhD thesis, University of Pennsylvania, 1997.Google Scholar
  3. [SP98]
    Carsten Schürmann and Frank Pfenning. Automated theorem proving in a simple meta-logic for LF, 1998. This volume. An extended version is available as Technical Report CMU-CS-98-123, Carnegie Mellon University.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • Frank Pfenning
    • 1
  1. 1.School of Computer ScienceCarnegie Mellon UniversityUSA

Personalised recommendations