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

多值逻辑是指一切逻辑值的取值数大于2的逻辑。Sheffer函数的判定问题是多值逻辑完备性理论中的一个重要问题,此问题的解决依赖于定出多值逻辑函数集中所有准完备集的最小覆盖。在深入研究部分四值逻辑中Sheffer函数的基础上,根据部分四值逻辑中准完备集的最小覆盖,给出了一个部分四值逻辑中Sheffer函数的判定算法。此算法能够判定任意一个函数是不是部分四值逻辑中的Sheffer函数。     

部分三值逻辑中Sheffer函数的判定算法

根据部分多值逻辑的完备性理论和部分三值逻辑中准完备集的最小覆盖,给出部分三值逻辑中Sheffer函数的判定算法。     

部分四值逻辑中Sheller函数的判定与构造

根据部分K值逻辑的完备性理论和相似关系概念,利用部分多值逻辑函数集中准完备集之最小覆盖成员的判定构造了部分四值逻辑函数集P4*中的Sheffer函数.     

部分四值逻辑中Sheffer函数的判定与构造

根据部分K值逻辑的完备性理论和相似关系概念,利用部分多值逻辑函数集中准完备集之最小覆盖成员的判定构造了部分四值逻辑函数集P4^＊中的Sheffer函数。     

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

利用保关系的思想,定出了部分二值逻辑函数中准完备集的最小覆盖。从而给出了部分二值Sheffer函数的最简判定方法。该方法具有重要的理论和实际意义。     

部分二值逻辑中的判定

利用保关系的思想，定出了部分二值逻辑函数中准完备集的最小覆盖。从而给出了部分二值Sheffer函数的最简判定方法。该方法具有重要的理论和实际意义。     

部分四值逻辑中保三元正则可离关系函数集最小覆盖的确定

Sheffer函数的判定与构造是多值逻辑函数结构理论中的重要问题之一,此问题可归结为定出多值逻辑函数集之准完备集的最小覆盖.本文根据部分K值逻辑的完备性理论以及准完备集之间的相似关系理论,定出部分四值逻辑中保三元正则可离关系的准完备集之最小覆盖的成员.     

部分四值逻辑中准完备集的最小覆盖

根据部分K值逻辑的完备性理论以及准完备集之间的相似关系理论,定出了部分四值逻辑的所有准完备集的最小覆盖,从而解决了部分四值逻辑中Sheffer函数的判定问题。     

关于部分多值逻辑函数集中准完备集的若干性质

Sheffer函数的最简判定是多值逻辑函数集完备性判定问题中的一个重要的理论和实际问题.文中根据多值逻辑函数理论中“保关系”的系统思想,使用群论和组合数学的工具,研究了部分多值逻辑函数集中准完备类相应关系的若干性质.给出并证明了非空关系Gm是完全关系以及子群H是Gm的对称群的充要条件,定出了部分k值逻辑中完满对称函数类Fs,m中函数集的个数.以上工作为解决部分多值逻辑中Sheffer函数的判定提供了研究基础.     

关于部分K值逻辑中的单纯可离函数集性质的一些结果

在多值逻辑函数结构理论中，Sheffer函数的判定与构造是其中的一个重要的组成部分。其判定问题与函数集完备性之判定密切相关，而完备性之判定又可归结为定出其中的所有准完备集。对于部分多值逻辑，其函数集的完备性问题已彻底解决，即定出了其中的所有准完备集(共七类)，但其中的Sheffer函数之判定与构造问题尚未彻底解决。     

Partial Functions in a Total Setting

We discuss a scheme for defining and reasoning about partial recursive functions within a classical two-valued logic in which all terms denote. We show how a total extension of the partial function introduced by a recursive declaration may be axiomatized within a classical logic, and illustrate by an example the kind of reasoning that our scheme supports. By presenting a naive set-theoretic semantics, we show that the system we propose is logically consistent. Our work is motivated largely by the pragmatic issues arising from mechanical theorem proving – we discuss some of the practical benefits and limitations of our scheme for mechanical verification of software and hardware systems.     

Multiple-valued logic and optimization of programmable logic arrays

Shows a method of designing programmable logic arrays (PLAs) using multiple-valued input, two-valued output functions (MVITVOFs). A MVITVOF is an extension of the two-valued logic function. An expression for a MVITVOF directly represents a multiple-output PLA with decoders. Each product of the expression corresponds to each column of the PLA, so the number of products; in the expression equals the number of columns of the PLA. The array size of the PLA is proportional to the number of products; the PLA can thus be minimized by minimizing the expression     

二值命题逻辑系统的T-真度理论（I）

在二值命题逻辑系统中引入了公式的T-真度概念,并讨论其逻辑运算性质。以此为基础定义了公式的T-相似度和T-伪距离,得到了公式到有限理论结论集的T-伪距离的T-真度表示式,为研究二值命题逻辑系统基于T-真度的近似推理问题提供数值化工具。