Skip to main content
SpringerLink
Log in

On Jaśkowski-type semantics for the intuitionistic propositional 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. G. Birkhoff,Lattice theory, Providence, Rhode Island, 1967.

  2. S. Jaśkowski,Recherches sur le système de la logique intuitioniste,Actes du Congrès International de Philosophie Scientifique VI. Philosophie des Mathématiques. Actualités Scientifiques et Industrielles, 393 (1936), pp. 58–61.

    Google Scholar 

  3. C. G. McKay,A note on Jaśkowski sequence,Zeitschrift fur mathematische Logik und Grundlagen der Mathematik, 13 (1967), pp. 95–96.

    Google Scholar 

  4. F. G. Rose,Propositional calculus and realizability,Transactions of the American Mathematical Society, 75 (1953), pp. 1–19.

    Google Scholar 

  5. K. Segerberg,Proof of a conjecture of McKay,Fundamenta Mathematicae, 81 (1974), pp. 267–270.

    Google Scholar 

  6. C. Smorynski,Investigations of the intuitionistic formal systems by means of Kripke models, Doctoral dissertation, Stanford University, 1972.

  7. S. J. Surma,Jaśkowski's matrix criterion for the intuitionistic propositional calculus,Studies in the History of Mathematical Logic, Cracow, 1973, pp. 87–121.

  8. A. S. Troelstra,On intermediate propositional logics,Indagationes Mathematicae, 27 (1965), pp. 141–152.

    Google Scholar 

  9. A. Wroński,Intermediate logics and the disjunction propergy,Reports on Mathematical Logic, 1 (1973), pp. 39–51.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Jagiellonian University, Cracow

    Stanisław J. Surma, Andrzej Wroński & Stanisław Zachorowski

Authors
  1. Stanisław J. Surma
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Andrzej Wroński
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Stanisław Zachorowski
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Surma, S.J., Wroński, A. & Zachorowski, S. On Jaśkowski-type semantics for the intuitionistic propositional logic. Stud Logica 34, 145–148 (1975). https://doi.org/10.1007/BF02123383

Download citation

  • Issue Date:

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

Keywords

Search

Navigation