Hypergendered Logic Source

Hypergendered Logic — Page 175

HGL Source Framework · Page 175 of 293 · Source: Hypergendered Logic

IH​
 IH(source) := inherit inheritable logical/state properties of source with provenance​
 IH(source) => source​
 source !=> IH(source)​
​
PH / NOT-PH​
 PH(source) := irreducibly possess the complete HGL phenotype-profile of source as a whole​
 NOT PH(source) := deny complete possession of that source-profile as a whole​
 PH(NOT source) != NOT PH(source)​
​
FD / UD​
 FD(a) := a physically instantiated feature whose presence decreases the quality of ANY extent of physical 
structure/form​
 UD(a) := a physically instantiated feature whose presence significantly increases the quality of the whole 
physical structure/form​
 NOT FD(a) !=> UD(a)​
 UD(a) !=> NOT FD(a)​
​
SIGNIFICANT QUALITY​
 Q(S)=<mu(S),delta(S)>​
 SQI(q1,q2) iff mu(q2)>mu(q1)​
 same-magnitude delta improvement is ordinary improvement, not SQI​
​
CANONICAL SUPRA STAGES​
 SF1 := PA(x AND NOT y)​
 SM1 := PA(NOT x AND y)​
​
 SF2 := IH(SF1) AND IH(NOT SM1) AND PH(SF1) AND NOT PH(SM1)​
 AND UD(SF1) AND PA(x) AND PA(NOT y) AND NOT FD(SF1)​
 SM2 := IH(SM1) AND IH(NOT SF1) AND PH(SM1) AND NOT PH(SF1)​
 AND UD(SM1) AND PA(NOT x) AND PA(y) AND NOT FD(SM1)​
​
 for every defined ordinal alpha >= 2:​
 SF[alpha+1] := IH(SF[alpha]) AND IH(NOT SM[alpha]) AND PH(SF[alpha])​
 AND NOT PH(SM[alpha]) AND UD(SF[alpha]) AND NOT FD(SF[alpha])​
 SM[alpha+1] := IH(SM[alpha]) AND IH(NOT SF[alpha]) AND PH(SM[alpha])​
 AND NOT PH(SF[alpha]) AND UD(SM[alpha]) AND NOT FD(SM[alpha])​
​
LIMIT STATE​
 Limit(lambda) => SF^lambda := LimF(lambda); SM^lambda := LimM(lambda)​
 for beta<lambda, LimF yields IH(SF^beta), IH(NOT SM^beta), PH(SF^beta),​
 NOT PH(SM^beta), UD(SF^beta), NOT FD(SF^beta)​
 male mirror exact​
 no PH(NOT opposite), no UD(NOT opposite), and no opposite FD/NOT-FD default​
​
QUALITY BRIDGES​
 StageSucc(S,T) AND UD_T(S) => SQI(Q(S),Q(T)) [SUQB]​
 ConstructedLimit(lambda) => Q(S^lambda) >= sup_{beta<lambda} Q(S^beta) [LQSA]​
 DimLift(S,T) AND UD_T(S) => SQI(Q(S),Q(T)) [DUQB]​
 canonical category lift => SQI(completed source category, target seed) [CSQB]​
​
HYPER / ULTRA / APEX​
 HF1 := SIH_axis(SF1) AND SIH_axis(NOT SM1); HM mirror​
 HF[n+1] := SIH_axis(HF[n]) AND SIH_axis(NOT HM[n]) AND PH(HF[n])​
 AND NOT PH(HM[n]) AND UD(HF[n]); HM mirror​
 UF1 := SIH_dim(HF-domain) AND SIH_dim(NOT HM-domain); UM mirror​

Source Canon: Verbatim mathematical and modal logic. Interactive navigation and operator lookups available at /#hgl-part:175.