Interpretation of Mathematical Theories in the First Order Predicate Calculus
In Thoralf Skolem (ed.), Selected Works in Logic. Universitetsforlaget (1961)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,705 |
| External links | This entry has no external links. Add one. |
| Through your library | Configure |
Similar books and articlesAngelo Margaris (1967/1990). First Order Mathematical Logic. Dover Publications.
David A. Plaisted (1979). Complete Problems in the First-Order Predicate Calculus. Dept. Of Computer Science, University of Illinois at Urbana-Champaign.
Edward N. Zalta (1997). The Modal Object Calculus and its Interpretation. In M. de Rijke (ed.), Advances in Intensional Logic. Kluwer.
Jerzy Kotas & N. C. A. Costa (1979). A New Formulation of Discussive Logic. Studia Logica 38 (4):429 - 445.
Ian Pratt & Dominik Schoop (1998). A Complete Axiom System for Polygonal Mereotopology of the Real Plane. Journal of Philosophical Logic 27 (6):621-658.
S. Christiaan van Westrhenen (1969). The Statistical Estimation of Provability in the First Order Predicate Calculus. [Eindhoven, Technische Hogeschool (Inslindelaan 2).
Haskell B. Curry (1963/1977). Foundations of Mathematical Logic. Dover Publications.
John L. Pollock (1990). Technical Methods in Philosophy. Westview Press.
B. Hale (forthcoming). Properties and the Interpretation of Second-Order Logic. Philosophia Mathematica.
Henk Barendregt, Martin Bunder & Wil Dekkers (1993). Systems of Illative Combinatory Logic Complete for First-Order Propositional and Predicate Calculus. Journal of Symbolic Logic 58 (3):769-788.
Gert -Jan C. Lokhorst (1996). Reasoning About Actions and Obligations in First-Order Logic. Studia Logica 57 (1):221 - 237.
W. V. Quine (1971). Algebraic Logic and Predicate Functors. [Indianapolis,Bobbs-Merrill.
Kai Wehmeier (2004). Wittgensteinian Predicate Logic. Notre Dame Journal of Formal Logic 45 (1):1-11.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2011-03-20Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
