Sequent Calculus

Question

Hi,

I'm trying to solve exercise 4 from the current exercise sheet using the presentation we got in our exercise lesson. However, I think there is a mistake in the table on page 20.

a -> b |- {} should be equivalent to 

•    |- a and
• b |- {}

and therefore the entry in the table should be SPLIT (|- a, b |- {})

or am I mistaken somewhere?

Answer 1

You are right, we will fix that error!