An undecidable two sorted predicate calculus

Journal of Symbolic Logic 34 (1):21-23 (1969)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270976

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,247

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

Many-Sorted Predicate Calculi.Hao Wang - 1963 - Journal of Symbolic Logic 28 (3):250-250.
Two interpolation theorems for a π11 predicate calculus.Shoji Maehara & Gaisi Takeuti - 1971 - Journal of Symbolic Logic 36 (2):262 - 270.
An Undecidable Superintuitionistic Propositional Calculus.B. F. Wells & S. V. Popov - 1985 - Journal of Symbolic Logic 50 (4):1081-1083.
Full Lambek calculus with contraction is undecidable.Karel Chvalovský & Rostislav Horčík - 2016 - Journal of Symbolic Logic 81 (2):524-540.
Šehtman V. B.. An undecidable superintuitionistic propositional calculus. Soviet mathematics, vol. 19 no. 3 , pp. 656–660. , pp. 549–552.)Popov S. V.. Nondecidable intermediate calculus. Algebra and logic, vol. 20 , pp. 424–461. , pp. 654-706.). [REVIEW]Alasdair Urquhart - 1985 - Journal of Symbolic Logic 50 (4):1081-1083.
Algebraic logic and predicate functors.Willard Van Orman Quine - 1971 - [Indianapolis,: Bobbs-Merrill.
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.
Papers on Predicate Calculus.S. C. Kleene - 1954 - Journal of Symbolic Logic 19 (1):62-63.
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.
The logic of plurality.James Edward John Altham - 1971 - London,: Methuen.

Analytics

Added to PP
2009-01-28

Downloads
39 (#577,026)

6 months
18 (#162,420)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Alan Slomson
University of Leeds

Citations of this work

First-order modal theories III — facts.Kit Fine - 1982 - Synthese 53 (1):43-122.
On the primary and secondary semantics of logical necessity.Nino Cocchiarella - 1975 - Journal of Philosophical Logic 4 (1):13 - 27.

Add more citations

References found in this work

The Undecidability of Monadic Modal Quantification Theory.Saul A. Kripke - 1962 - Mathematical Logic Quarterly 8 (2):113-116.

Add more references