Sequent Calculus

Question

So basicaly I'd like to produce something like this:

a sequent calculus

Maybe using Tikz?

Could you show what you've tried so far? I'd be tempted just to use a tabular
nothing really, i'm quite a latex noob:). Tables sounds good, are nested tables possible? So a table in a table cell?
looks like multicolumn would do the trick. A thing I see missing: how to draw the rules? (the rules are the letters in parentheses next to a line)
Much as I love excessive uses of TikZ, I'm not sure it would help much here.
@brillout.com yes, nested tabular environments are possible. if you click on the tables tag in your question, you'll be taken to a list of questions that also use it. have a look at them, as well as the not so short guide to latex

alexod · Accepted Answer · 2012-02-14 20:39:24Z

up vote 1 down vote accepted

Have a look at

There are some packages described for teXing such sequences. I would guess that the sequence you posted is done using proof.sty

answered Feb 14 '12 at 20:39

alexod
262

5

We like answers on this site to be self contained. Could you add an example of using proof.sty to set a proof? – Seamus Feb 14 '12 at 20:53

1 Answer