Hostname: page-component-7c8c6479df-7qhmt Total loading time: 0 Render date: 2024-03-27T22:56:22.991Z Has data issue: false hasContentIssue false

An undecidable two sorted predicate calculus

Published online by Cambridge University Press:  12 March 2014

A. B. Slomson*
Affiliation:
The University of Leeds

Extract

Let L be a first order predicate language with two sorts of variables and a single dyadic predicate letter whose first place is to be filled by variables of one sort and whose second place is to be filled by variables of the other sort. In answer to a question of M. H. Löb we show that there is no decision procedure for determining whether or not a sentence of L is universally valid.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 1969

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

[1]Kripke, Saul A., A completeness theorem in modal logic, this Journal, vol. 24 (1959), pp. 114.Google Scholar
[2]Kripke, Saul A., The undecidability of monadic modal quantification theory, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 8 (1962), pp. 113116.CrossRefGoogle Scholar
[3]Rogers, Hartley Jr., Certain logical reduction and decision problems, Annals of Mathematics, vol. 64 (1956), pp. 264284.CrossRefGoogle Scholar