References
S. Jaśkowski:Sur les variables propositionnelles dependantes, Studia Societatis Scientiarum Torunesis, Toruń, Polonia, Vol. I, 2 (1948), p. 17–21.
S. Jaśkowski:Undecidability of first order sentences in the theory of free groupoids, Fundamenta Mathematicae, vol. XLIII, 1 (1956), p. 36–45.
L. Henkin, A. Tarski:Cylindric Algebras, Proceedings of Symposia in Pure Mathematics, Vol. II, Lattice Theory, 1961, p. 83–113.
Author information
Authors and Affiliations
Additional information
Allatum est die 23 Decembris 1966
Rights and permissions
About this article
Cite this article
Pieczkowski, A. Undecidability of the homogeneous formulas of degree 3 of the predicate calculus. Stud Logica 22, 7–14 (1968). https://doi.org/10.1007/BF02125281
Published:
Issue Date:
DOI: https://doi.org/10.1007/BF02125281