一类3值逻辑2元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函数。
3值逻辑、Sheffer函数、S型函数、类Ci型
B81-0(逻辑学(论理学))
国家社会科学基金重点项目“提高国民逻辑素质的理论和实践探索研究”13AZX019；国家社会科学基金重大招标项目“应用逻辑与逻辑应用研究”14ZDB014
2016-06-12（万方平台首次上网日期，不代表论文的发表时间）
共7页
169-175
