English

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 Ciun\textsf{Ciu}^n:={Ciun}nω\{Ciu^n\}_{n \in \omega} 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 CiunCiu^n-logic) as being specific finite sequences of elements of the set 22 := {0,1}\{0,1\}. 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