Yeonhong Kim(김연홍)

텍쟁이

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

Interests

substructural logic, fuzzy logic, forcing.

Hobbies

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

2025.9–: Ph.D. in Philosophy (in progress), Jeonbuk National University

Thesis

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

Papers

• (2026) "Standard completeness of substructural fuzzy predicate logic MICAL∀". Korean Journal of Logic 29(1) pp. 19--46.

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.
• 2025. 10. 25. Commentary: Monotone logics without identity. 2025 Conference of Korean Philosophers.

Notes

• 준비중

Codes

• LaTeX 양식(준비중)

• Tips(YELL)