论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 基础科学期刊 \
- 大学学报期刊 \
- 河南大学学报(自然科学版)期刊 \
关于模态公理系统P1-P5的布尔值
关于模态公理系统P1-P5的布尔值
基本信息来源于合作网站，原文需代理用户跳转至来源网站获取
摘要：
证明与模态命题系统S2-S4等价的系统P2-P4的布尔值为1，而分别与S1和S5等价的系统P1和P5的布尔值不能确定. 由此，证明了VB是P2-P4的布尔值模型.
推荐文章
关于扇形图P_1∨P_n 的零维数
邻接矩阵
谱
零维数
扇形图
奇异性
P2P文件共享系统中基于分类名誉值的信任机制
文件共享
P2P(Peer-To-Peer)
名誉
CMARCH机制
多付钱率
基于信任值的P2P网络访问控制模型
P2P网络
访问控制
基于信任的模型
基于贡献值的P2P资源共享激励机制
P2P
贡献值
激励机制
搭便车
资源分配
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
文献信息
| 篇名 | 关于模态公理系统P1-P5的布尔值 | ||
| 来源期刊 | 河南大学学报(自然科学版) | 学科 | 数学 |
| 关键词 | 布尔值 模态公理系统 严格蕴涵系统 | ||
| 年，卷（期） | 2001,（2） | 所属期刊栏目 | 数学 |
| 研究方向 | 页码范围 | 12-16 | |
| 页数 | 5页 | 分类号 | O144 |
| 字数 | 2354字 | 语种 | 中文 |
| DOI | 10.3969/j.issn.1003-4978.2001.02.003 | ||
五维指标
引文网络
引文网络
二级参考文献 (0)
共引文献 (0)
参考文献 (1)
节点文献
引证文献 (2)
同被引文献 (1)
二级引证文献 (2)
1998(1)
- 参考文献（1）
- 二级参考文献（0）
2001(0)
- 参考文献(0)
- 二级参考文献(0)
- 引证文献(0)
- 二级引证文献(0)
2002(1)
- 引证文献（1）
- 二级引证文献（0）
2003(1)
- 引证文献（1）
- 二级引证文献（0）
2005(1)
- 引证文献（0）
- 二级引证文献（1）
2019(1)
- 引证文献（0）
- 二级引证文献（1）
研究主题发展历程
节点文献
布尔值
模态公理系统
严格蕴涵系统
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
河南大学学报(自然科学版)
主办单位：
河南大学
出版周期：
双月刊
ISSN：
1003-4978
CN：
41-1100/N
开本：
大16开
出版地：
河南省开封市明伦街85号
邮发代号：
36-27
创刊时间：
1934
语种：
chi
出版文献量（篇）
2535
总下载数（次）
17
总被引数（次）
14463
期刊文献
相关文献
推荐文献
- 期刊分类
- 期刊（年）
- 期刊（期）
- 期刊推荐
力学
化学
地球物理学
地质学
基础科学综合
大学学报
天文学
天文学、地球科学
数学
气象学
海洋学
物理学
生物学
生物科学
自然地理学和测绘学
自然科学总论
自然科学理论与方法
资源科学
非线性科学与系统科学
河南大学学报(自然科学版)2022
河南大学学报(自然科学版)2021
河南大学学报(自然科学版)2020
河南大学学报(自然科学版)2019
河南大学学报(自然科学版)2018
河南大学学报(自然科学版)2017
河南大学学报(自然科学版)2016
河南大学学报(自然科学版)2015
河南大学学报(自然科学版)2014
河南大学学报(自然科学版)2013
河南大学学报(自然科学版)2012
河南大学学报(自然科学版)2011
河南大学学报(自然科学版)2010
河南大学学报(自然科学版)2009
河南大学学报(自然科学版)2008
河南大学学报(自然科学版)2007
河南大学学报(自然科学版)2006
河南大学学报(自然科学版)2005
河南大学学报(自然科学版)2004
河南大学学报(自然科学版)2003
河南大学学报(自然科学版)2002
河南大学学报(自然科学版)2001
河南大学学报(自然科学版)2000
河南大学学报(自然科学版)1999
