2021/09/13 by J. P. Fatelo, Fatelo, J. P., Nelson Martins-Ferreira +1
Computer Science · #03C48 #03G25 #06D30 #06E05 #Advanced Algebra and Logic #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
paper · pdf · doi:10.48550/arxiv.2109.06259
openalex publication_date 2021/09/13 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We present a new approach to ternary Boolean algebras in which negation is derived from the ternary operation. The key aspect is the replacement of complete commutativity by other axioms that do not require the ternary operation to be symmetric.