Questions tagged [bussproofs]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
1 vote
1 answer
19 views

Multiple inference rules aligned

I'm trying to write several inference rules aligned like this but I've run into some difficulties and haven't found a suitable way to do it. Any ideas ? Thanks for your help.
user avatar
2 votes
2 answers
117 views

Identical spacing of inference lines with Bussproofs

I'd like every derivation in my document to meet these two requirements: The distance between two consecutive inference lines should always be the same (the red arrows in the figure should have equal ...
user avatar
  • 568
3 votes
1 answer
56 views

Centering of stacked bussproofs trees

I like to stack proof rules build with bussproofs vertically. In order to use tags and labels I enclose the proof tress inside a equation, which is why I introduced the rawprooftree environment as ...
user avatar
  • 83
2 votes
1 answer
68 views

Custom environment for sequent calculus proofs

I'm using the package bussproofs to typeset sequent calculus proofs with LaTeX. Whilst I'm more than satisfied with the results, writing the code is cumbersome. Thus, I'd like to define a custom ...
user avatar
1 vote
1 answer
128 views

Compact way to write inference rule with bussproofs

I have the following inference rule That I need to write with the package bussproofs and use it in the mathjax. Mathjax support the bussproofs I have no idea how to reproduce the following inference ...
user avatar
1 vote
2 answers
49 views

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 ...
user avatar
2 votes
1 answer
179 views

proof tree latex using bussproofs

\documentclass{article} \usepackage{bussproofs} \begin{document} \begin{prooftree} \AxiomC{P} \AxiomC{$\neg P,Q$} \BinaryInfC{Q} \AxiomC{E} \AxiomC{F} \BinaryInfC{G} \UnaryInfC{H} \BinaryInfC{R} \end{...
user avatar
  • 63
3 votes
1 answer
85 views

Does anyone know how to do these dots (gaps) in bussproofs?

I'm trying to do something similar to the proof in picture where there is a gap in the steps of the proof. I tried bussproofs-extra package, but it doesn't let me make the dots from two inferences to ...
user avatar
0 votes
0 answers
81 views

Insert boxed prooftree inside prooftree

I'm trying to typeset proof trees with bussproof (usepackage{bussproofs}, available on CTAN). My personal favorite notation for explaining the rule of introduction of implications is with boxes, but I ...
user avatar
3 votes
2 answers
240 views

Aligning proof rules in tables

I would like to display the following rules in a table: \documentclass[10pt]{beamer} % Proofs \usepackage{bussproofs} \begin{document} \begin{frame}{$\mathcal{M}$} \textbf{Inference rules} \begin{...
user avatar
  • 439
3 votes
1 answer
218 views

Bussproofs tree will not compile

I have the following proof tree, which latex says is badly specified. Here is the TeX. \documentclass{article} \usepackage{bussproofs} \usepackage{amsmath} \begin{document} \begin{prooftree} \...
user avatar
3 votes
1 answer
220 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 ...
user avatar
1 vote
1 answer
147 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: \...
user avatar
  • 179
2 votes
1 answer
161 views

Vertical alignment in bussproofs

Consider the following code: \documentclass{article} \usepackage{graphicx} \usepackage{bussproofs} \newenvironment{bprooftree} {\leavevmode\hbox\bgroup} {\DisplayProof\egroup} \begin{document} ...
user avatar
  • 1,285
1 vote
2 answers
300 views

Show up only parts of prooftree on beamer frames

I tried to use prooftrees in a beamer file. Exists there an option to fade in each layer of the prooftree, without using several frames? In the code-frame below I used \visible<>{}, but it only ...
user avatar
  • 43
1 vote
1 answer
59 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\}$} \...
user avatar
  • 10.9k
2 votes
1 answer
119 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 ...
user avatar
  • 179
2 votes
0 answers
591 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, ...
user avatar
  • 681
0 votes
0 answers
36 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 ...
user avatar
  • 681
3 votes
1 answer
792 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 ...
user avatar
  • 681
1 vote
2 answers
298 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 ...
user avatar
1 vote
1 answer
422 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{...
user avatar
2 votes
2 answers
574 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 ...
user avatar
  • 123
1 vote
0 answers
182 views

Adding caption to a prooftree [closed]

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 ...
user avatar
  • 65
4 votes
1 answer
562 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 ...
user avatar
  • 53
1 vote
1 answer
55 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 \...
user avatar
  • 11
2 votes
1 answer
313 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 \...
user avatar
  • 21
4 votes
1 answer
522 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]{\...
user avatar
  • 713
2 votes
0 answers
180 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 ...
user avatar
3 votes
2 answers
346 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 ...
user avatar
  • 289
3 votes
2 answers
1k 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{...
user avatar
2 votes
4 answers
806 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 (...
user avatar
  • 99
1 vote
1 answer
502 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,...
user avatar
  • 99
1 vote
2 answers
146 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[...
user avatar
  • 99
1 vote
2 answers
1k 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}...
user avatar
1 vote
1 answer
931 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 ...
user avatar
  • 99
0 votes
1 answer
479 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}, ...
user avatar
3 votes
2 answers
575 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\...
user avatar
  • 713
2 votes
0 answers
443 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? ...
user avatar
  • 845