Advertisement

An example of FOL using metatheory

Formalizing reasoning systems and introducing derived inference rules
  • Richard W. Weyhrauch
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 138)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Aiello and Weyhrauch[1980]
    Aiello, L, and Weyhrauch, R., Using meta-theoretic reasoning to do algebra, Proceedings of the 5-th Workshop on Automated Deduction, Springer-Verlag, Lecture Notes in Computer Science, 1980.Google Scholar
  2. Bowen and Kowalski[1981]
    Bowen, K.A., and Kowalski, R., Amalgamating Language and Metalanguage in Logic Programming, School of Computer and Information Science, Syracuse University, June 1981.Google Scholar
  3. Boyer and Moore[1979]
    Boyer, R.S. and Moore, J.S., Metafunctions: Proving Them Correct and Using Them Efficiently as New Proof Procedures, SRI International Technical Report CSL-108, December 1979.Google Scholar
  4. Church[1956]
    Church, A., Introduction to mathematical logic, vol 1, Princeton University Press, Princeton, 1956.Google Scholar
  5. LCF[1978]
    Gordon, M.J., Milner, A.J., and Wadsworth, C.P., Edinburgh LCF: A Mechanized Logic of Computation, Springer-Verlag, Lecture Notes in Computer Science 78.Google Scholar
  6. Kleene[1952]
    Kleene, S. C., Introduction to metamathematics, Van Nostrand, New York and Toronto, 1952.Google Scholar
  7. Konolige[1981]
    Konolige, K., A metalanguage representation of relational databases for deductive question-answering systems, in Proceedings of the 7-th IJCAI, 1981.Google Scholar
  8. McCarthy and Hayes[1969]
    McCarthy, J. and Hayes, P.J., Some Philosophical Problems from the Viewpoint of Artificial Intelligence, in (D.Michie, ed.) Machine Intelligence, 7, Edinburgh U.P., Edinburgh, 1969.Google Scholar
  9. Prolegomena[1980]
    see Weyhrauch [1980]: Prolegomena to a theory of mechanized formal reasoning, Artificial Intelligence, 13, 1980, pp.133–170.CrossRefGoogle Scholar
  10. Talcott and Weyhrauch[1982]
    Talcott, C, and Weyhrauch, R., Reasoning about actions, in preparation.Google Scholar
  11. Weyhrauch[1977]
    Weyhrauch, R., FOL: A Proof Checker for First-order Logic, Stanford Artificial Intelligence Laboratory Memo AIM-235.1, Stanford University, Stanford, 1977.Google Scholar
  12. Weyhrauch[1980]
    Weyhrauch, R., Prolegomena to a theory of mechanized formal reasoning, Artificial Intelligence, 13, 1980, pp.133–170.CrossRefGoogle Scholar
  13. Weyhrauch[1982]
    Weyhrauch, R., A Mechanizable Formulation of Logic, in preparation.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1982

Authors and Affiliations

  • Richard W. Weyhrauch
    • 1
  1. 1.Stanford UniversityStanford

Personalised recommendations