咨询与建议
  • 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 数据库导航
  • 超星发现
高级检索

限定检索结果

文献类型

  • 15 篇 期刊文献

馆藏范围

  • 15 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 11 篇 理学
    • 11 篇 数学
  • 7 篇 哲学
    • 7 篇 哲学
  • 1 篇 工学
    • 1 篇 控制科学与工程
    • 1 篇 计算机科学与技术...
    • 1 篇 软件工程
  • 1 篇 管理学
    • 1 篇 管理科学与工程(可...

主题

  • 15 篇 格值模型论
  • 4 篇 定理
  • 3 篇 力迫方法
  • 3 篇 紧致性
  • 3 篇 当且仅当
  • 3 篇 定义
  • 2 篇 无限基数
  • 2 篇 正规逻辑系统
  • 2 篇 广义量词
  • 2 篇 fm逻辑
  • 2 篇 强特征式
  • 2 篇 有限子集
  • 1 篇 极限环
  • 1 篇 年刊
  • 1 篇 多值模型
  • 1 篇 丢番图方程
  • 1 篇 拟线性双曲型方程...
  • 1 篇 格值逻辑
  • 1 篇 检索工具
  • 1 篇 连续出版物

机构

  • 6 篇 北京师范大学
  • 2 篇 华北电力大学
  • 2 篇 西南交通大学
  • 2 篇 北京林业大学
  • 2 篇 北京大学
  • 1 篇 湖州师专
  • 1 篇 湖州师范专科学校...

作者

  • 3 篇 别荣芳
  • 2 篇 谢惠扬
  • 2 篇 沈云付
  • 2 篇 秦克云
  • 2 篇 沈复兴
  • 2 篇 徐扬
  • 2 篇 童雪
  • 2 篇 王捍贫
  • 1 篇 宋振明
  • 1 篇 卢景波
  • 1 篇 王世强
  • 1 篇 wang hanpin
  • 1 篇 rong fang bie
  • 1 篇 张玉平
  • 1 篇 xie huiyang
  • 1 篇 沈呈民
  • 1 篇 xue tong

语言

  • 15 篇 中文
检索条件"主题词=格值模型论"
共 15 条 记 录，以下是11-20 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
FM逻辑的紧致性与Lwenheim-Skolem性
收藏
分享
引用
科学通报 1998年 第4期43卷 371-375页
作者： 秦克云 徐扬 宋振明 西南交通大学 成都610031
讨论了FM模型的若干性质 。
来源： 评论
(Q)格值模型的省略型定理
收藏
分享
引用
北京大学学报（自然科学版） 1999年 第3期35卷 409-413页
作者： 王捍贫 谢惠扬 北京大学计算机系 北京林业大学基础科学与信息工程学院
将带广义量词Ｑ的一阶逻辑的二值弱模型推广到取值于完备弱可补格上，对有限的线性序弱可补格证明了省略型定理。
来源： 评论
FM逻辑的紧致性与Lowenheim-Skolem性
收藏
分享
引用
科学通报 1998年 第4期
作者： 秦克云 徐扬 西南交通大学
讨论了FM模型的若干性质,给出了FM逻辑的紧致性定理及LOWENHEIM－SKOLEM性定理.
来源： 评论
数理逻辑与数学基础有限可补格上的一阶格值逻辑几个性质
收藏
分享
引用
中国学术期刊文摘 2008年 第9期14卷 10页
作者： 童雪 别荣芳 华北电力大学数理系 北京102206北京102206
建立了格值逻辑的正规性概念,证明了具有强特征式的有限可补格上的一阶格值逻辑是正规逻辑,并证明了Fraise定理在其上成立.
来源： 评论
数学年刊 第7卷 A辑 1986年总目录
收藏
分享
引用
数学年刊A辑(中文版) 1986年 第6期 709-711+713-717页
来源： 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共2页 <<  < 1 2 >  >>
回到顶部
执行限定条件