The logic of FOL systems: Formulated in set theory
In this paper we use set theory to describe FOL systems. This restatement of the notions implicit in First Order Logic facilitates their interpretation as finite data structures. This is a crucial step toward the goal of building an artificial reasoner.
Unable to display preview. Download preview PDF.
- 1.S. Feferman. Non-extensional type-free theories of partial operations and classifications, i. In J. Diller and G. H. Müller, editors, Proof theory symposium, Kiel 1974, Number 500 in Lecture notes in mathematics, pages 73–118. Springer, Berlin, 1975.Google Scholar
- 2.G. Gentzen. The Collected Papers of Gerhard Gentzen. North-Holland, 1969.Google Scholar
- 3.S. C. Kleene. Introduction to metamathematics. North-Holland, Amsterdam, 1952.Google Scholar
- 4.D. Prawitz. Natural Deduction: A Proof-theoretical Study. Almquist and Wiksell, 1965.Google Scholar