Questions tagged [bussproofs]
The bussproofs tag has no usage guidance.
44
questions
1
vote
1
answer
47
views
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&...
- 25
0
votes
1
answer
26
views
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 ...
- 11.2k
0
votes
0
answers
16
views
bussproofs.sty single longer line?
How would I write a line that is longer than the formula, even when the next formula is the same size, so that the line is apparently longer. For example, I want to write:
a
--
b
--
c
----
a
--
c
...
- 1
1
vote
1
answer
66
views
Prooftree within a table?
1.Question
I am trying to construct a table with two columns and one row such that:
The first column consists of a letter (centered vertically) and on its right hand side there is an image
The second ...
- 115
0
votes
0
answers
48
views
Horizontally aligning multiple bussproofs labels
I'm using the bussproofs package to typeset some inference rules, using the \RightLabel directive to assign names to each rule. When I typeset multiple prooftrees in a row, they get horizontally ...
- 101
1
vote
1
answer
84
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.
2
votes
2
answers
209
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 ...
- 568
3
votes
1
answer
118
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 ...
- 93
2
votes
1
answer
113
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 ...
1
vote
1
answer
250
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 ...
- 267
1
vote
2
answers
66
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
1
answer
505
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{...
- 63
3
votes
1
answer
146
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 ...
- 51
0
votes
0
answers
126
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 ...
- 101
3
votes
2
answers
390
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{...
- 499
3
votes
1
answer
271
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}
\...
- 323
3
votes
1
answer
233
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 ...
- 303
1
vote
1
answer
191
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:
\...
- 199
2
votes
1
answer
260
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,325
1
vote
3
answers
367
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 ...
- 43
1
vote
1
answer
68
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\}$}
\...
- 12.6k
2
votes
1
answer
148
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 ...
- 199
2
votes
0
answers
686
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, ...
- 691
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 ...
- 691
3
votes
1
answer
941
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 ...
- 691
1
vote
2
answers
407
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 ...
- 113
1
vote
1
answer
485
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{...
- 11
2
votes
2
answers
673
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 ...
- 123
1
vote
0
answers
211
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 ...
- 65
4
votes
1
answer
658
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 ...
- 53
1
vote
1
answer
59
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 \...
- 11
2
votes
1
answer
378
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 \...
- 21
4
votes
1
answer
593
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]{\...
- 713
2
votes
0
answers
190
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 ...
- 21
3
votes
2
answers
430
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 ...
- 289
3
votes
2
answers
2k
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{...
- 133
2
votes
4
answers
898
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 (...
- 99
1
vote
1
answer
554
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,...
- 99
1
vote
2
answers
167
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[...
- 99
1
vote
2
answers
2k
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}...
- 563
1
vote
1
answer
1k
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 ...
- 99
0
votes
1
answer
535
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}, ...
- 563
3
votes
2
answers
660
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\...
- 713
2
votes
0
answers
496
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? ...
- 845