S. C. Kleene. Finite axiomatizability of theories in the predicate calculus using additional predicate symbols. A revised reprint of XIX 62. Two papers on the predicate calculus, by S. C. Kleene, Memoirs of the American Mathematical Society, no. 10, lithographed, Providence 1967, pp. 27–66. - W. Craig and R. L. Vaught. Finite axiomatizability using additional predicates. The journal of symbolic logic, vol. 23 no. 3 , pp. 289–308 [Book Review]

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

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270294

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,435

External links

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

Through your library

My notes

Similar books and articles

Kleene S. C.. Permutability of inferences in Gentzen's calculi LK and LJ. Two papers on the predicate calculus, by Kleene S. C. , lithographed, Providence 1952, pp. 1–26.Kleene S. C.. Finite axiomatizability of theories in the predicate calculus using additional predicate symbols. Two papers on the predicate calculus, by Kleene S. C. , lithographed, Providence 1952, pp. 27–66.Kleene S. C.. Bibliography. Two papers on the predicate calculus, by Kleene S. C. , lithographed, Providence 1952, pp. 67–68.Craig William. On axiomatizability within a system. [REVIEW]Robert McNaughton - 1954 - Journal of Symbolic Logic 19 (1):62-63.
Review: S. C. Kleene, Finite Axiomatizability of Theories in the Predicate Calculus Using Additional Predicate Symbols; W. Craig, R. L. Vaught, Finite Axiomatizability Using Additional Predicates. [REVIEW]Mihaly Makkai - 1971 - Journal of Symbolic Logic 36 (2):334-335.
Finite Axiomatizability of Theories in the Predicate Calculus Using Additional Predicate Symbols.S. C. Kleene, W. Craig & R. L. Vaught - 1971 - Journal of Symbolic Logic 36 (2):334-335.
Finite axiomatizability using additional predicates.W. Craig & R. L. Vaught - 1958 - Journal of Symbolic Logic 23 (3):289-308.
Not every "tabular" predicate logic is finitely axiomatizable.Dmitrij Skvortsov - 1997 - Studia Logica 59 (3):387-396.
On intermediate predicate logics of some finite Kripke frames, I. levelwise uniform trees.Dmitrij Skvortsov - 2004 - Studia Logica 77 (3):295 - 323.
About finite predicate logic.Herman Dishkant - 1986 - Studia Logica 45 (4):405 - 414.
Papers on Predicate Calculus.S. C. Kleene - 1954 - Journal of Symbolic Logic 19 (1):62-63.
Review: S. C. Kleene, Papers on Predicate Calculus. [REVIEW]Robert McNaughton - 1954 - Journal of Symbolic Logic 19 (1):62-63.
Cambridge, Mass., 1967.[Kle52a] SC Kleene. Introduction to Metamathematics. North-Holland, Amsterdam, 1952.[Kle52b] SC Kleene. Permutability of inferences in Gentzen's calculi LK and LJ. Memoirs of the AMS, 10, 1952.[KW84] J. Ketonen and R. Weyhrauch. A decidable fragment of predicate calculus. The Journal. [REVIEW]P. Martin-Lof & G. Mints - 1991 - Annals of Pure and Applied Logic 51:125-157.
Vaught's theorem on axiomatizability by a scheme.Albert Visser - 2012 - Bulletin of Symbolic Logic 18 (3):382-402.
Finite replacement and finite hilbert‐style axiomatizability.B. Herrmann & W. Rautenberg - 1992 - Mathematical Logic Quarterly 38 (1):327-344.
On The Rules Of Substitution In The First-order Predicate Logics.Beata Bugajska & Kazimiera Dyrda - 1994 - Reports on Mathematical Logic:21-27.
A Tree-sequent Calculus For A Natural Predicate Extension Of Visser's Propositional Logic.Ryo Ishigaki & Kentaro Kikuchi - 2007 - Logic Journal of the IGPL 15 (2):149-164.
Finite Kripke models and predicate logics of provability.Sergei Artemov & Giorgie Dzhaparidze - 1990 - Journal of Symbolic Logic 55 (3):1090-1098.

Analytics

Added to PP
2016-06-30

Downloads
26 (#600,921)

6 months
3 (#987,746)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references