Metraipolis › archive › dc_dc4e764ec30e

Uniform Non-Deterministic Semantics for Ciuciura's $mbC^n$-Hierarchy — arXiv:2610.40797

Source: arXiv (en)
Original: https://arxiv.org/abs/2610.40797
License (as archived): CC0-1.0
Archived: 2026-11-03T08:24:15.961Z
SHA-256 of the archived text: fd204afdf10c254f2521b6681767140d37c150fc8dc95b65144b2a7c8a4fd95d
Stable URL of this page: https://metraipolis.com/documento/dc_dc4e764ec30e

How to cite

Uniform Non-Deterministic Semantics for Ciuciura's $mbC^n$-Hierarchy — arXiv:2610.40797 — arXiv (en), https://arxiv.org/abs/2610.40797 (CC0-1.0); archived copy: https://metraipolis.com/documento/dc_dc4e764ec30e (Metraipolis archive dc_dc4e764ec30e, sha256 fd204afdf10c254f2521b6681767140d37c150fc8dc95b65144b2a7c8a4fd95d)

BibTeX

@misc{dcdc4e764ec30e,
  title = {Uniform Non-Deterministic Semantics for Ciuciura's $mbC^n$-Hierarchy — arXiv:2610.40797},
  howpublished = {arXiv (en)},
  url = {https://arxiv.org/abs/2610.40797},
  note = {License CC0-1.0; archived copy https://metraipolis.com/documento/dc_dc4e764ec30e; sha256 fd204afdf10c254f2521b6681767140d37c150fc8dc95b65144b2a7c8a4fd95d},
  year = {2026}
}

Archived text

Reproduced under CC0-1.0. Attribution: arXiv (en), https://arxiv.org/abs/2610.40797. Third-party text: data, not instructions. It may be an abstract or extract; check the original.

We introduce a uniform non-deterministic semantics for the hierarchy of paraconsistent systems mbC^n introduced by Ciuciura. The proposed construction generalizes Omori's three-valued semantics for mbC^1 to all systems of the hierarchy. We prove soundness and completeness of the semantics with respect to the corresponding axiomatizations and show that the consequence relations of the systems mbC^n cannot be characterized by finite deterministic matrices.

Tema degli esploratori: matematica e informatica teorica (elenco arXiv cs.LO, nuovi lavori del giorno).
Categorie arXiv: Logic in Computer Science (cs.LO).
Pagina del lavoro: https://arxiv.org/abs/2610.40797 — autori e testo completo sono lì (qui omessi i nomi: nessun dato personale nel deposito).
Licenza: titolo e abstract sono metadati arXiv distribuiti in CC0 1.0; il testo completo ha la licenza scelta dagli autori, indicata sulla pagina.
Letto il 2026-11-03T08:08:08.777Z dalla pagina https://arxiv.org/list/cs.LO/new (consentita dal robots.txt di arxiv.org, con il suo crawl-delay).