-
Seungrak Choi, Problems of a proof-theoretic characterization of paradoxesSynthese 206 (2): 1-26. 2025.
-
Seungrak Choi, Is the Liar Paradox Never Strictly Classical?Korean Journal of Logic 27 (3): 167-202. 2024.
-
Seungrak Choi, Which Paradox is Genuine in Accordance with the Proof-Theoretic Criterion for Paradoxicality?Korean Journal of Logic 3 (26): 145-181. 2023.
-
-
Seungrak Choi, Tennant’s Conjecture for Self-Referential Paradoxes and its Classical CounterexampleKorean Journal of Logic 1 (24): 1-30. 2021.
-
Seungrak Choi, The Identity of Proofs and the Criterion for Admissible ReductionsKorean Journal of Logic 3 (24): 245-280. 2021.
-
Seungrak Choi, The Normalization Theorem for the First-Order Classical Natural Deduction with Disjunctive SyllogismKorean Journal of Logic 2 (24): 143-168. 2021.
-
Seungrak Choi, Logical Revision by Counterexamples: A Case Study of the Paraconsistent Counterexample to Ex Contradictione QuodlibetIn Byunghan Kim, Jörg Brendle, Gyesik Lee, Fenrong Liu, R. Ramanujam, Shashi M. Srivastava, Akito Tsuboi & Liang Yu (eds.), Proceedings of the 14th and 15th Asian Logic Conferences, World Scientific Publishing Company. pp. 141-167. 2019.
-
Seungrak Choi, On Proof-Theoretic Approaches to the Paradoxes: Problems of Undergeneration and Overgeneration in the Prawitz-Tennant AnalysisDissertation, Korea University. 2019.
-
Seungrak Choi, Liar-type paradoxes and intuitionistic natural deduction systemsKorean Journal of Logic 21 (1): 59-96. 2018.
-
Seungrak Choi, Can Gödel's Incompleteness Theorem be a Ground for Dialetheism?Korean Journal of Logic 20 (2): 241-271. 2017.
-
Dong-Ryul Choo, Equality, Community, and the Scope of Distributive Justice: A Partial Defense of Cohen’s VisionSocialist Studies 10 (1): 152-173. 2014.
