Bibliografia
Jan Łukasiewicz.The Shortest Axiom of the Implicational Calculus of Propositions. Proceedings of the Royal Irish Academy, Volume 52 (1948), Section A, No. 3, p. 25–33.
Jan Łukasiewicz.On Variable Functors of Propositional Arguments. Proceedings of the Royal Irish Academy, Volume 54 (1951), Section A, No. 2, p. 25–35.
C. A. Meredith.On an Extended System of the Propositional Calculus. Proceedings of the Royal Irish Academy, Volume 54 (1951), Section A, No. 3, p. 37–47.
Jan Łukasiewicz On the Intuitionistic Theory of Deduction. Indagationes Mathematicae. Koninklijke Nederlandse Akademie van Wetenschappen—Amsterdam, Proceedings, Series A, 55, No. 3, (1952), p. 202–212.
W referowanym tutaj artykule, a tak samo w dwóch następnych, autorzy używają w kontekstach słownych wyrażeń systemu (stałych, zmiennych, wyrażeń złożonych) jako nazw tych wyrażeń. Ten sam sposób stosować będę również w niniejszym artykule, dodając nieraz przed takimi wyrażeniami słowa «symbol», «zmienna» «wyrażenie» itp. Dzięki temu moïzna zaoszczędzié ciaglego pisania cudzyslowów i referować wyniki autorów ich wlasnymi slowami.
Additional information
Artykuł sprawozdawczy
Rights and permissions
About this article
Cite this article
Borkowski, L. Z Nowszych badań nad rachunkiem zdań. Stud Logica 5, 27–41 (1957). https://doi.org/10.1007/BF02548924
Issue Date:
DOI: https://doi.org/10.1007/BF02548924