效应代数的不分明化滤子

作者：彭家寅效应代数连续值逻辑lukasiewicz蕴涵算子不分明滤子

摘要：在连续格值逻辑的语义框架下，以Lukasiewicz蕴涵算子为工具定义了连续格值逻辑上的效应代数之不分明化滤子的概念，将用G．Cantor集合理论所刻画的效应代数的滤子概念在连续格值谓词演算下给予重新刻画，给出了不分明滤子的几个等价描述和性质．在两个经典效应代数的效应态射与效应同构意义下，讨论了这种不分明滤子的像和前像问题．

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社