Invitation to Submit
제출 안내
The International Conference on Mathematical Logic and Proof Theory , organized by the Korean Society for Academic Advancement (KSAA), invites original and high-quality research contributions from researchers, academicians, and professionals across all disciplines. Submissions are accepted in the form of research papers, case studies, and review articles aligned with the conference themes and academic focus areas.
International Conference on Mathematical Logic and Proof Theory , 한국학술진흥학회(KSAA)가 주최하는 본 학술대회는 다양한 분야의 연구자, 학자 및 전문가들로부터 우수한 연구 논문을 모집합니다. 논문, 사례 연구 및 리뷰 논문 등 학술대회 주제에 부합하는 연구 결과를 제출할 수 있습니다.
Research Papers
연구 논문
Case Studies
사례 연구
Review Articles
리뷰 논문
Research Areas
연구 분야
Foundations Of Mathematical Logic
Proof Theory And Computational Complexity
Applications Of Proof Theory In Mathematics
Constructive Logic And Its Implications
Ordinal Analysis In Proof Theory
Proof-theoretic Semantics And Applications
Non-classical Logics In Proof Theory
Proofs And Programs: A Correspondence
Proof Theory In Automated Reasoning
Categorical Proof Theory And Its Uses
Consistency Proofs In Mathematical Logic
Proofs Of Completeness And Soundness
Applications Of Proof Theory In Ai
Proof-theoretic Approaches To Set Theory
Modal Logic And Proof Theory
Proof Theory Of Arithmetic And Analysis
Proofs In Higher-order Logics
Philosophical Implications Of Proof Theory
Proof Theory And Its Historical Development
Connections Between Proof Theory And Model Theory
Review & Acceptance
심사 및 채택
All submissions will undergo a peer review process. Accepted papers may be presented at the conference and considered for further academic dissemination.
모든 제출 논문은 동료 심사 과정을 거치며, 채택된 논문은 학술대회 발표 및 추가 학술 확산의 기회를 갖게 됩니다.