Skip to main content
Springer Nature Link
Log in

An enhanced sequent calculus for reasoning in a given domain

  • Conference paper
  • First Online:
Design and Implementation of Symbolic Computation Systems (DISCO 1993)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 722))

  • 208 Accesses

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. M.J. Beeson. Logic and computation in mathpert: An expert system for learning mathematics. In E. Kaltofen and S. M. Watt, editors, Computers and Mathematics, pages 202–214. Springer Verlag, 1989.

    Google Scholar 

  2. S. Bonamico, G. Cioni, and A. Colagrossi. A gentzen based deduction method for mathematical problem solving. In Proc. of Indian Computing Congress, 1990.

    Google Scholar 

  3. G. Cioni, A. Colagrossi, and A. Miola. A desk top sequent calculus machine. In J. Calmet, editor, Proc. 1992 Conf. on Artif. Intell. and Symb. Math. Comp., LNCS, 1992. Karlshrue.

    Google Scholar 

  4. G. Cioni, A. Colagrossi, and A. Miola. A sequent calculus for automatic reasoning. 1993.

    Google Scholar 

  5. J.H. Gallier. Logic for Computer Science. Harper & Row, 1986.

    Google Scholar 

  6. P. Suppes and S. Takahashi. An interactive calculus theorem-prover for continuity properties. J. Symb. Comp., 7:573–590, 1989.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Istituto di Analisi dei Sistemi ed Informatica del C.N.R., Viale Manzoni 30, 00185, Roma, Italy

    S. Bonamico, G. Cioni & A. Colagrossi

Authors
  1. S. Bonamico
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. G. Cioni
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. A. Colagrossi
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Alfonso Miola

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bonamico, S., Cioni, G., Colagrossi, A. (1993). An enhanced sequent calculus for reasoning in a given domain. In: Miola, A. (eds) Design and Implementation of Symbolic Computation Systems. DISCO 1993. Lecture Notes in Computer Science, vol 722. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0013192

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-57235-0

  • Online ISBN: 978-3-540-47985-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics