Yeonhong Kim(김연홍)

텍쟁이

Picture 1:Association for Less Walking(덜 걷기 협회, 2024. 12. 7)

Interests

Main interests

Forcing, substructural logic, fuzzy logic + mammals, birds, and water bears.

Hobbies

German idealism, critical theory, formal argumentation, computability, type theory, category theory, birdwatching.

Curriculum Vitae

2019.2: B.A. in Philosophy, Chonnam National University

2020-2021: Military Service, ROK Air Force

2025.8: M.A. in Philosophy, Jeonbuk National University

• Advisor: Prof. Dr. Eunsuk Yang

Thesis

• M. A. in 2025. 8. 22. Urquhart–Fine-Style Semantics of u-Locally-Associative Logics.

Papers

Books

Conferences

• 2024. 8. 13. Eunsuk, Y. and I. Urquhart-Style Semantics for U-Weakly-Assosicative Semilinear Logics(draft). 2024 Summer conference of Korean Association for Logic. Slides: 4x3, 5x4, 16x9, 16x10
• 2025. 1. 14. Standard completeness of weak-u-associative uninorm logics(student talk). The Fourth Korea Logic Day.

Notes

• 준비중

Codes

• LaTeX 양식(준비중)

• Tips(YELL)