Skip to main content
SpringerLink
Log in

On a generalized cylindrical algebra and intuitionistic logic

  • Published:
Studia Logica Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  1. H. B. Curry,Foundations of mathematical logic. New York 1963.

  2. A. Heyting,On weakened quantification, Journal of Symbolic Logic, 11, 1946, pp 119–121.

    Google Scholar 

  3. D. Hilbert, W. Ackermann,Grundzüge der theoretischen Logik. 3-e Aufl. Berlin, Götingen, Heidelberg, 1949.

  4. S. Jaśkowski,Sur les variables propositionelles dépendantes. Studia Soc. Sci. Torunensis, Sec. A, vol. 1, 1948, pp. 17–21.

    Google Scholar 

  5. J. C. C. McKinsey, A. Tarski,On closed elements in closure algebras. Annals of Mathematics, vol. 47, 1946, pp. 122–162.

    Google Scholar 

  6. 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.

    Google Scholar 

  7. A. A. Monteiro,Axiomes independants pour les algèbres de Brouwer. Rev. Un. Mat. Argentina, 17, 1955, pp. 149–160.

    Google Scholar 

  8. A. Mostowski,Logika Matematyczna. Warszawa-Wrocław, 1948.

  9. 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.

    Google Scholar 

  10. A. Tarski, L. Henkin,Cylindric algebras. Proc. of Symposia in Pure Math. vol. II. Providence, 1961.

  11. A. Tarski, F. B. Thompson,Some general properties of cylindric algebras (abstract). Bull. Amer. Math. Soc. vol. 58, 1952.

Download references

Author information

Authors and Affiliations

  1. Uniwersytet im. M. Kopernika, Toruń

    Jerzy Kotas & August Pieczkowski

Authors
  1. Jerzy Kotas
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. August Pieczkowski
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Allatum est die 1 Aprilis 1965

Rights and permissions

Reprints 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

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02123239

Keywords

Search

Navigation