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)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 89,528

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

Functional dependencies between variables.Natasha Alechina - 2000 - Studia Logica 66 (2):273-283.
Complete problems in the first-order predicate calculus.David A. Plaisted - 1979 - Urbana, Ill.: 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]. Edited by Marilia Rosa Millan.
First-order Frege theory is undecidable.Warren Goldfarb - 2001 - Journal of Philosophical Logic 30 (6):613-616.
Wittgensteinian Predicate Logic.Kai F. Wehmeier - 2004 - Notre Dame Journal of Formal Logic 45 (1):1-11.

Analytics

Added to PP
2009-01-28

Downloads
15 (#799,379)

6 months
1 (#1,009,728)

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