作者：任芳; 刘新颜正则蕴涵算子三角模伴随
摘要：目的研究可与三角模构成伴随的蕴涵算子,即正则蕴涵算子.方法非经典数理逻辑的语义理论.结果对正则蕴涵算子的定义进行了简化,进而介绍了一种生成正则蕴涵算子的方法,最后就某些具有特殊性质的正则算子进行了研究,得到了相应的函数特征.结论正则蕴涵算子对于建立完备的逻辑系统至关重要.
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《西北大学学报·自然科学版》（CN：61-1072/N）是一本有较高学术价值的大型双月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《西北大学学报·自然科学版》是反映理工类科研成果的自然科学综合性学术理论期刊。其办刊宗旨为：立足世界科学发展前沿，展示西部科技文化风采；兼顾理论与应用开发，崇尚学术争鸣与创新求实。
杂志详情
