The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
Bilattice-Catastrophe Isomorphism for Four-Valued Logic in Digital Systems
Belnap's four-valued logic, distinguished by its inherent bilattice structure, provides a natural algebraic bridge between discrete Four-valued logic (4VL) in circuit and continuous catastrophe theory (CT). Building on the rigorous verification of the bilattice-catastrophe isomorphism theorem, we establish a categorical correspondence spanning the catastrophe category, interlaced bilattice category, and 4VL category, with the cusp catastrophe emerging as the canonical CT counterpart to 4VL.This unification provides a foundational framework for explaining 4VL's robustness. Crucially, we demonstrate that the four-valued algebra FOUR is the minimal complete algebraic structure capable of describing continuous-discrete interfaces with involution symmetry. Unlike the empirical adoption of X and Z in engineering practice, our work reveals their mathematical necessity: X and Z are topological invariants of discretized continuous dynamical systems, encoding fundamental properties of catastrophe-induced discontinuities. The work enables cross-disciplinary extensions to uncertainty propagation, complex system modeling, and fault-tolerant design.
A copy is held
pdf, 1.2 MB. Not published — it may be under
copyright. The facts and links here are.
@misc{wu2026bilatticecatastrophe,
title = {Bilattice-Catastrophe Isomorphism for Four-Valued Logic in Digital Systems},
author = {Jiu Hui Wu and Hua Tian and Mengqi Yuan and Kejiang Zhou},
year = {2026},
}