Ciuciura 次协调层次 $\textsf{Ciu}^n$ 的矩阵刻画
逻辑
2023-08-14 v1
摘要
在本文中，我们将证明由双值赋值定义的次协调 Ciuciura 逻辑族 := 中的逻辑可借助有限矩阵另加定义。该结果源于将所涉矩阵的真值（相对于每个 -逻辑）刻画为集合 := 中元素的特定有限序列。此外，我们将在文中表明，这一刻画与著名的标准斐波那契数列相关，此处通过其二进制展开给出该数列。
引用
@article{arxiv.2308.05850,
title = {Matrix characterization of Ciuciura's paraconsistent hierarchy $\textsf{Ciu}^n$},
author = {Víctor Fernández and Gabriela Eisenberg},
journal= {arXiv preprint arXiv:2308.05850},
year = {2023}
}
备注
18 pages