English

Free five-valued Nelson Algebras

Logic 2025-05-23 v1

Abstract

Five-valued Nelson algebras are those satisfying the condition: ((xz)y)(((yx)y)y)=1((x\to z)\to y)\to(((y \to x)\to y)\to y)=1. We give alternative equations defining these algebras, and determine the structure and number of elements of the free five-valued Nelson algebra with a finite number of free generators.

Cite

@article{arxiv.2505.15990,
  title  = {Free five-valued Nelson Algebras},
  author = {Juan Manuel Cornejo and Andrés Gallardo and Luiz F. Monteiro and Ignacio Viglizzo},
  journal= {arXiv preprint arXiv:2505.15990},
  year   = {2025}
}

Comments

36 pages, 4 figures, 2 appendices

R2 v1 2026-07-01T02:29:47.393Z