论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 综合期刊 \
- 其它期刊 \
- 重庆文理学院学报：自然科学版期刊 \
n值标准序列逻辑系统Sn的子代数及其重言式理论
n值标准序列逻辑系统Sn的子代数及其重言式理论
基本信息来源于合作网站，原文需代理用户跳转至来源网站获取
摘要：
讨论了n值标准序列逻辑系统Sn,给出了判断其子代数的充要条件，并比较了不同的逻辑系统Sn中的重言式，同时给出了逻辑系统Sn中判断公式不是重言式的充分条件．
推荐文章
逻辑系统中重言式及广义重言式的关系
重言式
广义重言式
多值逻辑系统
参数Kleene系统
子代数
逻辑系统RDP中子代数的广义重言式理论
RDP逻辑系统
广义重言式
子代数
多值逻辑系统中的子代数与广义重言式
多值逻辑
子代数
重言式
广义重言式
修正的RDP逻辑系统中子代数的广义重言式理论
修正的RDP逻辑系统
广义重言式
α-矛盾式
子代数
分划
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
文献信息
| 篇名 | n值标准序列逻辑系统Sn的子代数及其重言式理论 | ||
| 来源期刊 | 重庆文理学院学报：自然科学版 | 学科 | 数学 |
| 关键词 | 逻辑系统 子代数 重言式 | ||
| 年，卷（期） | 2008,（5） | 所属期刊栏目 | |
| 研究方向 | 页码范围 | 9-11 | |
| 页数 | 3页 | 分类号 | O141.1 |
| 字数 | 语种 | ||
| DOI | |||
五维指标
引文网络
引文网络
二级参考文献 (0)
共引文献 (0)
参考文献 (0)
节点文献
引证文献 (0)
同被引文献 (0)
二级引证文献 (0)
2008(0)
- 参考文献(0)
- 二级参考文献(0)
- 引证文献(0)
- 二级引证文献(0)
研究主题发展历程
节点文献
逻辑系统
子代数
重言式
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
重庆文理学院学报：自然科学版
主办单位：
重庆文理学院
出版周期：
双月刊
ISSN：
1673-8012
CN：
50-1183/N
开本：
出版地：
重庆市永川区红河大道319号
邮发代号：
创刊时间：
语种：
出版文献量（篇）
1769
总下载数（次）
0
期刊文献
相关文献
推荐文献
- 期刊分类
- 期刊（年）
- 期刊（期）
- 期刊推荐
重庆文理学院学报：自然科学版2012
重庆文理学院学报：自然科学版2011
重庆文理学院学报：自然科学版2010
重庆文理学院学报：自然科学版2009
重庆文理学院学报：自然科学版2008
重庆文理学院学报：自然科学版2007
重庆文理学院学报：自然科学版2006
重庆文理学院学报：自然科学版2005
重庆文理学院学报：自然科学版2004
重庆文理学院学报：自然科学版2003
重庆文理学院学报：自然科学版2002
重庆文理学院学报：自然科学版2008年第6期
重庆文理学院学报：自然科学版2008年第5期
重庆文理学院学报：自然科学版2008年第4期
重庆文理学院学报：自然科学版2008年第3期
重庆文理学院学报：自然科学版2008年第2期
重庆文理学院学报：自然科学版2008年第1期
