The decision problem for some classes of sentences without quantifiers
- 1 September 1943
- journal article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 8 (3) , 61-76
- https://doi.org/10.2307/2268172
Abstract
In this paper we shall be concerned with questions regarding decision problems for certain classes of sentences (without quantifiers) of various kinds of algebra. In the first section we shall establish a result of a general nature, which enables one, in a number of cases, to reduce a decision problem of the type considered to a somewhat simpler problem. In the second section we formulate a rather broad sufficient condition for the existence of a decision method for sentences without quantifiers; and in the last section we show that this condition holds of lattices.Keywords
This publication has 5 references indexed in Scilit:
- Einführung in die kombinatorische TopologiePublished by Springer Nature ,1951
- Free LatticesAnnals of Mathematics, 1941
- Grundzüge der Theoretischen LogikPublished by Springer Nature ,1938
- On the combination of subalgebrasMathematical Proceedings of the Cambridge Philosophical Society, 1933
- Die Vollständigkeit der Axiome des logischen FunktionenkalkülsMonatshefte für Mathematik, 1930