基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
将带广义量词Q的一阶逻辑的二值弱模型推广到取值于完备弱可补格上,对有限的线性序弱可补格证明了省略型定理.
推荐文章
L (Q)格值模型的初等子模型
广义量词
格值模型论
初等扩充
Quantic格上的同态定理
完备格
Quantic格
同态定理
核映射
(L,Q,τ,σ)上的Urysohn度量化定理
代数
德摩根双拓扑代数
共轭拟伪度量对
双双cⅡ
Cp,q圆型域上的面积定理
Cp,q圆型域
解析函数
面积定理
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 ( )(Q)格值模型的省略型定理
来源期刊 北京大学学报(自然科学版) 学科 数学
关键词 广义量词 格值模型论 省略型定理
年,卷(期) 1999,(3) 所属期刊栏目
研究方向 页码范围 409-413
页数 5页 分类号 O141.4
字数 3663字 语种 中文
DOI 10.3321/j.issn:0479-8023.1999.03.018
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 谢惠扬 北京林业大学基础科学与信息工程学院 12 51 4.0 7.0
2 王捍贫 北京大学计算机系 14 23 3.0 4.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (0)
共引文献  (0)
参考文献  (7)
节点文献
引证文献  (2)
同被引文献  (0)
二级引证文献  (0)
1980(1)
  • 参考文献(1)
  • 二级参考文献(0)
1981(2)
  • 参考文献(2)
  • 二级参考文献(0)
1982(2)
  • 参考文献(2)
  • 二级参考文献(0)
1987(1)
  • 参考文献(1)
  • 二级参考文献(0)
1996(1)
  • 参考文献(1)
  • 二级参考文献(0)
1999(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2001(1)
  • 引证文献(1)
  • 二级引证文献(0)
2004(1)
  • 引证文献(1)
  • 二级引证文献(0)
研究主题发展历程
节点文献
广义量词
格值模型论
省略型定理
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
北京大学学报(自然科学版)
双月刊
0479-8023
11-2442/N
16开
北京海淀北京大学校内
2-89
1955
chi
出版文献量(篇)
3152
总下载数(次)
8
总被引数(次)
52842
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导