ReLU Network Identification via Łukasiewicz Logic

Two deep ReLU networks are functionally equivalent if and only if one can be transformed into the other using specific axioms from Łukasiewicz many-valued logic. This framework provides a complete symbolic calculus for characterizing the nonuniqueness of ReLU architectures and parameters across integer, rational, and real weight types.