Registry · Definition VII.D64 tau-effective formalized

VII.D64 — Paraconsistent Boundary Logic

Four-valued truth (true, false, both, neither) at boundaries supports paraconsistent reasoning; contradictions at boundaries do not propagate.

Book VII Part 6 Ch. 74

Dependency Graph

Depended on by (3)

VII.L10 VII.T29 VII.T39

Lean Formalization

Module: TauLib.BookVII.Ethics.CIProof

Symbol: Tau.BookVII.Ethics.CIProof.ParaconsistentBoundaryLogic