Advertisement

An enhanced sequent calculus for reasoning in a given domain

  • S. Bonamico
  • G. Cioni
  • A. Colagrossi
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 722)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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. 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. 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. 4.
    G. Cioni, A. Colagrossi, and A. Miola. A sequent calculus for automatic reasoning. 1993.Google Scholar
  5. 5.
    J.H. Gallier. Logic for Computer Science. Harper & Row, 1986.Google Scholar
  6. 6.
    P. Suppes and S. Takahashi. An interactive calculus theorem-prover for continuity properties. J. Symb. Comp., 7:573–590, 1989.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • S. Bonamico
    • 1
  • G. Cioni
    • 1
  • A. Colagrossi
    • 1
  1. 1.Istituto di Analisi dei Sistemi ed Informatica del C.N.R.RomaItaly

Personalised recommendations