Questions tagged [bussproofs]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
1
vote
1answer
29 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 ...
1
vote
2answers
26 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 ...
2
votes
1answer
38 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{...
3
votes
1answer
59 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 ...
0
votes
0answers
75 views

How to write modus ponens with two assumptions in different lines

I want to write the modus ponens rule in the following way: I have tried to use the bussproofs package, but it by default puts all the assumptions in the same line, which is not what I wanted. Is ...
0
votes
0answers
31 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 ...
2
votes
2answers
113 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{...
3
votes
1answer
142 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} \...
3
votes
1answer
199 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
107 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: \...
2
votes
1answer
117 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
2answers
227 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 ...
1
vote
1answer
52 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\}$} \...
2
votes
1answer
99 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
479 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
35 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 ...
3
votes
1answer
634 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 ...
1
vote
2answers
209 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 ...
1
vote
1answer
356 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
408 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
155 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 ...
4
votes
1answer
448 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
47 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 \...
2
votes
1answer
283 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
429 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]{\...
2
votes
0answers
169 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
239 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
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{...
2
votes
4answers
735 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
457 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
140 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
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}...
1
vote
1answer
845 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
425 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
535 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
368 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? ...