Skip to main content

ETHNOS_APP

Home • Search • Journals • List 0

Seungrak Choi

Biographic Data

ID5996272
NAMESeungrak Choi
GIVEN NAMESSeungrak
FAMILY NAMEChoi
SIGNATURECHOI S
AFFILIATIONSHallym Polytechnic University
ORCID0000-0001-9087-6249
VERIFIEDYes
TOTAL WORKS2
TOTAL CITATIONS0
WORKS AS AUTHOR2
WORKS AS EDITOR0
FIRST PUBLICATION YEAR2022
LATEST PUBLICATION YEAR2025
H-INDEX0
  • Problems of a proof-theoretic characterization of paradoxes

    Open Access•Seungrak Choi•ARTICLE•Synthese•2025•References: 34

  • Is there an inconsistent primitive recursive relation

    Open Access•Seungrak Choi•ARTICLE•Synthese•2022•References: 16

No prominent works on this page.

  • Is there an inconsistent primitive recursive relation

    Open Access•Seungrak Choi•ARTICLE•Synthese•2022•References: 16

  • Problems of a proof-theoretic characterization of paradoxes

    Open Access•Seungrak Choi•ARTICLE•Synthese•2025•References: 34

Epistemology (2 works) · Logic, programming, and type systems (2 works) · Logic, Reasoning, and Knowledge (2 works) · Mathematics (2 works) · Metaphysics (2 works) · Philosophy (2 works) · Philosophy of language (2 works) · Advanced Algebra and Logic (1 work) · Argument (complex analysis) (1 work) · Burden of proof (1 work)

Ethnos_APP • Open Source Project • MIT License • Frontend v2.0.0 • Privacy and Cookies • API Documentation: api.ethnos.app/docs • API Source Code: GitHub • DOI: 10.5281/zenodo.17049435 • Frontend Source Code: GitHub • DOI: 10.5281/zenodo.17050053 • cruz.rio.br • Expectantes Misericordiae