References
H. B. Curry,Foundations of mathematical logic. New York 1963.
A. Heyting,On weakened quantification, Journal of Symbolic Logic, 11, 1946, pp 119–121.
D. Hilbert, W. Ackermann,Grundzüge der theoretischen Logik. 3-e Aufl. Berlin, Götingen, Heidelberg, 1949.
S. Jaśkowski,Sur les variables propositionelles dépendantes. Studia Soc. Sci. Torunensis, Sec. A, vol. 1, 1948, pp. 17–21.
J. C. C. McKinsey, A. Tarski,On closed elements in closure algebras. Annals of Mathematics, vol. 47, 1946, pp. 122–162.
J. C. C. McKinsey, A. Tarski,Some theorems about the sentential calculi of Lewis and Heyting. Journal of Symbolic Logic, vol. 13, 1948, pp. 1–15.
A. A. Monteiro,Axiomes independants pour les algèbres de Brouwer. Rev. Un. Mat. Argentina, 17, 1955, pp. 149–160.
A. Mostowski,Logika Matematyczna. Warszawa-Wrocław, 1948.
A. Pieczkowski,On the equivalence of the calculus of dependent sentential variables and the cylindrical algebra without diagonal elements. Bull. Acad. Polon. Sci. vol. XII, No 3, 1964, pp. 143–146.
A. Tarski, L. Henkin,Cylindric algebras. Proc. of Symposia in Pure Math. vol. II. Providence, 1961.
A. Tarski, F. B. Thompson,Some general properties of cylindric algebras (abstract). Bull. Amer. Math. Soc. vol. 58, 1952.
Author information
Authors and Affiliations
Additional information
Allatum est die 1 Aprilis 1965
Rights and permissions
About this article
Cite this article
Kotas, J., Pieczkowski, A. On a generalized cylindrical algebra and intuitionistic logic. Stud Logica 18, 73–80 (1966). https://doi.org/10.1007/BF02123239
Issue Date:
DOI: https://doi.org/10.1007/BF02123239