国际教育论坛系列讲座（一百一十五）

报告题目：Unit-less substructural semilinear logics 报告将系统介绍无单位元的子结构半线性逻辑的最新研究成果，重点探讨基于 manorm 等模糊聚合算子所构建的逻辑系统的语义结构与完备性问题。

Eunsuk Yang（양은석），现任韩国全北国立大学（Jeonbuk National University）哲学系教授，主要从事逻辑学、模糊逻辑及其代数语义方面的研究。Yang教授长期致力于子结构逻辑（substructural logic）、模糊逻辑（fuzzy logic）、相关逻辑（relevance logic）、非结合逻辑以及代数语义和标准完备性等领域的研究，尤其在基于 t-norm、uninorm、micanorm、mianorm 和 manorm 等模糊聚合算子的逻辑系统方面开展了系统性工作。

他先后研究和建立了多类弱化自由、非结合以及无单位元的子结构模糊逻辑，并研究了相应的代数完备性、矩阵语义和标准完备性。近年来，其研究进一步拓展至无单位元的 manorm 及其剩余结构、基于 manorm 的子结构半线性逻辑，以及与 overlap function、OG-function 及其推广相关的逻辑理论，在模糊聚合算子与数理逻辑之间的交叉研究方面形成了较为系统的研究体系。