Registry · Lemma VII.L10 tau-effective formalized

VII.L10 — Truth4 Paraconsistency

Book I's four-valued truth naturally supports paraconsistent logic; dialetheia as gluing obstructions, not catastrophes.

Book VII Part 6 Ch. 74

Dependency Graph

Depends on (1)

Depended on by (1)

Lean Formalization

Module: TauLib.BookVII.Ethics.CIProof

Symbol: Tau.BookVII.Ethics.CIProof.truth_4_paraconsistency