期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
一类3值逻辑2元Sheffer函数
被引量：
1
1
作者
杜国平
《华南师范大学学报（社会科学版）》
CSSCI
北大核心
2016年第1期169-175,192,共7页
3值逻辑Sheffer函数研究是多值逻辑重要的基础理论之一。通过给出严格的相互可定义性,54个3值2元S型函数可分为相互定义的10个组,并且可分为3种类型:117型、135型和333型。其中,117型6个,135型36个,333型12个。通过严格的定义可以证明:...
3值逻辑Sheffer函数研究是多值逻辑重要的基础理论之一。通过给出严格的相互可定义性,54个3值2元S型函数可分为相互定义的10个组,并且可分为3种类型:117型、135型和333型。其中,117型6个,135型36个,333型12个。通过严格的定义可以证明:只有333型中的6个不是Sheffer函数,其余48个均为Sheffer函数。在此基础上,可以进一步发现并证明大量的其他类Ci型和类Di型Sheffer函数。
展开更多
关键词
3值逻辑
sheffer
函数
S
型
函数
类ci型sheffer函数
在线阅读
下载PDF
职称材料
题名
一类3值逻辑2元Sheffer函数
被引量：
1
1
作者
杜国平
机构
中国社会科学院哲学研究所
出处
《华南师范大学学报（社会科学版）》
CSSCI
北大核心
2016年第1期169-175,192,共7页
基金
国家社会科学基金重点项目"提高国民逻辑素质的理论和实践探索研究"(13AZX019)
国家社会科学基金重大招标项目"应用逻辑与逻辑应用研究"(14ZDB014)
文摘
3值逻辑Sheffer函数研究是多值逻辑重要的基础理论之一。通过给出严格的相互可定义性,54个3值2元S型函数可分为相互定义的10个组,并且可分为3种类型:117型、135型和333型。其中,117型6个,135型36个,333型12个。通过严格的定义可以证明:只有333型中的6个不是Sheffer函数,其余48个均为Sheffer函数。在此基础上,可以进一步发现并证明大量的其他类Ci型和类Di型Sheffer函数。
关键词
3值逻辑
sheffer
函数
S
型
函数
类ci型sheffer函数
Keywords
3-valued logic
sheffer
functions
S-function
a class of
ci
-
sheffer
functions
分类号
B81-0 [哲学宗教—逻辑学]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
一类3值逻辑2元Sheffer函数
杜国平
《华南师范大学学报（社会科学版）》
CSSCI
北大核心
2016
1
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
