Skip to main content
SpringerLink
Log in

Proof of structural completeness of a certain class of implicative propositional calculi

  • 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ödel, K.:Zum intuitionistischen Aussagenkalkül. Akademie der Wissenschaften in Wien, Mathematisch-naturwissenschaftliche Klasse, Anzeiger 69 (1932), pp. 65–66.

    Google Scholar 

  2. Hilbert, D., Bernays P.:Grundlagen der Mathematik. Vol. I. Berlin (1934).

  3. Łoś J., Suszko R.:Remarks on sentential logics. Indag. Math. 20 (1958), pp. 177–183.

    Google Scholar 

  4. Łukasiewicz J., Tarski A.:Untersuchungen über den Aussagenkalkül. Comtes rendus de la Société des Sciences et des Lettres de Varsovie, Cl. III, 23 (1930), p. 3–30.

    Google Scholar 

  5. Pogorzelski W. A.:Structural completeness of the propositional calculus. Bulletin de l'Académie Polonaise des Sciences. Série des sciences math., astr. et phys. — Vol. XIX, No. 5, 1971, pp. 349–351.

    Google Scholar 

  6. Pogorzelski W. A.:Klasyczny rachunek zdań (Classical Propositional Calculus — in Polish). Warszawa 1969 PWN.

    Google Scholar 

  7. Prucnal T.:On the structural completeness of some pure implicational propositional calculi. Studia Logica, 30 (1972), pp. 45–52.

    Google Scholar 

  8. Rose A.:Formalisation du calcul propositionnel implicatif à m valeurs de Łukasiewicz. Comptes Rendus, Paris 1956.

    Google Scholar 

  9. Wroński A.:Axiomatization of the implicational Gödel's matrices by Kalmar's method. Universitas Iagellonica Acta Scientiarum Litterarumque, CCLXV, Schedae Logicae 6 (1971), pp. 89–98.

    Google Scholar 

  10. Thomas I.:Finite limitation of Dummett's LC. Notre Dame Journal of Formal Logic 3 (1962), pp. 170–174.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Silesian University in Katowice, Katowice, Poland

    Tadeusz Prucnal

Authors
  1. Tadeusz Prucnal
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Allatum est die 13 Martii 1972

Rights and permissions

Reprints and permissions

About this article

Cite this article

Prucnal, T. Proof of structural completeness of a certain class of implicative propositional calculi. Stud Logica 32, 93–96 (1973). https://doi.org/10.1007/BF02123821

Download citation

  • Issue Date:

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

Keywords

Search

Navigation