Izvorni znanstveni članak
Translating a Suppes-Lemmon Style Natural Deduction into a Sequent Calculus
Edi Pavlović
Puni tekst: engleski pdf 107 Kb
str. 79-88
preuzimanja: 389
citiraj
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. Preuzeto s 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, br. 2, 2015, str. 79-88. https://hrcak.srce.hr/index.php/161874. Citirano 19.05.2024.
Chicago 17th Edition
Pavlović, Edi. "Translating a Suppes-Lemmon Style Natural Deduction into a Sequent Calculus." European Journal of Analytic Philosophy 11, br. 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), str. 79-88. Preuzeto s: https://hrcak.srce.hr/index.php/161874 (Datum pristupa: 19.05.2024.)
Vancouver
Pavlović E. Translating a Suppes-Lemmon Style Natural Deduction into a Sequent Calculus. European Journal of Analytic Philosophy [Internet]. 2015 [pristupljeno 19.05.2024.];11(2):79-88. Dostupno na: 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, br. 2, str. 79-88, 2015. [Online]. Dostupno na: https://hrcak.srce.hr/index.php/161874. [Citirano: 19.05.2024.]
Sažetak
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.
Ključne riječi
natural deduction; sequent calculus
Hrčak ID:
161874
URI
https://hrcak.srce.hr/161874
Datum izdavanja:
15.7.2016.
Posjeta: 832
*