three valued logic calculus

By using the ternary logic instead of the binary logic,the extended subjective logic redefines the mapping relationship and functions between the evidence space and the opinion space,and presents a new extended consensus rule.

在利用三值逻辑代替原来二值逻辑的基础上,扩展主观逻辑重新定义了事实空间与观念空间之间的映射关系和映射函数,并给出了新的扩展合意规则。

The author depicts the necessity of adopting ternary logic in fault detection, with detailed introduction of the structure and operation principle for ternary logic fault detection circuit.

闸明了应用三值逻辑进行故障检测的必要性,较详细地介绍了三值逻辑故障检测电路的结构和工作原理。

The three states are transformed via two-dimension liquid crystal element and polarizators, and ternary arithmetic operation and ternary logical calculus completed directly in this way.

三值光计算机用相互垂直的两个线偏振光和零光强三个独立的光状态表示信息；用二维液晶器件和偏振器实现此三个状态间的转换；采用三进制算术运算；直接处理三值逻辑运算；拥有巨大的数据位数(容易超过10~4位)；具有光运算、光传送、电控制等结构特色，具有很强的空间、时间并行性。

When a relational database system is implemented,three-valued logic is usually adopted to handle incomplete information.

在关系数据库系统的实现中,对不完全信息的处理通常采用三值逻辑。

Three-valued logic can not dosolve the problems,fussy logic is adopted in which the classical dichotomy of truth and falsity is smoothed out into a continuum of degrees of truth.

自然语言的模糊性对经典二值逻辑的"排中律"提出了挑战,逻辑学家引进了三值逻辑,即在二值逻辑的基础上引入第三值——不定值。

There is no tautology in the three-valued logic whose boolean connectives are Kleene implication and the negation in open-world.

Kleene三值逻辑的蕴含词"→"和开放世界假定的否定词"﹁"构成的三值命题逻辑系统没有重言式,这使得在该系统内进行推理变得比较困难,而正确刻画语义,进而进行正确推理通常是我们构造逻辑系统的目的。

Analysis is conducted on model checking for three valued logic formulae of modal transition system using existing model checking techniques.

分析了现有的模型检验技术应用于模态转移系统的三值逻辑公式的模型检验中存在的问题·提出了把模态转移系统转换成Kripke结构的算法以及三值逻辑公式转换成2个二值逻辑的算法,经过转换后可用现有的模型检验技术进行模型检验·用该算法转换后,状态数、转移数和原子命题数目与原模型呈线性关系,没有增加模型检验的复杂度

This paper presents a new neuron model (three valued logic neuron, TLN), which can express three valued logic knowledge.

提出了具有三值逻辑表达能力的神经元模型 ,即三值逻辑与神经元和三值逻辑或神经元 。

By applying a three valued logic: true(T), .

传统确定空间关系的方法是通过二元经典剖分元——实体的内部 ( χi)和外部 ( χe) ,通过对 QTM球面层次特征的分析 ,增加了第 3个剖分元——不定剖分元 (χm) ,利用三值逻辑—— true( T) ,false( F) ,和maybe( M)快速准确地确定 2球面实体的拓扑关系。

This article extends the complete conjunctive normal form and the complete disjunctive normal form of 2-valued logic into the 3-valued logic, and it proves that the 3-valued logic function set {, ∨ } and {,∧ } are complete system of function.

本文将二值逻辑中的完全析取范式、完全合取范式推广至三值逻辑中,用归约的方法证明三值逻辑算子集{,∨}和{,∧}都是函数完全的,在此基础上证明了12个三值逻辑二元算子是sheffer函数。

Missing Information and Three-valued Logic in Relation Oatabase;

关系数据库中的信息空缺与三值逻辑

Stochastic in Ternary Logic System W_3

三值逻辑系统W_3中的随机化研究

Determinant algorithm of Sheffer function in partial three-valued logic

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

Stochastic Study in Lukasiewicz's Ternary Logic System

Lukasiewicz三值逻辑系统中的随机化研究

Theory of truth degrees in Lukasiewicz three-valued propositional logic

Lukasiewicz三值逻辑中命题的真度值之集在[0,1]上的分布

A Three-valued Semantically Deductive System Based on Open-world Assumption;

基于开放世界假设的三值逻辑的语义推理系统

The Conformational and Determinant Algorithm of the Sheffer Function in Partial Two and Three-Valued Logic

部分二、三值逻辑中Sheffer函数的构造及判定算法

Optical vector-matrix multiplication based on ternary optical processor

基于三值逻辑光学处理器实现向量矩阵乘法

Theory of Truth Degree in Lukasiewicz 3-valued Propositional Loggic;

Lukasiewicz三值命题逻辑中命题的真度理论

The Minimization for Ternary Lattice Algebra Logical Function in the Form of Products of Sum;

三值格代数逻辑函数POS形式最小化

Randomization of 3-valued Gdel Propositional Logic System

三值Gdel命题逻辑系统的随机化

The Intrinsic Logic and Value Demand of "The Three 'Sheng' Education"

“三生教育”的内在逻辑与价值诉求

The conditional truth degree of formulas in lukasiewicz 3-valued logic systems L_3

三值Lukasiewicz逻辑系统L_3中命题的条件真度

Topological Characterizations of Properties of Logic Theories in Three-Valued Propositional Logic System L_3*

三值命题逻辑系统L_3~*中逻辑理论性态的拓扑刻画

Multi-possibility Logic and Aesthetic Logic: --On the Logical Base of Aesthetic Cognition;

多值逻辑与审美逻辑——论审美认知的逻辑基础

Research on the Algorithm for Copmputer Aided Design of Ternary ECL Circuits;

三值ECL逻辑电路的计算机辅助设计算法研究

Three Value Creation Logics and the Selection of Their Management Control System;

三种价值创造逻辑及其管理控制系统选择

Formal Solution to the Problem of α-triple I in Many-valued Logic System W_n;

多值逻辑系统W_n中α-三I问题的形式解