论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 基础科学期刊 \
- 大学学报期刊 \
- 山西大学学报(自然科学版)期刊 \
L(Q)逻辑的一种保持性定理
推荐文章
(L,Q,τ,σ)上的Urysohn度量化定理
代数
德摩根双拓扑代数
共轭拟伪度量对
双双cⅡ
向前向后法证明一阶逻辑的几个定理
模型论
一阶逻辑
向前向后方法
内插定理
保持定理
一种非真值函数性模糊逻辑
模糊逻辑
布尔代数
非真值函数性
一种复合协议验证逻辑模型
复合协议
形式化分析
逻辑模型
并行复合
顺序复合
IKEv2协议
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
文献信息
| 篇名 | L(Q)逻辑的一种保持性定理 | ||
| 来源期刊 | 山西大学学报（自然科学版） | 学科 | 数学 |
| 关键词 | 子模型 扩充模型 前束标准形 | ||
| 年，卷（期） | 2000,（4） | 所属期刊栏目 | |
| 研究方向 | 页码范围 | 312-313 | |
| 页数 | 2页 | 分类号 | O141 |
| 字数 | 2827字 | 语种 | 中文 |
| DOI | 10.3969/j.issn.0253-2395.2000.04.008 | ||
五维指标
引文网络
引文网络
二级参考文献 (0)
共引文献 (0)
参考文献 (0)
节点文献
引证文献 (0)
同被引文献 (0)
二级引证文献 (0)
2000(0)
- 参考文献(0)
- 二级参考文献(0)
- 引证文献(0)
- 二级引证文献(0)
研究主题发展历程
节点文献
子模型
扩充模型
前束标准形
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
山西大学学报(自然科学版)
主办单位：
山西大学
出版周期：
季刊
ISSN：
0253-2395
CN：
14-1105/N
开本：
大16开
出版地：
太原市坞城路92号
邮发代号：
22-42
创刊时间：
1960
语种：
chi
出版文献量（篇）
2646
总下载数（次）
7
总被引数（次）
12039
期刊文献
相关文献
推荐文献
- 期刊分类
- 期刊（年）
- 期刊（期）
- 期刊推荐
力学
化学
地球物理学
地质学
基础科学综合
大学学报
天文学
天文学、地球科学
数学
气象学
海洋学
物理学
生物学
生物科学
自然地理学和测绘学
自然科学总论
自然科学理论与方法
资源科学
非线性科学与系统科学
山西大学学报(自然科学版)2022
山西大学学报(自然科学版)2021
山西大学学报(自然科学版)2020
山西大学学报(自然科学版)2019
山西大学学报(自然科学版)2018
山西大学学报(自然科学版)2017
山西大学学报(自然科学版)2016
山西大学学报(自然科学版)2015
山西大学学报(自然科学版)2014
山西大学学报(自然科学版)2013
山西大学学报(自然科学版)2012
山西大学学报(自然科学版)2011
山西大学学报(自然科学版)2010
山西大学学报(自然科学版)2009
山西大学学报(自然科学版)2008
山西大学学报(自然科学版)2007
山西大学学报(自然科学版)2006
山西大学学报(自然科学版)2005
山西大学学报(自然科学版)2004
山西大学学报(自然科学版)2003
山西大学学报(自然科学版)2002
山西大学学报(自然科学版)2001
山西大学学报(自然科学版)2000
山西大学学报(自然科学版)1999
