Original scientific paper
Translating a Suppes-Lemmon Style Natural Deduction into a Sequent Calculus
Edi Pavlović
Full text: english pdf 107 Kb
page 79-88
downloads: 392
cite
APA 6th Edition
Pavlović, E. (2015). Translating a Suppes-Lemmon Style Natural Deduction into a Sequent Calculus. European Journal of Analytic Philosophy, 11 (2), 79-88. Retrieved from https://hrcak.srce.hr/index.php/161874
MLA 8th Edition
Pavlović, Edi. "Translating a Suppes-Lemmon Style Natural Deduction into a Sequent Calculus." European Journal of Analytic Philosophy, vol. 11, no. 2, 2015, pp. 79-88. https://hrcak.srce.hr/index.php/161874. Accessed 2 Jun. 2024.
Chicago 17th Edition
Pavlović, Edi. "Translating a Suppes-Lemmon Style Natural Deduction into a Sequent Calculus." European Journal of Analytic Philosophy 11, no. 2 (2015): 79-88. https://hrcak.srce.hr/index.php/161874
Harvard
Pavlović, E. (2015). 'Translating a Suppes-Lemmon Style Natural Deduction into a Sequent Calculus', European Journal of Analytic Philosophy, 11(2), pp. 79-88. Available at: https://hrcak.srce.hr/index.php/161874 (Accessed 02 June 2024)
Vancouver
Pavlović E. Translating a Suppes-Lemmon Style Natural Deduction into a Sequent Calculus. European Journal of Analytic Philosophy [Internet]. 2015 [cited 2024 June 02];11(2):79-88. Available from: https://hrcak.srce.hr/index.php/161874
IEEE
E. Pavlović, "Translating a Suppes-Lemmon Style Natural Deduction into a Sequent Calculus", European Journal of Analytic Philosophy, vol.11, no. 2, pp. 79-88, 2015. [Online]. Available: https://hrcak.srce.hr/index.php/161874. [Accessed: 02 June 2024]
Abstract
This paper presents a straightforward proce- dure for translating a Suppes-Lemmon style natural deduction proof into an LK sequent calculus. In doing so, it illustrates a close connection between the two, and also pro- vides an account of redundant steps in a natural deduction proof.
Keywords
natural deduction; sequent calculus
Hrčak ID:
161874
URI
https://hrcak.srce.hr/161874
Publication date:
15.7.2016.
Visits: 840
*