Syntax Definition wmd 2

Description: Par, multiplicative disjunction. In the resource interpretation, this represents resources that are to be used in parallel. Characterized by ax-init 7, ax-cut 6, ax-mdco 8, ax-mdas 9.

Hypotheses

Ref	Expression
wph	wff 𝜑
wps	wff 𝜓

Assertion

Ref	Expression
wmd	wff (𝜑 ⅋ 𝜓)

This syntax is primitive. The first axiom using it is ax-ibot 4.