一类3值逻辑2元Sheffer函数
A Class of Sheffer Functions of Two Variables in 3-Valued Logic作者机构：中国社会科学院哲学研究所
出 版 物：《华南师范大学学报（社会科学版）》 (Journal of South China Normal University：Social Science Edition)
年 卷 期：2016年第1卷第1期
页 面：169-175,192页
核心收录：
学科分类：01[哲学] 0101[哲学-哲学] 010104[哲学-逻辑学]
基 金：国家社会科学基金重点项目"提高国民逻辑素质的理论和实践探索研究"(13AZX019) 国家社会科学基金重大招标项目"应用逻辑与逻辑应用研究"(14ZDB014)
主 题：3值逻辑 Sheffer函数 S型函数 类Ci型Sheffer函数
摘 要：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函数。
维普期刊数据库
同方期刊数据库