论文部分内容阅读
基于均匀概率空间的无穷乘积，在三值标准序列逻辑系统中引入命题的α-真度概念，讨论了α-真度和α-重言式及矛盾式间的关系，给出了一般真度推理规则，为进一步引入命题间的α-相似度及伪度量奠定了基础．
三值标准序列逻辑中的α-真度理论
【摘 要】
：
基于均匀概率空间的无穷乘积，在三值标准序列逻辑系统中引入命题的α-真度概念，讨论了α-真度和α-重言式及矛盾式间的关系，给出了一般真度推理规则，为进一步引入命题间的α-相似
【机 构】
：
兰州理工大学理学院
【出 处】
：
兰州理工大学学报
【发表日期】
：
2007年1期
其他文献
国家发改委、国家能源局近日印发《清洁能源消纳行动计划(2018-2020年)》(以下简称《行动计划》),要求2018年清洁能源消纳取得显著成效,到2020年底,基本解决清洁能源消纳问题
假期，爸爸妈妈专门带我去海边体验捉螃蟹。在沙滩上东寻西找，总算找到一只和我手掌差不多大小的螃蟹。再经过爸爸的耐心指点，我费了九牛二虎之力，才将它驯服。只是，它似乎很不满意我给的“新家”，在塑料桶里气急败坏地挥着钳子抗议呢! 回到家，我把螃蟹放到盆里，与它再一次“交锋”。这只螃蟹的壳是青绿色的，它的嘴巴长在眼睛的下面。我拿来筷子轻轻敲它的背，嗬，竟发出“咚咚咚”的响声。可这一敲也把螃蟹惹恼了，只见
认为煤炭企业海外投资存在战略定位和目标不清晰，缺乏国际化人才，缺乏有效的信息渠道，缺乏投资国原著民问题处理经验，劳工和设备标准的问题。介绍了冀中能源集团采用后进式市场进
高潜水位矿区会因煤炭资源的开采使大量优质耕地沦为积水区,对矿区的粮食安全和生态经济安全造成严重影响,为了有效降低耕地的损失率和改善矿区的生态环境,以山东济宁东滩矿
建立安全、高效的腺相关病毒基因疗法是基因治疗领域持续努力的方向。随着对腺相关病毒(Adenoassociated virus,AAV)基因组和生物学特性的深入研究,研究人员基于AAV研制出了
大学生突发事件很容易引起社会的强烈反响，造成“轰动”、“放大”和”辐射”效应。大学生突发事件的处理工作是否合理、到位，事关学生的根本利益，事关学校和社会的发展、稳定。