pith. sign in
module module low

IndisputableMonolith.Linguistics.SemanticRelationsFromConfigDim

show as:
view Lean formalization →

Module defines semantic relations derived from configuration dimension in Recognition Science. Researchers extending RS to formal linguistics cite it for grounding semantic structures in physical constants. It is a definition-only module with no proofs.

claimIntroduces SemanticRelation derived from configuration dimension, together with semanticRelation_count and SemanticRelationsCert.

background

Module resides in the linguistics domain of Recognition Science and imports the fundamental time quantum τ₀ = 1 tick from Constants. It introduces definitions for SemanticRelation, its count, and a certificate, all extracted from configuration dimension. The setting links RS constants to semantic structures via the imported framework.

proof idea

this is a definition module, no proofs

why it matters in Recognition Science

Supplies base definitions for semantic relations that feed into SemanticRelationsCert and larger RS linguistics constructions, though no direct downstream uses are listed.

depends on (1)

Lean names referenced from this declaration's body.

declarations in this module (4)