Skip to main content
SpringerLink
Log in

Interpretations of classical implicational sentential calculus in nonclassical implicational 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. K. Gödel,Zum intuitionistischen Aussagenkalkül,Akademie der Wissenschaften in Wien, Mathematisch-Naturwissenchaftliche Klasse, Anzeiger, vol. 69 (1932), pp. 65–66.

    Google Scholar 

  2. D. Hilbert andP. Bernays,Grundlagen der Mathematik, vol. I. Berlin, 1934.

  3. J. Łukasiewicz andA. Tarski,Untersuchungen über den Aussagenkalkül,Comptes Rendus des Séances de la Sociéte des Sciences et des Lettres de Varsovie, Classe III, 23 (1930), pp. 3–30.

    Google Scholar 

  4. W. A. Pogorzelski,The deduction theorem for Łukasiewicz many-valued propositional calculi,Studia Logica, 15 (1964), pp. 7–24.

    Google Scholar 

  5. W. A. Pogorzelski,Nota o modelach dwuwartościowej logiki implikacyjno-negacyjnej w wielowartościowych logikach Łukasiewicza,Acta Universitatis Wratislaviensis, 52 (1966), pp. 93–98.

    Google Scholar 

  6. D. Prawitz andP. E. Malmnäs,A survey of some connections between classical, intuitionistic and minimal logic,Contributions to mathematical logic, North-Holland Publ. Co., Amsterdam, 1968, pp. 215–229.

    Google Scholar 

  7. A. Tarski,Über die Erweiterungen der unvollständigen Systeme des Aussagenkalküls,Ergebnisse eines mathematischen Kolloquiums, Heft 7 (1934).

  8. M. Tokarz andR. Wójcicki,The problem of reconstructability of propositional calculi,Studia Logica, 28 (1971), pp. 119–130.

    Google Scholar 

  9. R. Wójcicki,On reconstructability of the classical propositional logic in intuitionistic logic.,Bulletin de l' Académie Polonaise des Sciences,Série des sciences math., astr. et phys., vol. 18, No. 8 (1970), pp. 421–422.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Mathematics, Silesian University, Katowice

    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 24 Novembris 1972

Rights and permissions

Reprints and permissions

About this article

Cite this article

Prucnal, T. Interpretations of classical implicational sentential calculus in nonclassical implicational calculi. Stud Logica 33, 59–64 (1974). https://doi.org/10.1007/BF02120866

Download citation

  • Issue Date:

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

Keywords

Search

Navigation