Registry · Proposition
I.P27
tau-effective
formalized
I.P27 — Paraconsistent Character
The earned topos E_tau has a Boolean lattice (Omega_tau = 2x2, complement law holds) but paraconsistent material implication (B => F = N != T, explosion fails). The subobject complement law fails: elements with chi_S in {B, N} belong to neither S nor S^c. Boolean lattice coexists with paraconsistent implication — a structural consequence of the two spectral sectors.
Book I
Part 14
Ch. 56