References
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).
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).
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).
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).
Łukasiewicz J.:O sylogistyce Arystotelesa (On Aristotle's syllogistic). Sprawozdanie PAU 44 (1939).
Łukasiewicz J.:Aristotle's syllogistic from the standpoint of modern formal logic. Oxford 1951.
Łukasiewicz J.:On the intuitionistic theory of deduction. Indagationes Mathematicae, Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, Series A, No. 3 (1952).
Łukasiewicz J.:A system of modal logic. The Journal of Computing Systems, Vol. 1, No. 3 (1953).
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)
Słupecki J., Bryll G., Wybraniec-Skardowska U.:Theory of rejected propositions, I. Studia Logica 29 (1971).
Wajsberg M.:Ein erweiterter Klassenkalkül. Monatshefte für Mathematik und Physik, Vol. 40 (1933).
Author information
Authors and Affiliations
Additional information
Allatum est die 30 Martii 1972
Rights 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
Issue Date:
DOI: https://doi.org/10.1007/BF02123824