Registry · Definition I.D21 tau-effective formalized

I.D21 — Truth4 Logic

T, F, B (both), N (neither) from polarity + stabilization. Explosion blocked structurally. Boolean logic = forgetful functor on Omega_tau.

Book I Part 12 Ch. 46

Dependency Graph

Depends on (2)

I.T05 I.D19

Depended on by (46)

I.D106 I.D41 I.P13 I.T13 II.D08 II.D17 II.D35 II.D36 II.D38 II.D42 II.D43 II.D45 II.D46 II.D48 II.D51 II.D53 II.D54 II.D59 II.D60 II.D72 II.L02 II.L03 II.L04 II.L05 II.L07 II.L08 II.L09 II.L10 II.L12 II.P02 II.P07 II.P09 II.P11 II.P13 II.P14 II.R10 II.R13 II.T26 II.T27 II.T28 II.T30 II.T31 II.T33 II.T37 II.T40 II.T46

Lean Formalization

Module: TauLib.BookI.Logic.Truth4

Symbol: Tau.Logic.Truth4