Abstract
Using the semantic embedding technique the theorem announced by the title is proved.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
S. Burris and H. P. Sankappanavar, A Course in Universal Algebra, Springer Verlag, New York 1981.
J. Erschow and I. Lavrov, A. Taimanov and M. Taiclin, Elementary theories, Russian Mathematical Surveys 20 (1965), pp. 35–105.
K. Iseki and S. Tanaka, An introduction to the theory of BCK-algebras, Mathematica Japonica 23 (1978), pp. 1–26.
M. Rabin, A simple method for undecidability proofs and some applications, in Y. Bar — Hillel (ed.), Logic, Methodology, Philosophyof Science, Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdam, pp. 58–68.
V. Sehtman, An undecidable superintuitionistic propositional calculus, Soviet. Math. Dokl. 19 (1978), pp. 656–660.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Pałasiński, M. No non-trivial quasivariety of BCK-algebras has decidable first order theory. Stud Logica 46, 343–345 (1987). https://doi.org/10.1007/BF00370645
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF00370645