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

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookI.Topos.EarnedTopos

Symbol: Tau.Topos.earned_topos_paraconsistent