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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,642

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

Review: J. L. Bell, A. B. Slomson, Models and Ultraproducts: An Introduction. [REVIEW]Perry Smith - 1972 - Journal of Symbolic Logic 37 (4):763-764.
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.
Š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.
Review: Hao Wang, Many-Sorted Predicate Calculi. [REVIEW]Steven Ore - 1963 - Journal of Symbolic Logic 28 (3):250-250.
Full Lambek calculus with contraction is undecidable.Karel Chvalovský & Rostislav Horčík - 2016 - Journal of Symbolic Logic 81 (2):524-540.
Review: VB Sehtman, BF Wells, An Undecidable Superintuitionistic Propositional Calculus; SV Popov, Nondecidable Intermediate Calculus. [REVIEW]Alasdair Urquhart - 1985 - Journal of Symbolic Logic 50 (4):1081-1083.
Algebraic logic and predicate functors.W. V. Quine - 1971 - [Indianapolis,: Bobbs-Merrill.
J. L. Bell and A. B. Slomson. Models and ultraproducts: An introduction. North-Holland Publishing Company, Amsterdam and London1969, IX + 322 pp. [REVIEW]Perry Smith - 1972 - Journal of Symbolic Logic 37 (4):763-764.

Analytics

Added to PP
2009-01-28

Downloads
21 (#173,985)

6 months
6 (#1,472,471)

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