Learn More
The sequent system LDJ is formulated using the same connectives as Gentzen’s intuitionistic sequent system LJ, but is dual in the following sense: (i) whereasLJ is singular in the consequent, LDJ is(More)
  • 1