Ciuciura的可矛盾层次的矩阵特征
摘要：通过有限矩阵，我们将证明对于由双值法定义的可反正的Ciuciura逻辑家族$Ciu^n$，它们的逻辑可以用另一种方式来定义。这一结果源于所涉及矩阵的真值（相对于每个$Ciu^n$-逻辑）被定义为特定的有限$2$元素序列。此外，我们还将通过本文表明，该特征与著名的标准斐波那契数列有关，并通过其二进制展开形式进行展示。
作者：V''ictor Fern''andez, Gabriela Eisenberg
论文ID：2308.05850
分类：Logic
分类简称：math.LO
提交时间：2023-08-14