Skip to main content
SpringerLink
Log in
Book cover

International Symposium on Design and Implementation of Symbolic Computation Systems

DISCO 1993: Design and Implementation of Symbolic Computation Systems pp 369–373Cite as

An enhanced sequent calculus for reasoning in a given domain

  • Conference paper
  • First Online:

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

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

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

Search

Navigation