Talk:Multiple-conclusion logic

Typically one allows pairing and unpairing on the left

x,y,gamma |- T ________________ x&y,gamma |- T

Is multiple conclusions logic the same as allowing, un"pairing" on the right

m |- x||y __________  m |- x;y

If so, then you may want to reference polycategories. — Preceding unsigned comment added by 136.159.49.118 (talk) 02:38, 29 April 2015 (UTC)