解析拓扑学相关硕士博士期刊学术论文

在逻辑推理系统和逻辑代数系统的研究中，理想和滤子是两个重要的概念和工具.本文在剩余格上引入*-运算并使用代数工具和拓扑学方法，......