Registry · Theorem VII.T26 tau-effective formalized

VII.T26 — Inference from Kernel Structure

Inference rules are structural necessities derived from the kernel, not conventions; modus ponens as morphism composition.

Book VII Part 6 Ch. 71

Dependency Graph

Depends on (1)

VII.T22

Lean Formalization

Module: TauLib.BookVII.Ethics.CIProof

Symbol: Tau.BookVII.Ethics.CIProof.inference_from_kernel