论文降重
免费查重
Syntax theory of finite lattice-valued propositional logic
基本信息来源于合作网站，原文需代理用户跳转至来源网站获取
摘要：
推荐文章
Nested Lattice编码多址接入方案的研究与分析
Nested Lattice编码
多址接入
不同结构
基于Lattice Boltzmann方法的翼型绕流数值模拟
Lattice Boltzmann
非均匀
贴体网格
低雷诺数
翼型
Lattice E2CMOS技术探讨与研究
在系统可编程
浮栅
擦除
隧道
计算明渠非恒定流的一个Lattice BGK模型
明渠
非恒定流
模拟
Lattice Boltzmann方法
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
文献信息
| 篇名 | Syntax theory of finite lattice-valued propositional logic | ||
| 来源期刊 | 中国科学 | 学科 | 数学 |
| 关键词 | 格值命题逻辑 法理 代数理论 等价关系 命题演算 演绎定理 有限格 操作 | ||
| 年，卷（期） | zgkx_2013,（8） | 所属期刊栏目 | |
| 研究方向 | 页码范围 | 173-184 | |
| 页数 | 12页 | 分类号 | O141.3 |
| 字数 | 语种 | 中文 | |
| DOI | |||
五维指标
引文网络
引文网络
二级参考文献 (0)
共引文献 (0)
参考文献 (0)
节点文献
引证文献 (0)
同被引文献 (0)
二级引证文献 (0)
2013(0)
- 参考文献(0)
- 二级参考文献(0)
- 引证文献(0)
- 二级引证文献(0)
研究主题发展历程
节点文献
格值命题逻辑
法理
代数理论
等价关系
命题演算
演绎定理
有限格
操作
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
期刊文献
相关文献
推荐文献
- 期刊分类
- 期刊（年）
- 期刊（期）
- 期刊推荐
中国科学2013年第9期
中国科学2013年第8期
中国科学2013年第7期
中国科学2013年第6期
中国科学2013年第5期
中国科学2013年第4期
中国科学2013年第3期
中国科学2013年第2期
中国科学2013年第12期
中国科学2013年第11期
中国科学2013年第10期
中国科学2013年第1期
农药市场信息
中国石油和化工经济分析
工业审计与会计
建筑市场与招标投标
中国粉体工业
国土资源高等职业教育研究
供电企业管理
能源
工业经济论坛
金山企业管理
中国制衣
中国废钢铁
机电产品市场
湖南烟草
中国服饰
当代电力文化
机械工业信息与网络
上海工业
中国汽配市场
中国建材资讯
航空工业经济研究
中国汽车界
安徽水利财会
科技浪潮
广西电力建设科技信息
中国汽车
新能源经贸观察
饲料博览(企业管理版)
石油人力资源
中国有色建设
广西烟草
农机导购
中船重工
福建纸业信息
21世纪：理论实践探索
阿尔茨海默氏病研究进展（英文）
安防技术
鞍钢矿山
鞍钢自动化
安徽财会
安徽城市金融
安徽档案
安徽电力科技信息
安徽纺织
安徽工运
安徽建材
安徽节能
安徽农村金融
安徽农机
安徽钱币
安徽软科学研究
安徽水利水电
安徽商贸职业技术学院学报
安徽省情省力
安徽统一战线
阿克苏科技
爱乐
阿勒泰科技
安庆石化
安庆医学
A＆S：安防工程商
A＆S：安全＆自动化
鞍山社会科学
艾滋病（英文）
安装技术应用
癌症治疗（英文）
博爱
宝安科技
暴雨．灾害
棒棒英语（中、英文对照）
冰川冻土译报
宝成航空科技
蹦床与技巧
宝鼎科技
21世纪：理论实践探索
阿尔茨海默氏病研究进展（英文）
安防技术
鞍钢矿山
鞍钢自动化
安徽财会
安徽城市金融
安徽档案
安徽电力科技信息
安徽纺织
安徽工运
安徽建材
安徽节能
安徽农村金融
安徽农机
安徽钱币
安徽软科学研究
安徽水利水电
安徽商贸职业技术学院学报
安徽省情省力
安徽统一战线
阿克苏科技
爱乐
阿勒泰科技
安庆石化
安庆医学
A＆S：安防工程商
A＆S：安全＆自动化
鞍山社会科学
艾滋病（英文）
安装技术应用
癌症治疗（英文）
博爱
宝安科技
暴雨．灾害
棒棒英语（中、英文对照）
冰川冻土译报
宝成航空科技
蹦床与技巧
宝鼎科技
