作者:薛占熬; 何华灿泛逻辑学蕴涵算子伴随对正则性单调性计算机技术
摘要:蕴涵算子是逻辑学研究中的重点和难点.本文首先给出泛逻辑中的一级命题连接词完整簇的非、交、并和蕴涵运算模型,证明了泛蕴涵的正则性、单调性以及它和泛"交"的伴随性,这对于进一步研究泛逻辑的形式系统和代数结构以及完备性,都具有重要的理论价值.
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社
《计算机科学》(CN:50-1075/TP)是一本有较高学术价值的大型月刊,自创刊以来,选题新奇而不失报道广度,服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《计算机科学》报导国内外计算机科学与技术的发展动态,以其新颖、准确、及时为特色,突出动态性、综述性、学术性,“前沿学科”与“基础研究”相结合;“优秀技术”与“支撑技术”相结合;“倡导”与“争鸣”相结合。
省级期刊
人气 753046 评论 72
人气 483951 评论 71
人气 462783 评论 66
部级期刊
人气 441864 评论 69