Before revision: We can further employ the following terminology: +SymbolName⊗ multiplicative conjunctiontimes tensor⊕additive disjunctionplus&additive conjunctionwith⅋multiplicative disjunctionpar!of coursebang?why not Binary connectives ⊗, ⊕, & and ⅋ are associative and commutative; 1 is the unit for ⊗, 0 is the unit for ⊕, ⊥ is the unit for ⅋ and ⊤ is the unit for &.
After revision: We can further employ the following terminology: +SymbolName⊗ multiplicative conjunctiontimes tensor⊕additive disjunctionplus&additive conjunctionwith⅋multiplicative disjunctionpar!of coursebang?why notquest Binary connectives ⊗, ⊕, & and ⅋ are associative and commutative; 1 is the unit for ⊗, 0 is the unit for ⊕, ⊥ is the unit for ⅋ and ⊤ is the unit for &.