Skip to main content
SpringerLink
Log in

Theory of rejected propositions. I

  • 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

Bibliography

  1. G. Eryll,Kilka uzupelnień teorii zdań odrzuconych (Some Supplements of Theory of Rejected Sentences). Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu, Studia i Monografie Nr 22 (1969), pp. 133–154.

    Google Scholar 

  2. G. Bryll,Zwiqzki logiczne pomiędzy zdaniami nauk empirycznych (Logical Relations between Sentences of Empirical Sciences). Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu, Studia i Monografie Nr 22 (1969), pp. 155–216.

    Google Scholar 

  3. G. Bryll, M. Maduch,Aksjomaty odrzucone dla wielowartościowych logik Łukasiewicza (Rejected Axioms for Łukasiewicz's Many-Valued Logics). Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu, Matematyka VI, Logika i algebra (1969), pp. 3–19.

  4. A. Grzegorczyk,Zarys logiki matematycznej (Mathematical Logic). Warszawa 1961.

  5. L. Gumański,Uwagi o dowodzie sformalizowanym i konsekwencji (Remarks on Formalized Proof and Consequence). Studia Logica 25 (1969), pp. 151–158.

    Google Scholar 

  6. K. Kuratowski,Topologie, I, ed. 2. Monografie Matematyczne, t. XXIX, Warszawa 1948.

  7. S. Leśniewski,O podstawach matematyki (Cz. XI). Przegląd Filozoficzny, vol. 34 (1931), pp. 142–170. (See also:J. Słupecki,S. Leśniewski's Calculus of Names. Studia Logica 3 (1955), pp. 7–76).

    Google Scholar 

  8. J. Łoś,Podstawy analizy metodologicznej kanonów Milla. Annales Universitatis Mariae Curie-Skłodowska, Lublin, Sectio F, vol. II, 5 (1947).

    Google Scholar 

  9. J. Łukasiewicz,O sylogistyce Arystotelesa. Sprawozdania z czynności i posiedzeń Polskiej Akademii Umiejętności,44 (1939). (See also:J. Łukasiewicz,Z zagadnień logiki i filozofii. Warszawa 1961, pp. 220–227).

  10. J. Łukasiewicz,Aristotle's Syllogistic from the Standpoint of Modern Formal Logic. Oxford 1951.

  11. J. Łukasiewicz,On the Intuitionistic Theory of Deduction. Indagationes Mathematicae. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, Series A, no. 3 (1952), pp. 202–212.

    Google Scholar 

  12. J. Łukasiewicz,A System of Modal Logic. The Journal of Computing Systems, vol. 1, no. 3 (1953), pp. 111–149. (See also:Actes du XV 3 Congres International de Philosophie. XIV, pp. 72–78).

    Google Scholar 

  13. J. Łukasiewicz,O twórczości w nauce. Księga pamiqtkowa ku uczczeniu 250rocznicy zalożenia Uniwersytetu Lwowskiego. Lwów 1912, pp. 1–15. (See also:J. Łukasiewicz,Z zagadnień logiki i filozofii. Warszawa 1961, pp. 66–75).

  14. J. Łukasiewicz,Logika dwuwartościowa. Przegląd Filozoficzny, 23 (1921), pp. 189–205.

    Google Scholar 

  15. M. Maduch,Pewna interpretacja zdań empirycznych. Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu, Seria A, Matematyka X, Logika matematyczna (1970), pp. 43–49.

  16. A. Mostowski,Logika Matematyczna. Monografie Matematyczne. PTM, Warszawa-Wroclaw 1948.

  17. W. Pogorzelski,Klasyczny rachunek zdań. Warszawa 1969.

  18. W. A. Pogorzelski, J. Słupecki,O dowodzie matematycznym. Biblioteczka Matematyczna Nr 11. Warszawa 1962.

  19. W. A. Pogorzelski, J. Słupecki,Dowód pełności klasycznego rachunku zdań na gruncie aksjomatycznej metodologii. Zeszyty Naukowe Uniwersytetu Wrocławskiego, Seria B, nr 4 (1962).

  20. J. Słupecki,Z badań nad sylogistyką Arystotelesa. Prace Wrocławskiego Towarzystwa Naukowego, Seria B, nr 6. Wrocław 1948.

  21. J. Słupecki,Funkcja Łukasiewicza. Zeszyty Naukowe Uniwersytetu Wrocławskiego, Seria B, nr 3 (1959), pp. 33–40.

    Google Scholar 

  22. J. Słupecki, L. Borkowski,Elementy logiki matematycznej i teorii mnogości. Ed. 2, Warszawa 1966.

  23. J. Słupecki, W. A. Pogorzelski,A Variant of the Proof of the Completeness of the First Order Functional Calculus. Studia Logica, 12 (1961), pp. 125–134.

    Google Scholar 

  24. W. Staszek,Z badań nad klasyczną logiką nazw (On the Classical Logic of Names). Studia Logica, 25 (1969), pp. 169–188.

    Google Scholar 

  25. W. Staszek,On Proofs of Rejection. Studia Logica, 29 (1971).

  26. W. Staszek,O interpretacji konsekwencji odrzucaniowej (typescript).

  27. S. J. Surma,Uproszczona aksjomatyka teorii konsekwencji Tarskiego (Simplified Axiomatic for Tarski's Theory of Consequence). Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu, Seria A, Matematyka VI, Logika i algebra (1969), pp. 78–86.

    Google Scholar 

  28. R. Suszko,Concerning the Method of Logical Schemes, the Notion of logical Calculus and the Role of Consequence Relations. Studia Logica, 11 (1961), pp. 185–214.

    Google Scholar 

  29. R. Tarski,Fundamentale Begriffe der Methodologie der deduktiven Wissenschaften I. Monatshefte für Mathematik und Physik, XXXVII Band, Leipzig (1930), pp.361–404.

    Article  Google Scholar 

  30. A. Tarski,Über einige fundamentale Begriffe der Metamathematik. Comptes Rendus des séances de la Société des Sciences et des Lettres de Varsovie, Cl. III, vol. 23 (1930), pp. 22–29.

    Google Scholar 

  31. U. Wybraniec-Skardowska,Teoria zdań odrzuconych (Theory of Rejected Sentences). Zeszyty Naukowe Wyższej Szkoły Pedagogicznej) w Opolu, Studia i monografie Nr 22 (1969), pp. 5–131.

    Google Scholar 

  32. R. Wójcicki,O zasięgach niektórych teorii konsekwencji. Acta Universitatis Vratislaviensis, No 21 (1964), Prace Filozoficzne II, Wrocław.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Uniwersytet Wrocławski, Wrocław

    Jerzy Słupecki, Grzegorz Bryll & Urszula Wybraniec-Skardowska

  2. Wyższa Szkoła Inżynierska, Opole

    Jerzy Słupecki, Grzegorz Bryll & Urszula Wybraniec-Skardowska

  3. Wyższa Szkoła Pedagogiczna, Opole

    Jerzy Słupecki, Grzegorz Bryll & Urszula Wybraniec-Skardowska

Authors
  1. Jerzy Słupecki
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Grzegorz Bryll
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Urszula Wybraniec-Skardowska
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Allatum est die 30 Octobris 1970

Rights and permissions

Reprints and permissions

About this article

Cite this article

Słupecki, J., Bryll, G. & Wybraniec-Skardowska, U. Theory of rejected propositions. I. Stud Logica 29, 75–115 (1971). https://doi.org/10.1007/BF02121863

Download citation

  • Issue Date:

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

Keywords

Search

Navigation