Advertisement

Studia Logica

, Volume 27, Issue 1, pp 81–90 | Cite as

On the algebra of classes of formulae of Jaśkowski's discussive system

  • Jerzy Kotas
Article

Keywords

Mathematical Logic Computational Linguistic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliography

  1. [1]
    H. B. Curry,Foundations of mathematical logic. New York, 1963.Google Scholar
  2. [2]
    S. Jaśkowski,Rachunek zdań dla systemów dedukcyjnych sprezecznych. Studia Soc. Scient. Torunensis, sec. A, vol. 1, (1948), pp. 23–35.Google Scholar
  3. [3]
    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.Google Scholar
  4. [4]
    S. Jaśkowski,Sur les variables propositionelles dépendantes. Studia Soc. Scient. Torunensis, sec. A, vol. 1, 1948, pp. 17–21.Google Scholar
  5. [5]
    P. Jordan,Quantenlogik und das kommutative Gesetz. The axiomatic method, Amsterdam, 1959, pp. 365–375.Google Scholar
  6. [6]
    J. Kotas, A. Pieczkowski,A cylindrical algebra based on the Boolean ring. Studia Logica, vol. XXI, (1967), pp. 71–80.Google Scholar
  7. [7]
    J. Kotas, A. Pieczkowski,Allgemeine logische und mathematische Theorien. Zeitschr. f. math. Logik und Grundlagen d. Math. 16, 1970, pp. 353–356.Google Scholar
  8. [8]
    C. I. Lewis, C. Langford,Symbolic Logic. New York, 1959.Google Scholar
  9. [9]
    J. E. Rubin,Remarks about a closure algebra in which closed elements are open. Proc. Amer. Math. Soc. Vol. 7, (1956), pp. 30–34.Google Scholar
  10. [10]
    A. Tarski, L. Henkin,Cylindric algebras. Proc. of Symposia in Pure Math. vol. II, (1961), Lattice theory, pp. 83–113.Google Scholar
  11. [11]
    A. Tarski, J. C. C. McKinsey,On closed elements in closure algebras. Ann. of Math. vol. 47, (1946), pp. 122–162.Google Scholar

Copyright information

© Warszawa 1971

Authors and Affiliations

  • Jerzy Kotas
    • 1
  1. 1.Uniwersytet im. M. KopernikaToruń

Personalised recommendations