Existential Horn Sentences
- 1 December 1959
- journal article
- Published by JSTOR in Proceedings of the American Mathematical Society
- Vol. 10 (6) , 994-998
- https://doi.org/10.2307/2033637
Abstract
References [Enhancements On Off] (What's this?)Keywords
This publication has 4 references indexed in Scilit:
- An interpolation theorem in the predicate calculusPacific Journal of Mathematics, 1959
- On closure under direct productThe Journal of Symbolic Logic, 1958
- On sentences which are true of direct unions of algebrasThe Journal of Symbolic Logic, 1951
- The decision problem for some classes of sentences without quantifiersThe Journal of Symbolic Logic, 1943