References
H. B. Curry,Foundations of mathematical logic. New York 1963.
J. Kotas,Logical systems with implications. Studia Logica, vol. 28, 1971, p. 101–117.
J. Kotas, A. Pieczkowski,Allgemeine logische und mathematische Theorien. Zeit. Math. Logik Grundlagen Math. Vol. 16, 1970, S. 353–376.
J. Kotas, A. Pieczkowski,On a generalized cylindrical algebra and intuitionistic logic. Studia Logica, vol. 18, 1966, p. 73–81.
J. Kotas, A. Pieczkowski,A cylindrical algebra based on the Boolean Ring. Studia Logica, vol. 21, 1967, s. 71–80.
A. Tarski,Grundzüge des Systemenkalküls, Teil I. Fund. Math. Vol. 25, 1935, S. 503–506; Teil II, Fund. Math., Vol. 26, 1936, S. 283–301.
Author information
Authors and Affiliations
Additional information
Allatum est die 23 Februarii 1971
Rights and permissions
About this article
Cite this article
Kotas, J. About the equivalent theories of algebras with relations. Stud Logica 30, 79–94 (1972). https://doi.org/10.1007/BF02120836
Issue Date:
DOI: https://doi.org/10.1007/BF02120836