格值命题逻辑系统中基于滤子的MP归结演绎
격치명제라집계통중기우려자적MP귀결연역
MP Resolution Inference Based on Filter of Lattice-valued Proposition Logic System
저자의 최근 논문