Questions tagged [bussproofs]
46 questions
4
votes
1 answer
Proof inside a proof
I want to put a proof inside a proof using bussproofs. The following code produces exactly what I want.…
underwhelmer
- 723
3
votes
1 answer
how to display very large tree (+ standalone vs. bussproofs)
I am looking at different options to typeset proof trees, and be helped by What is the best package out there to typeset proof trees?
A question I don't see any hint therein is about whether there are tools to display very large proof trees…
mario
- 761
1
vote
1 answer
bussproof's default least node height setting
I noticed that bussproof's node height is dependent to the height of the formula in the node.
for example, nodes like "p" , "q" and "r" have shorter height than "l", "b" and "d" because the former formulae have shorter vertical length.
I want to fix…
blahblah
- 25
1
vote
2 answers
Inference justification labels for sequent calculus proofs in bussproofs
I'm working through Computability and Logic and need to construct proofs the same way they do in the book. However, I can't find anything about how to give inference justifications that are on the same lines as premises in the sequent-style proof.…
1
vote
1 answer
How to arrange inference rules in a figure so that they are as tight as possible?
I am wondering how people manage to arrange their inference rules so that it's not only enjoyable to look at but also very compact. For instance, when I use bussproofs and the following trees:
\begin{prooftree}
\AxiomC{}
\UnaryInfC{$\Gamma…
Jason Hu
- 199
1
vote
1 answer
Insert punctuation into a prooftree
My codes are follows:
\documentclass{book}
\usepackage{proof}
\usepackage{bussproofs}
\begin{document}
This is for test
\begin{center}
\begin{prooftree}
\AxiomC{$\vdash \{A \land b \}c\{A\}$}
\UnaryInfC{$\vdash \{A\} \textrm{ while } b…
MadyYuvi
- 13,693
1
vote
2 answers
Bussproofs problem
I use bussproofs all the time, but here's a scenario that I have yet to solve. I want to typeset the following in such a way that the "in [CATEGORY]" additions to the right, aslign with the baselines of the bussproofs tree. (Of course I don't want…
Kelley van Evert
- 113
- 5
1
vote
1 answer
Vertical alignment of proof trees
Is it possible to vertically align two or more proof trees, typeset using bussproofs, so that the bottommost lines of the rules are at the same level? Consider for example the following:
\begin{center}
\AxiomC{$(A_i)^{i \in 1..n}$}
…
ahovgaard
- 11
0
votes
1 answer
bussproofs: How to make lines in the "prooftree" environment look thicker?
This is the code:
\documentclass{article}
\usepackage{bussproofs}
\usepackage[fontsize=32pt]{fontsize}
\begin{document}
\begin{prooftree}
\AxiomC{$a < b$}
\AxiomC{$b < c$}
\BinaryInfC{$ a < c $}
\end{prooftree}
\end{document}
I'm getting:
As you…
yegor256
- 12,021