Matrix characterization of Ciuciura's paraconsistent hierarchy $\textsf{Ciu}^n$
Logic
2023-08-14 v1
Abstract
In this paper, we will prove that the logics of the family := of paraconsistent Ciuciura{'}s Logics (defined by means of bivaluations) can be alternatively defined by means of finite matrices. This result arises from the characterization of the truth-values of the involved matrices (relative to each -logic) as being specific finite sequences of elements of the set := . Moreover, we will show along the paper that this characterization is related to the well-known standard Fibonacci Sequence, which is presented here by means of its binary expansion.
Keywords
Cite
@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}
}
Comments
18 pages