References
- Bencivenga, E. 1986. ‘Free logics’, in D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, Volume III, Dordrecht: Reidel Publishing Company, pp. 373–426.
- Bencivenga, E. 2014. ‘Jaśkowski's universally free logic’, Studia Logica, 102 (6), 1095–102.
- Borkowski, L., and Słupecki, J. 1958. ‘A logical system based on rules and its applications in teaching mathematical logic’, Studia Logica, 7, 71–113.
- Cooley, J. C. 1942. A Primer of Formal Logic, New York: Macmillan.
- Copi, I. M. 1954. Symbolic Logic, New York: The Macmillan Company.
- Fitch, F. 1952. Symbolic Logic, New York: Ronald Press Co.
- Gentzen, G. 1934. ‘Untersuchungen über das logische Schliessen’, Mathematische Zeitschrift, 39, 176–210 and 39, 405–31.
- Indrzejczak, A. 2009. ‘Remarks on the classification of reasonings’ (Uwagi o klasyfikacji rozumowań), in R. Kleszcz (ed.), Widnokrag analityczny, Lódź: University Press, pp. 147–60.
- Indrzejczak, A. 2010. Natural Deduction, Hybrid Systems and Modal Logics, Berlin: Springer.
- Indrzejczak, A. 2015. ‘Natural deduction’, in Internet Encyclopedia of Philosophy, www.iep.utm.edu/nat-ded/, Accessed 12 November 2022.
- Indrzejczak, A. 2017. ‘Stanisław Jaśkowski and natural deduction systems’, in A. Garrido and U. Wybraniec-Skardowska (eds.), The Lvov-Warsaw School. Past and Present, Basel: Birkhäuser, pp. 465–84.
- Jaśkowski, S. 1929. ‘Theory of deduction based on suppositional directives’ (Teoria dedukcji oparta na dyrektywach założeniowych), in Ksiega Pamiatkowa I Polskiego Zjazdu Matematycznego, Kraków: Uniwersytet Jagielloński.
- Jaśkowski, S. 1934. ‘On the rules of suppositions in formal logic’, Studia Logica, 1, 5–32. [Reprinted in S. McCall (ed.), Polish Logic 1920–1939, 1967. Oxford: Oxford University Press, pp. 232–58.]
- Jaśkowski, S. 1947. Elementy logiki matematycznej i metodologii nauk ścisł ych (Elements of mathematical logic and methodology of formal sciences). Lecture notes, Toruń: Akad. Ks. Sp. SKRYPT.
- Kolmogoroff, A. 1925. ‘On the principle tertium non datur’ (O principie tertium non datur), Matematicesi Sbornik, 32, 651.
- Leśniewski, S. 1929a. ‘Über Funktionen, deren Felder Gruppen mit Rücksicht auf diese Funktionen sind’, Fundamenta Mathematicae, 13, 319–32. [English translation in: Leśniewski 1992].
- Leśniewski, S. 1929b. ‘Über Funktionen, deren Felder Abelsche Gruppen in Bezug auf diese Funktionen sind’, Fundamenta Mathematicae, 14, 242–51. [English translation in: Leśniewski 1992].
- Leśniewski, S. 1992. Collected Works, S. Surma, J. Srzednicki and D.I. Barnett (eds.), Volume I and II, Dordrecht: Kluwer/PWN.
- Nolt, J. 2010. ‘Free logic’, in N. Zalta (ed.), The Stanford Encyclopedia of Philosophy, https://plato.stanford.edu, Accessed 20 August 2022.
- Pelletier, F. J. 1999. ‘A brief history of natural deduction’, History and Philosophy of Logic, 20, 1–31.
- Pelletier, F. J., and Hazen, A. P. 2012. ‘A history of natural deduction’, in D. Gabbay, F. J. Pelletier and E. Woods (eds.), Handbook of the History of Logic, Volume 11, Amsterdam: Elsevier, pp. 341–414.
- Quine, W. V. O. 1950. Methods of Logic, New York: Holt, Rinehart and Winston.
- Rosser, J. B. 1953. Logic for Mathematicians, New York: McGraw Hill.
- Salamucha, J. 1934. ‘A proof “Ex Motu” for the existence of God: logical analysis of the argument of St. Thomas Aquinas’ (Dowód “ex motu” na istnienie Boga. Analiza logiczna argumentacji św. Tomasza z Akwinu), Collectanea Theologica, 15 (54), 53–92.
- Schroeder-Heister, P. 2012. ‘Proof-theoretic semantics’, in N. Zalta (ed.), The Stanford Encyclopedia of Philosophy, https://plato.stanford.edu, Accessed 14 August 2022.
- Słupecki, J., and Borkowski, L. 1967. Elements of Mathematical Logic and Set Theory, Oxford: Pergamon Press.
- Tarski, A. 1930. ‘Über einige fundamentalen Begriffe der Metamathematik’, Sprawozdania z Posiedzeń Towarzystwa naukowego Warszawskiego, Wydział III Nauk Matematyczno-fizycznych, 23, 22–9.
- Urbaniak, R. 2014. Leśniewski's Systems of Logic and Foundations of Mathematics, Cham: Springer.
- Von Plato, J. 2008. ‘Gentzen's proof of normalization for ND’, Bulletin of Symbolic Logic, 14 (2), 240–57.
- Von Plato, J. 2018. ‘Kurt Gödel's first steps in logic: formal proofs in arithmetic and set theory through a system of natural deduction’, Bulletin of Symbolic Logic, 24 (3), 319–35.
- Woleński, J. 1989. Logic and Philosophy in the Lvov-Warsaw School, Dordrecht: Kluwer.