论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 基础科学期刊 \
- 大学学报期刊 \
- 陕西师范大学学报(自然科学版)期刊 \
多值逻辑系统中的子代数与广义重言式
多值逻辑系统中的子代数与广义重言式
基本信息来源于合作网站，原文需代理用户跳转至来源网站获取
摘要：
研究了五个重要的多值逻辑系统Ln,Kn,Sn,Gn和Wn,讨论了这些系统子代数的特征及计数问题,以及这些系统的广义重言式理论.给出了这些系统子代数的特征性质与计数公式,证明了Ln,Sn,Gn中可达α-重言式类类不空,并探明了它们与经典逻辑系统重言式的关系.
推荐文章
逻辑系统中重言式及广义重言式的关系
重言式
广义重言式
多值逻辑系统
参数Kleene系统
子代数
逻辑系统RDP中子代数的广义重言式理论
RDP逻辑系统
广义重言式
子代数
系统H_α中的子代数的广义重言式理论
多值逻辑系统
广义重言式
子代数
分划
修正的RDP逻辑系统中子代数的广义重言式理论
修正的RDP逻辑系统
广义重言式
α-矛盾式
子代数
分划
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
文献信息
| 篇名 | 多值逻辑系统中的子代数与广义重言式 | ||
| 来源期刊 | 陕西师范大学学报（自然科学版） | 学科 | 数学 |
| 关键词 | 多值逻辑 子代数 重言式 广义重言式 | ||
| 年，卷（期） | 2000,（2） | 所属期刊栏目 | 专题研究 |
| 研究方向 | 页码范围 | 18-22 | |
| 页数 | 5页 | 分类号 | O141.1 |
| 字数 | 4353字 | 语种 | 中文 |
| DOI | 10.3321/j.issn:1672-4291.2000.02.004 | ||
五维指标
引文网络
引文网络
二级参考文献 (0)
共引文献 (0)
参考文献 (4)
节点文献
引证文献 (36)
同被引文献 (39)
二级引证文献 (488)
1997(2)
- 参考文献（2）
- 二级参考文献（0）
1998(2)
- 参考文献（2）
- 二级参考文献（0）
2000(0)
- 参考文献(0)
- 二级参考文献(0)
- 引证文献(0)
- 二级引证文献(0)
2001(2)
- 引证文献（2）
- 二级引证文献（0）
2002(3)
- 引证文献（1）
- 二级引证文献（2）
2003(2)
- 引证文献（1）
- 二级引证文献（1）
2004(15)
- 引证文献（2）
- 二级引证文献（13）
2005(22)
- 引证文献（5）
- 二级引证文献（17）
2006(26)
- 引证文献（1）
- 二级引证文献（25）
2007(46)
- 引证文献（6）
- 二级引证文献（40）
2008(54)
- 引证文献（4）
- 二级引证文献（50）
2009(69)
- 引证文献（7）
- 二级引证文献（62）
2010(54)
- 引证文献（3）
- 二级引证文献（51）
2011(51)
- 引证文献（1）
- 二级引证文献（50）
2012(43)
- 引证文献（1）
- 二级引证文献（42）
2013(34)
- 引证文献（0）
- 二级引证文献（34）
2014(23)
- 引证文献（0）
- 二级引证文献（23）
2015(46)
- 引证文献（2）
- 二级引证文献（44）
2016(14)
- 引证文献（0）
- 二级引证文献（14）
2017(6)
- 引证文献（0）
- 二级引证文献（6）
2018(10)
- 引证文献（0）
- 二级引证文献（10）
2019(4)
- 引证文献（0）
- 二级引证文献（4）
研究主题发展历程
节点文献
多值逻辑
子代数
重言式
广义重言式
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
陕西师范大学学报(自然科学版)
主办单位：
陕西师范大学
出版周期：
双月刊
ISSN：
1672-4291
CN：
61-1071/N
开本：
大16开
出版地：
陕西省西安市长安南路
邮发代号：
52-109
创刊时间：
1960
语种：
chi
出版文献量（篇）
3025
总下载数（次）
7
总被引数（次）
18459
期刊文献
相关文献
推荐文献
- 期刊分类
- 期刊（年）
- 期刊（期）
- 期刊推荐
力学
化学
地球物理学
地质学
基础科学综合
大学学报
天文学
天文学、地球科学
数学
气象学
海洋学
物理学
生物学
生物科学
自然地理学和测绘学
自然科学总论
自然科学理论与方法
资源科学
非线性科学与系统科学
陕西师范大学学报(自然科学版)2022
陕西师范大学学报(自然科学版)2021
陕西师范大学学报(自然科学版)2020
陕西师范大学学报(自然科学版)2019
陕西师范大学学报(自然科学版)2018
陕西师范大学学报(自然科学版)2017
陕西师范大学学报(自然科学版)2016
陕西师范大学学报(自然科学版)2015
陕西师范大学学报(自然科学版)2014
陕西师范大学学报(自然科学版)2013
陕西师范大学学报(自然科学版)2012
陕西师范大学学报(自然科学版)2011
陕西师范大学学报(自然科学版)2010
陕西师范大学学报(自然科学版)2009
陕西师范大学学报(自然科学版)2008
陕西师范大学学报(自然科学版)2007
陕西师范大学学报(自然科学版)2006
陕西师范大学学报(自然科学版)2005
陕西师范大学学报(自然科学版)2004
陕西师范大学学报(自然科学版)2003
陕西师范大学学报(自然科学版)2002
陕西师范大学学报(自然科学版)2001
陕西师范大学学报(自然科学版)2000
陕西师范大学学报(自然科学版)1999
