From \(p=T\) and \(p\to q=T\) follows \(q=T\): earned truth is transported.

Excluded middle, De Morgan, contraposition-as-identity and \(p\to p\) fail — all only on \(Z\), all are “truth from form”.

Contraposition survives as an inference rule while failing as an identity; double-negation elimination fails even as a rule. The deduction theorem holds only left-to-right.

\(v(p)=v(\neg p)=T\) is unsatisfiable: ZTL is paracomplete, not paraconsistent.