[Tex/LaTex] Horizontally align inference rules

horizontal alignment

I'm using the bussproofs package to write some inference rules, but i'd like to horizontally align them. I tried to write them within a two-columned table (one rule in the left cell and the other in the right), but it doesn't work. Any suggestions, please?

Code producing the error, below:

\begin{tabular}{cc}
{\begin{prooftree}
\AxiomC{$\Gamma, A \vdash B$}
\RightLabel{\scriptsize{\emph{$\Rightarrow_\mathcal{I}$}}}
\UnaryInfC{$\Gamma \vdash A\Rightarrow B$}
\end{prooftree}} & {} \\
\end{tabular}

The second inference rule is missing from the code.

Best Answer

In the end, I used the mathpartir package and I made it.

\begin{mathpar}
\inferrule*[Right=\selectlanguage{english}\emph{Id}\selectlanguage{greek}]{{}}{\Gamma, A \dashv A}
\and 
\inferrule*[Right=$\bot_\mathcal{E}$]{\Gamma \vdash \bot}{\Gamma \vdash A}
\end{mathpar}
Related Question