Skip to main content
SpringerLink
Log in

Proof of Ł-decidability of Lewis system S5

  • 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. Bryll G., Maduch M.:Aksjomaty odrzucone dla wielowartościowych logik Łukasiewicza (Rejected axioms for many-valued logics of Łukasiewicz). Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu, Matematyka VI (1969).

  2. Bryll G., Rosiek M.:Nota o Ł-rozstrzygalnósci pewnej logiki modalnej Łukasiewicza (Note on Ł-decidability of a modal logic of Łukasiewicz). Zeszyty Naukowe Wyższej Szkoły Pedagogicznej im. Powstańców Śląskich w Opolu, Matematyka XIII (1972).

  3. Bryll G., Słupecki J.:Pewien dowód pelności systemu S5Lewisa (A proof of completeness of Lewis system S5). Zeszyty Naukowe Wyższej Szkoly Pedagogicznej im. Powstańców Śląskich w Opolu, Matematyka XIII (1972).

  4. Gniazdowski A.:Nieistnienie skończonych pelnych ukladów aksjomatów odrzuconych dla pewnych logik zdaniowych (Non-existence of finite complete systems of rejected axioms for certain propositional logics). Zeszyty Naukowe Wyższej Szkoły Pedagogicznej im. Powstańców Śląskich w Opolu, Matematyka XIII (1972).

  5. Łukasiewicz J.:O sylogistyce Arystotelesa (On Aristotle's syllogistic). Sprawozdanie PAU 44 (1939).

  6. Łukasiewicz J.:Aristotle's syllogistic from the standpoint of modern formal logic. Oxford 1951.

  7. Łukasiewicz J.:On the intuitionistic theory of deduction. Indagationes Mathematicae, Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, Series A, No. 3 (1952).

  8. Łukasiewicz J.:A system of modal logic. The Journal of Computing Systems, Vol. 1, No. 3 (1953).

  9. Maduch M.:O Łukasiewiczowskich regułach odrzucania (On Łukasiewicz's rules of rejection). Zeszyty Naukowe Wyższej Szkoły Pedagogicznej im. Powstańców Śląskich w Opolu, Matematyka XIII (1972)

  10. Słupecki J., Bryll G., Wybraniec-Skardowska U.:Theory of rejected propositions, I. Studia Logica 29 (1971).

  11. Wajsberg M.:Ein erweiterter Klassenkalkül. Monatshefte für Mathematik und Physik, Vol. 40 (1933).

Download references

Author information

Authors and Affiliations

  1. Uniwersytet im. B. Bieruta, Wrocław

    Jerzy Słupecki & Grzegorz Bryll

  2. Wyższa Szkoła Pedagogiczna im. Powstańców Śląskich, Opole

    Jerzy Słupecki & Grzegorz Bryll

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

Additional information

Allatum est die 30 Martii 1972

Rights and permissions

Reprints and permissions

About this article

Cite this article

Słupecki, J., Bryll, G. Proof of Ł-decidability of Lewis system S5. Stud Logica 32, 99–105 (1973). https://doi.org/10.1007/BF02123824

Download citation

  • Issue Date:

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

Keywords

Search

Navigation