Skip to main content
SpringerLink
Log in

Linear proofs and linear logic

  • Conference paper
  • First Online:
Logics in AI (JELIA 1992)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 633))

Included in the following conference series:

Abstract

In [3] a modification of the Connection Method [2] called Linear Proofs was introduced which constituted a new logical approach to plan generation. Inspired by this idea in [7] a similar approach based on Linear Logic was presented. The present paper analyses the relationship of these two approaches and shows to which extent they are equivalent and where they differ.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Arnon Avron. The Semantics and Proof Theorie of Linear Logic. Theoretical Computer Science, (57):161–184, 1988.

    Article  Google Scholar 

  2. W. Bibel. Automated Theorem Proving. Vieweg, 1982.

    Google Scholar 

  3. W. Bibel. A Deductive Solution for Plan Generation. New Generation Computing, 6:115–132, 1986.

    Google Scholar 

  4. B. Fronhöfer. Linear proofs and linear logic. Technical report, Technical University Munich, 1992.

    Google Scholar 

  5. Jean-Yves Girard. La Logique Lineaire. Pour la Science, Edition française de Scientific American, pages 74–85, April 1990.

    Google Scholar 

  6. Pat Lincoln, John Mitchel, Andre Scedrov, and Natarajan Shankar. Decision problems for propositional linear logic. Technical Report SRI-CSL-90-08, SRI International, 1990.

    Google Scholar 

  7. M. Masseron, C. Tollu, and J. Vauzeilles. Generating Plans in Linear Logic. Technical Report 90–11, Université Paris Nord, Département de mathématiques et informatique, Avenue J.B.Clément, F-93430 Villetaneuse, December 1990.

    Google Scholar 

  8. J. McCarthy and P. Hayes. Some philosophical problems from the standpoint of artificial intelligence. In B. Meltzer and D. Michie, editors, Machine Intelligence 4, pages 463–502. Edinburgh University Press, 1969.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Informatics, Technical University Munich, Arcisstr. 21, Postfach 20 24 20, D-8000, Munich 2

    Bertram Fronhöfer

Authors
  1. Bertram Fronhöfer
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

D. Pearce G. Wagner

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Fronhöfer, B. (1992). Linear proofs and linear logic. In: Pearce, D., Wagner, G. (eds) Logics in AI. JELIA 1992. Lecture Notes in Computer Science, vol 633. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0023424

Download citation

  • DOI: https://doi.org/10.1007/BFb0023424

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-55887-3

  • Online ISBN: 978-3-540-47304-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation