Questions tagged [bussproofs]

Question 1

The following document compiles to produce the below picture Where the alingment of the 2 prooftrees are different. The proof tree with the label is aligned further to the left as the label is ...

Question 2

Why do I get an error when I try fo use \fbox around a prooftree? Removing the \fbox works fine. Bussproofs is not compatible with \fbox? Thanks in advance, Marcus. \documentclass {scrbook} \...

Question 3

I'm wondering if you can do ternary inferences in bussproofs? If not, are there any other proof tree packages where you can do ternary inferences? It might be that I have to start drawing proof trees ...

Question 4

I'd like to remove the unnecessary vertical space above the bussproofs derivation (or below the tikz picture). For some reason, putting a frame around the \DisplayProof command erases the unwanted ...

Question 5

I asked chatGPT4 to reproduce something like this with the tcolorbox and bussproofs packages: However, the code it gave me doesn't quite do the trick. I've been trying to change it but no success so ...

Question 6

I have tried a few packages to align inference rules but I have not figured out how to avoid the following problem. My proof tree looks like this: A ------------------------- B ...

Question 7

I came to the universally quantified assumption overflows the derivation line. My source is \documentclass{beamer} \usepackage{bussproofs} \newcommand{\mydots}{ \def\extraVskip{-2pt} \noLine \...

Question 8

I used bussproofs.sty to create this natural deduction rule: Source: \documentclass{beamer} \usepackage{bussproofs} \begin{document} \begin{frame} \AxiomC{$A\vee B$} \AxiomC{[$A$]} %...

Question 9

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&...

Question 10

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 ...

Question 11

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 ...

Question 12

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 ...

Question 13

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.

Question 14

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 ...

Question 15

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 ...

Stack Exchange Network

Questions tagged [bussproofs]

bussproofs: Centring on the tree excluding labels

Can´t use fbox with prooftree

Ternary inferences in bussproofs or another prooftree package?

Vertical spacing issue with tikz and bussproofs

tcolorbox and logic formats

Vertical Alignment in Proof Tree

Formula in premise overflows derivation line using bussproofs

How to adjust a proof tree using bussproofs?

bussproof's default least node height setting

bussproofs: How to make lines in the "prooftree" environment look thicker?

bussproofs.sty single longer line? [closed]

Prooftree within a table?

Multiple inference rules aligned

Identical spacing of inference lines with Bussproofs

Centering of stacked bussproofs trees

Hot Network Questions