Finite Axiomatizability of Theories in the Predicate Calculus Using Additional Predicate Symbols

Journal of Symbolic Logic 36 (2):334-335 (1971)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 74,466

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

About Finite Predicate Logic.Herman Dishkant - 1986 - Studia Logica 45 (4):405 - 414.
Complete Problems in the First-Order Predicate Calculus.David A. Plaisted - 1979 - Dept. Of Computer Science, University of Illinois at Urbana-Champaign.
Automatic Proofs for Theorems on Predicate Calculus.Sueli Mendes dos Santos - 1972 - [Rio De Janeiro, Pontificia Universidade Católica Do Rio De Janeiro].
Wittgensteinian Predicate Logic.Kai F. Wehmeier - 2004 - Notre Dame Journal of Formal Logic 45 (1):1-11.
Finite Axiomatizability Using Additional Predicates.W. Craig & R. L. Vaught - 1958 - Journal of Symbolic Logic 23 (3):289-308.

Analytics

Added to PP
2015-02-05

Downloads
25 (#459,695)

6 months
1 (#417,143)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The Road to Two Theorems of Logic.William Craig - 2008 - Synthese 164 (3):333 - 339.
Δ-Logics and Generalized Quantifiers.J. A. Makowsky - 1976 - Annals of Mathematical Logic 10 (2):155.

Add more citations

References found in this work

No references found.

Add more references