Jump to content

Talk:Multiple-conclusion logic

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

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)[reply]