水平对齐推理规则

Question

我正在使用该bussproofs包编写一些推理规则，但我想将它们水平对齐。我尝试将它们写入一个双列表格中（一个规则在左侧单元格中，另一个规则在右侧单元格中），但不起作用。有什么建议吗？

产生错误的代码如下：

\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}

代码中缺少第二条推理规则。

Answer 1

最后我用了这个mathpartir包就成功了。

\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}