Advertisement

Studia Logica

, Volume 24, Issue 1, pp 143–157 | Cite as

Propositional calculus for contradictory deductive systems

  • Stanisław Jaśkowski
Article

Keywords

Mathematical Logic Computational Linguistic Propositional Calculus Deductive System 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    O. Becker,Zur Logik der Modalitäten. Jahrbuch für Philosophie und Phänomenologische Forschung 11 (1930), s. 497–548.Google Scholar
  2. [2]
    R. Carnap,Modalities and quantification. Jour. of Symb. Log. 11 (1946) s. 33–64.Google Scholar
  3. [3]
    L. Chwistek,Granice nauki. Zarys logiki i metodologii nauk ścislych. Lwów-Warszawa.Google Scholar
  4. [4]
    D. Hilbert,Die logischen Grundlagen der Mathematik. Mathematische Annalen 88 (1922).Google Scholar
  5. [5]
    D. Hilbert, W. Ackermann,Grundzüge der theoretischen Logik. Berlin 1928, wyd. II Berlin 1938.Google Scholar
  6. [6]
    D. Hilbert, P. Bernays,Grundlagen der Mathematik. Bd. I Berlin 1934. Bd. II Berlin 1939.Google Scholar
  7. [7]
    S. Jaśkowski,Zagadnienia logiczne a matematyka. Myśl Współczesna r. 1947, nr 7-8 (14–15), s. 57–70.Google Scholar
  8. [8]
    S. Jaśkowski,Sur les variables propositionnelles dépendantes. Studia Societatis Scientiarum Torunensis, Sectio A. Vol. I nr 2 (1948) s. 17–21.Google Scholar
  9. [9]
    A. N. Kołmogorow,O principie tertium non datur. Matematiceskij Sbornik (Recueil Mathématique) 32 (1924–25).Google Scholar
  10. [10]
    T. Kotarbiński,Elementy teorii poznania, logiki formalnej i metodologii nauk. Lwów 1929.Google Scholar
  11. [11]
    C. I. Lewis, C. H. Langford,Symbolic Logic. New York-London 1932.Google Scholar
  12. [12]
    J. Łukasiewicz,O zasadzie sprzeczności u Arystotelesa. Kraków 1910.Google Scholar
  13. [13]
    J. Łukasiewicz,Elementy logiki matematycznej. Skrypt autoryzowany opracowal. M. Presburger Warszawa 1929.Google Scholar
  14. [14]
    S. Ossowski,Teoretyczne zadania marksizmu. Myśl Współczesna r. 1948 nr 1 (20). S. 11–12 Logika.Google Scholar
  15. [15]
    B. Russell,The principles of mathematics. Cambridge 1903. II wyd. London 1937 — New York 1938.Google Scholar
  16. [16]
    J. Słupecki,Dowód aksjomatyzowalności pelnych systemów wielowartościowych rachunku zdań. Sprawozdania z pos. Tow. Nauk. Warsz. 32 (1939) wydz. III.Google Scholar
  17. [17]
    A. Tarski,O logice matematycznej i metodzie dedukcyjnej. Warszawa (1936).Google Scholar
  18. [18]
    H. Vaihinger,Philosophie des Als-Ob. Berlin 1911.Google Scholar
  19. [19]
    M. Wajsberg,Ein erweiterter Klassenkalkül. Monatsh. Math. Phys. 40 (1933) s. 113–126.Google Scholar
  20. [20]
    A. N. Whitehead, B. Russell,Principia Mathematica Vol. 1–3. II wyd. Cambridge 1925–1927.Google Scholar
  21. [21]
    W. Wudel,Powstanie logiki wyższej. Myśl Współczesna r. 1947 nr 3 (10) s. 343–367.Google Scholar

Copyright information

© Warzawa 1969

Authors and Affiliations

  • Stanisław Jaśkowski

There are no affiliations available

Personalised recommendations