Preview
Unable to display preview. Download preview PDF.
References
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.
Bowen, K.A., and Kowalski, R., Amalgamating Language and Metalanguage in Logic Programming, School of Computer and Information Science, Syracuse University, June 1981.
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.
Church, A., Introduction to mathematical logic, vol 1, Princeton University Press, Princeton, 1956.
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.
Kleene, S. C., Introduction to metamathematics, Van Nostrand, New York and Toronto, 1952.
Konolige, K., A metalanguage representation of relational databases for deductive question-answering systems, in Proceedings of the 7-th IJCAI, 1981.
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.
see Weyhrauch [1980]: Prolegomena to a theory of mechanized formal reasoning, Artificial Intelligence, 13, 1980, pp.133–170.
Talcott, C, and Weyhrauch, R., Reasoning about actions, in preparation.
Weyhrauch, R., FOL: A Proof Checker for First-order Logic, Stanford Artificial Intelligence Laboratory Memo AIM-235.1, Stanford University, Stanford, 1977.
Weyhrauch, R., Prolegomena to a theory of mechanized formal reasoning, Artificial Intelligence, 13, 1980, pp.133–170.
Weyhrauch, R., A Mechanizable Formulation of Logic, in preparation.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1982 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Weyhrauch, R.W. (1982). An example of FOL using metatheory. In: Loveland, D.W. (eds) 6th Conference on Automated Deduction. CADE 1982. Lecture Notes in Computer Science, vol 138. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0000057
Download citation
DOI: https://doi.org/10.1007/BFb0000057
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-11558-8
Online ISBN: 978-3-540-39240-8
eBook Packages: Springer Book Archive