Registry · Definition VII.D53 tau-effective formalized

VII.D53 — Temporalization Operators

Tense, aspect, mood as functors on propositions; mathematical structure of symbolic time.

Book VII Part 5 Ch. 56

Lean Formalization

Module: TauLib.BookVII.Meta.Saturation

Symbol: Tau.BookVII.Meta.Saturation.TemporalizationOperators