Studia Logica

, Volume 15, Issue 1, pp 7–19 | Cite as

The deduction theorem for Łukasiewicz many-valued propositional calculi

  • Witold A. Pogorzelski
Article

Keywords

Positive Expression Propositional Calculus Positive Logic Deduction Theorem Great System 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    A. Church:The weak positive implicational propositional calculus, The Journal of Symbolic Logic, Vol. 16, No. 3, 1951.Google Scholar
  2. [2]
    A. Church:Introduction to mathematical logic, Vol. I, Princeton 1956.Google Scholar
  3. [3]
    H. B. Curry:Generalizations of the deduction theorem, Proceedings of the International Congress of Mathematicians, 1954, Vol. II, Amsterdam 1954.Google Scholar
  4. [4]
    D. Hilbert, P. Bernays:Grundlagen der Mathematik, Bd I, Bd II (Supplement III), Berlin 1934–1939.Google Scholar
  5. [5]
    J. Łoś, R. Suszko:Remarks on sentential logics, Proc. Kon. Neth. Akad. van Weten., ser. A, 61, 177–183, 1958.Google Scholar
  6. [6]
    J. Łukasiewicz, A. Tarski:Untersuchungen über den Aussagenkalkül, Comptes rendus de la Société des Sciences et des Lettres de Varsovie, Cl. III, 23 (1930).Google Scholar
  7. [7]
    J. Słupecki:Uogólnienie twierdzenia Lindenbauma, Sprawozdania z Prac Naukowych Wydz. Nauk Społecznych PAN, zeszyt 4/61, Warszawa 1962.Google Scholar
  8. [8]
    R. Suszko:Concerning the method of logical schemes, the notion of logical calculus and the role of consequence relations, Studia Logica, XI, 1961.Google Scholar
  9. [9]
    A. Tarski:Über einige fundamentale Begriffe der Metamathematik, Comptes rendus de la Société des Sciences et des Lettres de Varsovie, Cl. III (1939).Google Scholar

Copyright information

© Państwowe Wydawnictwo Naukowe 1964

Authors and Affiliations

  • Witold A. Pogorzelski
    • 1
  1. 1.Uniwersytet WrocławskiWrocław

Personalised recommendations