部分多值逻辑中Sheffer函数的判定

发布时间：2022-08-13 17:18

　　多值逻辑是由二值逻辑扩展而来的。经典的二值逻辑只有两个状态，即“真”和“假”，任何命题“非真即假”，二者必居其一，即排中律成立。然而，客观世界的事物是十分复杂的，有些事物在某些情况下不是二值逻辑所能描述的。于是，便产生了多值逻辑。 多值逻辑的研究内容主要包括多值逻辑的数学理论、多值电路与多值系统、多值逻辑的应用三个方面的内容。现在它已成为计算机科学技术的重要分支。 本文在第一章中，系统地总结了国内外在多值逻辑函数完备性理论方面取得的成果，详细讨论了完全和部分多值逻辑函数的完备性理论成果；并讨论了Sheffer函数的判定问题；最后介绍了国际上多值逻辑研究中与计算机科学技术相关的一些新的研究动向。 本文在第二章中，研究了部分多值逻辑中Sheffer函数的判定问题，取得了以下成果： 1．证明了一类完满对称函数集必须在部分多值逻辑中的极大封闭集的最小覆盖中出现。 2．证明了一类单纯可离函数集必须在部分多值逻辑中的极大封闭集的最小覆盖中出现。 3．证明了几类完满对称函数集必然不在部分多值逻辑中的极大封闭集的最小覆盖中出现。 4．证明了几类正则可离函数集必... 

【文章页数】：62 页

【学位级别】：硕士

【文章目录】：
前言
第一章 多值逻辑函数的完备性理论综述
    第一节 完全多值逻辑函数
    第二节 部分多值逻辑函数
    第三节 Sheffer函数
    第四节 多值逻辑研究的一些新动向
第二章 部分K值逻辑中Sheffer函数的判定
    第一节 完满对称函数集中在最小覆盖中的成员
    第二节 单纯可离函数集中在最小覆盖中的成员
    第三节 几类不是最小覆盖成员的函数集
总结与展望
参考文献
攻读硕士学位期间公开发表的论文


【参考文献】：
期刊论文
[1]关于部分K值逻辑Sheffer函数判定的一些结果（II）[J]. 肖凡,刘任任.  湘潭大学自然科学学报. 2002(02)
[2]关于部分K值逻辑中Sheffer函数判定的一些结果（Ⅰ）[J]. 肖凡,刘任任.  湘潭大学自然科学学报. 2001(03)
[3]关于K值Sheffer函数[J]. 罗铸楷,王雷.  湘潭大学自然科学学报. 1998(03)
[4]关于部分K值逻辑中准完备集之最小覆盖的一些结果（Ⅲ）[J]. 刘任任.  湘潭大学自然科学学报. 1995(03)
[5]部分K值逻辑中准完备集之最小复盖的一些结果（Ⅰ）[J]. 刘任任.  湘潭大学自然科学学报. 1992(01)
[6]部分多值逻辑函数集中的极大封闭集[J]. 罗铸楷.  数学学报. 1984(06)
[7]部分多值逻辑函数的完备性理论[J]. 罗铸楷.  数学学报. 1984(05)
[8]多值逻辑中所有极大封闭集之确定问题[J]. 罗铸楷.  数学学报. 1980(01)



本文编号：3677437