References
J. C. C. McKinsey, A. Tarski,On closed elements in closure algebras,Annals of Mathematics, 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, 13 (1948), pp. 1–15.
H. Rasiowa, R. Sikorski,The mathematics of metamathematics, PWN, Warszawa 1973.
R. Suszko,Abolition of the Fregean Axiom, in: Logic Colloquium Symposium on Logic held at Boston, 1972–73, Ed. by R. Parikh, Lecture Notes in Mathematics, vol. 453, Springer-Verlag, Berlin, Heidelberg, New York, 1975.
A. Wroński,On cardinalities of matrices strongly adequate for the intuitionistic propositional logic,Reports on Mathematical Logic, 3 (1974), pp. 67–72.
Author information
Authors and Affiliations
Additional information
Allatum est die 1 Martii 1975
Rights and permissions
About this article
Cite this article
Zachorowski, S. Proof of a conjecture of Roman Suszko. Stud Logica 34, 253–256 (1975). https://doi.org/10.1007/BF02125227
Issue Date:
DOI: https://doi.org/10.1007/BF02125227