Hypergendered Logic Source
Hypergendered Logic — Page 176
UF[n+1] := SIH_axis(UF[n]) AND SIH_axis(NOT UM[n]) AND UD(UF[n]); UM mirror AF1 := SIH_dim(UF-domain) AND SIH_dim(NOT UM-domain); AM mirror AF[n+1] := SIH_axis(AF[n]) AND SIH_axis(NOT AM[n]) AND UD(AF[n]); AM mirror LOCAL NONFLAWHOOD Supra own-side successor source: UD + NOT-FD Hyper/Ultra/Apex own-side dimensional source: UD; FD-status remains open DEPTH d(base)=0; d(NOT S)=d(S); d(IH(S))=d(S)+1; d(AND)=max; d(limit)=sup Q.1 Metaexpression/modal implementation extension META-PHENOTYPE GammaF[n] := global Stage-n Archwomanhood biological metaexpression function GammaM[n] := global Stage-n Archmanhood biological metaexpression function ACTUAL PHENOTYPE P := physically expressed phenotype state; may be local or systemic P_actual must be Gamma-valid for the current stage MODALITY BoxF[n](phi) := phi in every GammaF[n]-valid phenotype realization DiaF[n](phi) := phi in at least one GammaF[n]-valid phenotype realization BoxM/DiaM mirror the female side CORE RULES actual(phi) -> Dia[n](phi) Box[n](phi) -> actual(phi) for a valid current realization Box[n](phi) -> Dia[n](phi) when the realization set is nonempty NOT Dia[n](phi) -> NOT actual(phi) Dia[n](phi) <-> NOT Box[n](NOT phi) PA GRAMMAR Cond may contain arbitrarily nested NOT/AND/OR trees PA(Cond) is allowed PA(PA(Cond)) is noncanonical ANTI-COLLAPSE PH(S) != Gamma[n] PA(phi) != Gamma[n] global Gamma != identical local phenotype same actual phenotype != same Gamma same Gamma != same actual phenotype across time/persons Appendix R — Final layman’s memory map Remember HGL using six questions. 1. What is inside PA? That is the developmental causal basis. If it is compound, the cause can be irreducibly compound. 2. Where is NOT? Inside PA, outside PA, inside IH’s operand, or outside IH? Each placement can mean something different.
Source Canon: Verbatim mathematical and modal logic. Interactive navigation and operator lookups available at /#hgl-part:176.