ISSN 0258-2724
CN 51-1277/U
EI Compendex
Scopus 收录
全国中文核心期刊
中国科技论文统计源期刊
中国科学引文数据库来源期刊
首页
期刊介绍
在线期刊
优先发表
当期目录
过刊浏览
下载排行
浏览排行
被引排行
高级检索
数据集
主题专刊
特色栏目
交通土建
交通运输
机械工程
电气工程
新闻公告
投稿须知
期刊订阅
联系我们
English
所有
标题
作者
关键词
摘要
Doi
栏目
作者地址
基金
中图分类号
首页
期刊介绍
在线期刊
优先发表
当期目录
过刊浏览
下载排行
浏览排行
被引排行
高级检索
数据集
主题专刊
特色栏目
交通土建
交通运输
机械工程
电气工程
新闻公告
投稿须知
期刊订阅
联系我们
English
格蕴涵代数
徐扬
文章导航
>
西南交通大学学报
>
1993
>
6(1): 20-27.
徐扬. 格蕴涵代数[J]. 西南交通大学学报, 1993, 6(1): 20-27.
引用本文:
徐扬. 格蕴涵代数[J]. 西南交通大学学报, 1993, 6(1): 20-27.
徐扬. 格蕴涵代数[J]. 西南交通大学学报, 1993, 6(1): 20-27.
引用本文:
徐扬. 格蕴涵代数[J]. 西南交通大学学报, 1993, 6(1): 20-27.
PDF下载
( 0 KB)
格蕴涵代数
徐扬
计量
文章访问数:
1024
HTML全文浏览量:
46
PDF下载量:
128
被引次数:
0
出版历程
刊出日期:
1993-02-25
摘要
HTML全文
图
(0)
表
(0)
参考文献
(0)
相关文章
施引文献
附加材料
(0)
访问统计
摘要
摘要:
本文将格与蕴涵代数结合在一起,建立了格蕴涵代数,并讨论了它的一些基本性质, 为从语义的角度研究格值逻辑系统奠定了必要的基础.
关键词:
格
/
蕴涵代数
/
逻辑
HTML全文
参考文献
(0)
相关文章
施引文献
附加材料
(0)
访问统计
PDF下载
( 0 KB)
XML下载
导出引用
Turn off MathJax
点击查看大图
计量
文章访问数:
1024
HTML全文浏览量:
46
PDF下载量:
128
被引次数:
0
出版历程
刊出日期:
1993-02-25
目录
×
Close
导出文件
文件类别
RIS(可直接使用Endnote编辑器进行编辑)
Bib(可直接使用Latex编辑器进行编辑)
Txt
引用内容
引文——仅导出文章的Citation信息
引文和摘要——导出文章的Citation信息和文章摘要信息
/
下载:
全尺寸图片
幻灯片
返回文章
分享
用微信扫码二维码
分享至好友和朋友圈
返回