Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [bussproofs]

The tag has no usage guidance.

0
votes
0answers
21 views

Bussproofs compact prooftree

I have the following code: \begin{prooftree} \AxiomC{$\Gamma $} \AxiomC{} \LeftLabel{($\to$-elim)} \BinaryInfC{$\Gamma , x : A, y : C \vdash x y \Leftarrow D$} \AxiomC{} \...
3
votes
1answer
150 views

How do you use environments that have the same name within a single LaTeX document?

I'm trying to typeset some proof tree exercises. But I need to use the prooftree environment from the bussproofs package, as well as the prooftree environment from the prooftrees package. Is there a ...
1
vote
1answer
27 views

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: \...
1
vote
1answer
27 views

Vertical alignment in bussproofs

Consider the following code: \documentclass{article} \usepackage{graphicx} \usepackage{bussproofs} \newenvironment{bprooftree} {\leavevmode\hbox\bgroup} {\DisplayProof\egroup} \begin{document} ...
1
vote
1answer
34 views

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\}$} \...
1
vote
1answer
34 views

Adding shade to bussproofs' proof trees?

I am wondering how prooftree can work with colorbox? I've seen people shading their proof trees, but I am not certain what package people use. In my case, I use bussproofs, and it doesn't seem to work ...
2
votes
0answers
104 views

how do I display very large proof trees (bussproofs, ebproofs, tikz's tree library)

I am looking at different options to typeset proof trees. I have asked a more general question and run into some issues. In particular I am trying to understand how to display very large proof trees, ...
0
votes
0answers
30 views

package Preview, how could I ask LaTeX to calculate values for PreviewBbAdjust? [duplicate]

I am trying to output very large (bussproofs) prooftrees, say with hundreds of nodes. An attempt I am trying is by the package preview. By trial and error, I may find a large value to set ...
2
votes
1answer
198 views

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 ...
0
votes
2answers
73 views

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 ...
0
votes
1answer
130 views

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{...
2
votes
2answers
102 views

Tikz: Connect multiple edges to one side of a rectangle node

Here's a quick approximation/hack of what I am trying to do: but I want the top to look more like this The problem is that I don't know where the top of the rectangle is going to be and I don't know ...
1
vote
0answers
61 views

Adding caption to a prooftree

I am trying to add a caption to a prooftree generated using bussproofs without using the figure environment. The reason I am trying to do this is because the proof is located in a theorem environment ...
3
votes
1answer
196 views

enumerating lines of bussproofs

EDIT: see below the original question Having got a great task of re-TeX-ing, i.e. transforming a PDF original of a lost LaTeX source back into LaTeX, I've got the recommendation to use bussproof.sty ...
1
vote
1answer
28 views

Misplacing theorem header when followed by a prooftree

When I put a prooftree immediately after \begin{solution} it places the header of the solution environment neither aligned to the left or above the prooftree. When there is some text preceeding the \...
1
vote
1answer
198 views

Unusual bussproofs derivation

I'm trying to typeset proofs like these in bussproofs (to keep them consistent with the rest of my proofs) but I can't figure out a good way to do so: I've tried using various combinations of \...
4
votes
1answer
214 views

Proof inside a proof

I want to put a proof inside a proof using bussproofs. The following code produces exactly what I want. \documentclass{amsart} \usepackage{bussproofs} \newcommand{\VDots}{\vphantom{\int^0}\smash[t]{\...
3
votes
0answers
129 views

Tikz-pictures in prooftrees

I have a problem with the bussproofs package regarding the use of tikz pictures in it. All that I can find on the web seems to assume that one only wants to put simple formulas in the prooftree. But ...
3
votes
2answers
133 views

Clickable cross-references to deduction labels

I'm using the package proof for drawing deductions. The package supports labels. However, I'd like to have clickable cross-references to them. Is this possible? Note that I want the label to be a ...
3
votes
2answers
599 views

How to align a prooftree left?

How to align a bussproofs prooftree left? \documentclass{article} \usepackage{bussproofs} \begin{document} \begin{prooftree} \LeftLabel{(Proof)} \AxiomC{A} \AxiomC{B} \BinaryInfC{...
2
votes
4answers
501 views

Assumptions discharge, proof summary and labelling with bussproof

Is it possible with bussproof package obtain this kind of formula-layout?: (1) Assumptions discharge with four vertical dots; (2) Four vertical dots for proof summary; (3) Labelling with a number (...
1
vote
1answer
282 views

Premise Discharge with vertical dots with bussproof.sty

Is it possible with bussproof.sty package to obtain a discharge of premiss with vertical dots? Ex: With proof.sty package I use \infer* to obtain vertical dots discharge \documentclass[a4paper,12pt,...
1
vote
2answers
95 views

Formula after inference with bussproof package

Is it possible obtain a formula as in the picture with bussproof? I tried with \documentclass[a4paper,12pt,twoside,openright]{book} \usepackage[T1]{fontenc} \usepackage[utf8]{inputenc} \usepackage[...
1
vote
2answers
759 views

Bussproof with axiom labels

How do I use \LeftLabel{} and \RightLabel{} along with just \AxiomC{}? The following only displays the axiom \documentclass[14pt]{extarticle} \usepackage[english]{babel} \usepackage[utf8x]{inputenc}...
1
vote
1answer
607 views

Natural deduction in linear style

Someone know a package that permit to write natural deduction in this linear form with this kind of strokes? Thank you! P.S. The example of ND is from Jan von Plato's book, Elements of logical ...
0
votes
1answer
224 views

Reducing the width of a prooftree without changing the font size

How can I change the width of the following prooftree without changing its font size? I would like to remove the big space between T1 and T5 \begin{prooftree} %T1 \AxiomC{$\langle {\tt y:=1}, ...
3
votes
2answers
394 views

Labeling parts of proofs

I'm using bussproofs to layout sequent-calculus proofs. I would like to label the parts of some of my inferences. For example, given the following proof: \begin{prooftree} \AxiomC{$X\vdash\phi\...
2
votes
0answers
240 views

Sequent calculus proofs using the prooftree package

I am finding it difficult writing sequent calculus proofs using \usepackage{prooftree} and cannot find any sufficiently detailed resources on this matter. Can anyone give me a link to such resources? ...