The extensions of the Syntactic Calculus that we studied in the previous sections all obey an “intuitionistic” restriction: in statements A1,…,An ⊢ B the antecedent can consist of multiple formulas (configured as a ⊗ tree in the non-associative case, a list or a multiset in the case of L, LP), the succedent is a single formula.