Interpretation of Mathematical Theories in the First Order Predicate Calculus

In Selected Works in Logic. Universitetsforlaget. pp. 673--80 (1961)
Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Buy the book Find it on Amazon.com
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Translate to english
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 55,935
External links
  • This entry has no external links. Add one.

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Deflating skolem.F. A. Muller - 2005 - Synthese 143 (3):223-253.

Add more citations

Similar books and articles

First Order Mathematical Logic.Angelo Margaris - 1967 - Dover Publications.
Complete Problems in the First-Order Predicate Calculus.David A. Plaisted - 1979 - Dept. Of Computer Science, University of Illinois at Urbana-Champaign.
The Modal Object Calculus and its Interpretation.Edward N. Zalta - 1997 - In M. de Rijke (ed.), Advances in Intensional Logic. Kluwer Academic Publishers. pp. 249--279.
A New Formulation of Discussive Logic.Jerzy Kotas & N. C. A. Costa - 1979 - Studia Logica 38 (4):429 - 445.
A Complete Axiom System for Polygonal Mereotopology of the Real Plane.Ian Pratt & Dominik Schoop - 1998 - Journal of Philosophical Logic 27 (6):621-658.
The Statistical Estimation of Provability in the First Order Predicate Calculus.S. Christiaan van Westrhenen - 1969 - [Eindhoven, Technische Hogeschool (Inslindelaan 2).
Foundations of Mathematical Logic.Haskell B. Curry - 1963 - Dover Publications.
Technical Methods in Philosophy.John L. Pollock - 1990 - Westview Press.
Properties and the Interpretation of Second-Order Logic.B. Hale - 2013 - Philosophia Mathematica 21 (2):133-156.
Systems of Illative Combinatory Logic Complete for First-Order Propositional and Predicate Calculus.Henk Barendregt, Martin Bunder & Wil Dekkers - 1993 - Journal of Symbolic Logic 58 (3):769-788.
Reasoning About Actions and Obligations in First-Order Logic.Gert -Jan C. Lokhorst - 1996 - Studia Logica 57 (1):221 - 237.
Algebraic Logic and Predicate Functors.W. V. Quine - 1971 - [Indianapolis, Bobbs-Merrill.
Wittgensteinian Predicate Logic.Kai Wehmeier - 2004 - Notre Dame Journal of Formal Logic 45 (1):1-11.
Tableau Systems for First Order Number Theory and Certain Higher Order Theories.Sue Ann Toledo - 1975 - Springer Verlag.
Completeness, Compactness, and Undecidability: An Introduction to Mathematical Logic.Alfred B. Manaster - 1975 - Prentice-Hall.

Analytics

Added to PP index
2011-03-20

Total views
0

Recent downloads (6 months)
0

How can I increase my downloads?

Downloads

Sorry, there are not enough data points to plot this chart.

My notes



Home | New books and articles | Bibliographies | Philosophy journals | Discussions | Article Index | About PhilPapers | API | Contact us | Code of conduct

CDP Phiosophy Documentation Center
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications).

Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation

Page generated Thu Jan 21 03:45:18 2021 on pp1