Bibliography
H. B. Curry,Foundations of mathematical logic. New York, 1963.
S. Jaśkowski,Rachunek zdań dla systemów dedukcyjnych sprezecznych. Studia Soc. Scient. Torunensis, sec. A, vol. 1, (1948), pp. 23–35.
S. Jaśkowski,O koniunkcji dyskusyjnej w rachunku zdań dla systemów dedukcyjnych sprzecznych. Studia Soc. Scient. Torunensis, sec. A, vol. 1, (1949), pp. 171–172.
S. Jaśkowski,Sur les variables propositionelles dépendantes. Studia Soc. Scient. Torunensis, sec. A, vol. 1, 1948, pp. 17–21.
P. Jordan,Quantenlogik und das kommutative Gesetz. The axiomatic method, Amsterdam, 1959, pp. 365–375.
J. Kotas, A. Pieczkowski,A cylindrical algebra based on the Boolean ring. Studia Logica, vol. XXI, (1967), pp. 71–80.
J. Kotas, A. Pieczkowski,Allgemeine logische und mathematische Theorien. Zeitschr. f. math. Logik und Grundlagen d. Math. 16, 1970, pp. 353–356.
C. I. Lewis, C. Langford,Symbolic Logic. New York, 1959.
J. E. Rubin,Remarks about a closure algebra in which closed elements are open. Proc. Amer. Math. Soc. Vol. 7, (1956), pp. 30–34.
A. Tarski, L. Henkin,Cylindric algebras. Proc. of Symposia in Pure Math. vol. II, (1961), Lattice theory, pp. 83–113.
A. Tarski, J. C. C. McKinsey,On closed elements in closure algebras. Ann. of Math. vol. 47, (1946), pp. 122–162.
Author information
Authors and Affiliations
Additional information
Allatum est die 23 Junii 1969
Rights and permissions
About this article
Cite this article
Kotas, J. On the algebra of classes of formulae of Jaśkowski's discussive system. Stud Logica 27, 81–90 (1971). https://doi.org/10.1007/BF02282553
Issue Date:
DOI: https://doi.org/10.1007/BF02282553