位置：成果数据库 > 期刊 > 期刊详情页
有限可补格上的一阶格值逻辑几个性质
  • ISSN号：0583-1431
  • 期刊名称：《数学学报》
  • 时间：0
  • 分类：O141.4[理学—数学;理学—基础数学]
  • 作者机构：[1]华北电力大学数理系,北京102206, [2]北京师范大学信息科学学院,北京100875
  • 相关基金：国家自然科学基金资助项目（60273015）
作者： 童雪[1], 别荣芳[2]
关键词： 强特征式, 正规逻辑系统, 格值模型论, strong character, regular logic, lattice-valued model theory
中文摘要：

本文建立了格值逻辑的正规性概念，证明了具有强特征式的有限可补格上的一阶格值逻辑是正规逻辑，并证明了Fraise定理在其上成立．

英文摘要：

This paper sets up regularity on lattice-valued logic, proves that the first order lattice-valued logic with the lattice being finite, inverse and having strong character formula is regular and that Fraise theorem holds on it.

同期刊论文项目
项重写系统等价性的形式自动证明
期刊论文 13 会议论文 3 著作 10
同项目期刊论文
一种改进的分水岭人脑MR图像分割方法
基于数据挖掘的蔬菜图片病害自动分类
一种新的中文文本分类算法
基于人工免疫网络的k-平均聚类算法的研究
免疫遗传算法在排课问题中的应用
中国象棋Alpha-Beta搜索算法的研究与改进
动态虚拟私有网络:一种新的VPN实现方案
汉语分词技术研究现状与应用展望
博弈树搜索算法概述
基于概念层次网络的小学应用题句类分析和知识提取
博弈树搜索算法在中国象棋中的应用
一些5次数环的具有Goldbach性质的扩环
期刊信息
  • 《数学学报》
  • 北大核心期刊（2011版）
  • 主管单位:中国科学院
  • 主办单位:中国科学院数学与系统科学研究院数学研究院
  • 主编：李炳仁
  • 地址：北京市海淀区中关村东路55号
  • 邮编：100080
  • 邮箱：Actamath@amss.ac.cn
  • 电话：010-62551910
  • 国际标准刊号：ISSN：0583-1431
  • 国内统一刊号：ISSN：11-2038/O1
  • 邮发代号:2-502
  • 获奖情况:
  • 1996年中科院优秀科技期刊二等奖,1997年全国优秀科技期刊二等奖,2000年中科院优秀科技期刊二等奖
  • 国内外数据库收录:
  • 美国数学评论（网络版）,德国数学文摘,荷兰文摘与引文数据库,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:9981