Work ䷢

Functional Logic • Inquiry and Analogy • 15

HTML → PNG

Qualifiers of the Implication Ordering α

\text{Qualifiers of the Implication Ordering}~ \alpha_i f = \Upsilon (f_i, f)
Qualifiers of the Implication Ordering α

Qualifiers of the Implication Ordering β

\text{Qualifiers of the Implication Ordering}~ \beta_i f = \Upsilon (f, f_i)
Qualifiers of the Implication Ordering β

WIKI → PNG

Qualifiers of the Implication Ordering α

\text{Qualifiers of the Implication Ordering}~ \alpha_i f = \Upsilon (f_i, f)
Qualifiers of the Implication Ordering α

Qualifiers of the Implication Ordering β

\text{Qualifiers of the Implication Ordering}~ \beta_i f = \Upsilon (f, f_i)
Qualifiers of the Implication Ordering β