Take the 2-minute tour ×
TeX - LaTeX Stack Exchange is a question and answer site for users of TeX, LaTeX, ConTeXt, and related typesetting systems. It's 100% free, no registration required.

What is sequent calculus? See wiki: http://en.wikipedia.org/wiki/Sequent_calculus

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

a sequent calculus

Maybe using Tikz?

share|improve this question
4  
Could you show what you've tried so far? I'd be tempted just to use a tabular –  cmhughes Feb 14 '12 at 20:02
    
nothing really, i'm quite a latex noob:). Tables sounds good, are nested tables possible? So a table in a table cell? –  brillout.com Feb 14 '12 at 20:06
    
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) –  brillout.com Feb 14 '12 at 20:11
    
Much as I love excessive uses of TikZ, I'm not sure it would help much here. –  Seamus Feb 14 '12 at 20:50
    
@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 –  cmhughes Feb 14 '12 at 20:58
add comment

1 Answer

up vote 1 down vote accepted

Have a look at

http://www.logicmatters.net/latex-for-logicians/nd/

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

share|improve this answer
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
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.