Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
Springer Nature Link
Log in

Przegląd twierdzeń o dedukcji dla rachunków zdań

  • Published:
Studia Logica Aims and scope Submit manuscript

    We’re sorry, something doesn't seem to be working properly.

    Please try refreshing the page. If that doesn't work, please contact support so we can address the problem.

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

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

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

Instant access to the full article PDF.

Institutional subscriptions

Literatura Cytowana

  1. K. Ajdukiewicz,Z metodologii nauk dedukcyjnych. Lwów 1921.

  2. A. R. Anderson, N. D. Belnap, Jr.,The pure calculus of entailment. The Journal of Symbolic Logic, Vol. 27, nr 1, 1962.

  3. A. R. Anderson, N. D. Belnap, Jr.,J. R. Wallace,Independent axiom schemata for the pure theory of entailment. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, Band 6, Heft 1.

  4. R. Barcan Marcus,The deduction theorem in a functional calculus of first order based on strict implication. The Journal of Symbolic Logic, Vol. 11, nr 4, 1946.

  5. R. Barcan Marcus,Strict implication, deducibility and the deduction theorem. The Journal of Symbolic Logic, Vol. 18, Nr 3, 1953.

  6. R. Carnap,Modalities and quantification. The Journal of Symbolic Logic, Vol. 11, nr 2, 1946.

  7. A. Church,The weak positive implicational propositional calculus. The Journal of Symbolic Logic, Vol. 16, nr 3, 1951.

  8. H. B. Curry,Generalizations of the deduction theorem. Proceedings of the International Congress of Mathematicians 1954, Vol. II, Amsterdam 1954.

  9. D. Hilbert, P. Bernays,Grundlagen der Mathematik, Bd. II, Supplement III, Berlin 1939.

  10. S. Jaśkowski,On the rules of suppositions in formal logic. Studia Logica, Nr 1, Warszawa 1934.

  11. E. I. Lemmon, C. A. Meredith, D. Meredith, A. N. Prior, I. Thomas,Calculi of pure strict implication. Phil. Dep. Canterbury University College, Christchurch, New Zealand, 1957.

    Google Scholar 

  12. J. Łukasiewicz, A. Tarski,Untersuchungen über den Aussagenkalkül. Compt. rend. de la Soc. des Sciences et des Lettres de Varsovie, Cl III, 23 (1930).

    Google Scholar 

  13. Moh Shaw-Kwei,The deduction theorems and two new logical systems. Methodos, Vol. II, 5, 1950.

    Google Scholar 

  14. W. T. Parry,The postulates for “Strict Implication”. Mind, Vol. XLIII, No 169, 1934.

  15. W. A. Pogorzelski,The deduction theorem for Łukasiewicz many-valued propositional calculi. Studia Logica XV, 1964.

  16. H. A. Schmidt,Mathematische Gesetze der Logik, I Berlin-Göttingen-Heidelberg 1960.

  17. R. Suszko,Concerning the method of logical schemes, the notion of logical calculus and the role of consequence relations. Studia Logica XI, 1961.

  18. A. Tarski,Über einige fundamentale Begriffe der Metamathematik. Compt. rend. de la Soc. des Sciences et des Lettres de Varsovie, Cl III, 23 (1930).

    Google Scholar 

  19. A. Tarski,Logic, Semantics, Metamathematics. Oxford 1956.

Download references

Author information

Authors and Affiliations

  1. Uniwersytet Wrocławski, Wrocław

    Witold A. Pogorzelski

Authors
  1. Witold A. Pogorzelski
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Allatum est die 28 Junii 1963

Rights and permissions

Reprints and permissions

About this article

Cite this article

Pogorzelski, W.A. Przegląd twierdzeń o dedukcji dla rachunków zdań. Stud Logica 15, 163–178 (1964). https://doi.org/10.1007/BF02125917

Download citation

  • Published:

  • Issue Date:

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

Search

Navigation