论文标题
循环否定和四名
Cyclic Negations and Four-valuedness
论文作者
论文摘要
我们考虑了四种有价值语义的示例，其部分受量子计算的启发，并在其中发生了类似否定的操作。特别是，我们将这四个有价值语义中所谓的否定平方根的表示形式表示为骑自行车的否定作用。我们定义了两个在真实值集上执行不同顺序的逻辑矩阵的变体。我们研究的纯正式逻辑结果包括将定义矩阵的逻辑作为二元后果关系系统的逻辑以及这些演绎系统的正确性和完整定理。
We consider an example of four valued semantics partially inspired by quantum computations and negation-like operations occurred therein. In particular we consider a representation of so called square root of negation within this four valued semantics as an operation which acts like a cycling negation. We define two variants of logical matrices performing different orders over the set of truth values. Purely formal logical result of our study consists in axiomatizing the logics of defined matrices as the systems of binary consequence relation and proving correctness and completeness theorems for these deductive systems.
