latex 中的 longtable 没有出现在表格列表中

latex 中的 longtable 没有出现在表格列表中

这个长表没有出现在表格列表中,我尝试了一些标题的变体,但无法使其工作。

\begin{adjustwidth}{-7cm}{-2cm}
\begin{longtable}{|p{5cm}|p{10cm}|}
    % \def\arraystretch{1.1}
    % \begin{tabular}{|m{5cm}|m{9cm}|}
        \hline
        \multicolumn{2}{|c|}{\centerline{Generating Inferences}}\\
        \hline
        \hline
        \centerline{Rule} & \centerline{Formula}\\
        \hline
        \hline
        %+++++++++++++++++++++++++++++++++++++++++++++++++++++++++
        \begin{center}
            Equality Resolution (ER)
        \end{center}
        &
         \begin{center}
            \begin{tabular}{c}
            $s \not\simeq t \vee R$\\
            \hline
            $\sigma(R)$\\
            \\
            \end{tabular}
            \\
            $\text{if } \sigma = mgu(s,t) \text{ and } \sigma(s\not\simeq t) \text{ is eligible for resolution}$    
            \\
        \end{center} 
        \\
        \hline
        %+++++++++++++++++++++++++++++++++++++++++++++++++++++++++
        \begin{center}
        Superposition into negative literals (SN)
        \end{center}
        &
         \begin{center}
                \begin{tabular}{c c}
                $s \simeq t \vee S$ & $u \not\simeq v \vee R$\\
                \hline
                \multicolumn{2}{c}{$\sigma(u[p \leftarrow \sigma(t)] \not\simeq v \vee S \vee R)$}\\
                \\
                \end{tabular}
                \\if $\sigma = mgu(u|_p,s)$, $\sigma(s) \not< \sigma(t)$, $\sigma(u) \not< \sigma(v)$, $\sigma(s \simeq t)$ is eligible for paramodulation, $\sigma(u \not\simeq v)$ is eligible for resolution, and $u|_p \not\in V$
                \\
                \end{center} 
        \\
        \hline
        %+++++++++++++++++++++++++++++++++++++++++++++++++++++++++
        \begin{center}
        Superposition into positive literals (SP)
        \end{center}
        &
         \begin{center}
                \begin{tabular}{c c}
                $s \simeq t \vee S$ & $u \simeq v \vee R$\\
                \hline
                \multicolumn{2}{c}{$\sigma(u[p \leftarrow \sigma(t)] \simeq v \vee S \vee R)$}\\
                \\
                \end{tabular}
                \\
                if $\sigma = mgu(u|_p,s)$, $\sigma(s) \not< \sigma(t)$, $\sigma(u) \not< \sigma(v)$, $\sigma(s \simeq t)$ is eligible for paramodulation, $\sigma(u \not\simeq v)$ is eligible for resolution, and $u|_p \not\in V$
                \\
                \end{center} 
        \\
        \hline
        %+++++++++++++++++++++++++++++++++++++++++++++++++++++++++
        \begin{center}
        Equality Factoring (EF)
        \end{center}
        &
         \begin{center}
                \begin{tabular}{c}
                $s \simeq t \vee u \simeq v \vee R$\\
                \hline
                $\sigma(t \not\simeq v \vee u \simeq v \vee R)$\\
                \\
                \end{tabular}
                \\
                if $\sigma = mgu(s,u)$, $\sigma(s) \not< \sigma(t)$, $\sigma(s \simeq t)$  is eligible for paramodulation.
                \\
                \end{center} 
        \\
        \hline
        \caption{Generating inference rules of the \textbf{SP} calculus implemented in E}
    \label{table:sp-ginference-rules}
\end{longtable}
\end{adjustwidth}

答案1

很难说出您的代码出了什么问题,因为您只提供了代码片段,但没有提供\listoftables命令,没有提供正在使用的文档类的指示,也没有列出您使用的软件包。

无论如何,如果我扩展您的代码片段以使其最低限度可编译,它longtable就会出现在表格列表中。

建议:请尝试整理并简化您的 LaTeX 代码,可能如下所示。您会发现自己可以更快地编写代码,同时不易出现(编码)错误。还请努力让您的表格看起来更开放,例如,省略所有垂直线并创建间距适当的水平线(由软件包提供booktabs)。

在此处输入图片描述

\documentclass{article}
\usepackage[margin=2.5cm]{geometry}
\usepackage{longtable,amsmath,array,booktabs}

\DeclareMathOperator{\mgu}{mgu}
\newcolumntype{C}[1]{>{\centering\arraybackslash}p{#1}}
\setlength{\LTcapwidth}{\textwidth} % default: ca. 10cm
\setlength\extrarowheight{3pt}

\begin{document}
\listoftables

\bigskip\bigskip

\begin{longtable}{@{} C{5cm}C{10cm} @{}}

\toprule
\multicolumn{2}{c}{Generating Inferences}\\[1ex]
Rule & Formula\\
\midrule
\endhead

\addlinespace
\caption{Generating inference rules of the \textbf{SP} calculus implemented in E}
\label{table:sp-ginference-rules}
\endlastfoot

Equality Resolution (ER) &
$\begin{array}{c}
s\not\simeq t\vee R\\
  \hline
\sigma(R)
\end{array}$ \\[3ex]
& if $\sigma = \mgu(s,t)$ and 
$\sigma(s\not\simeq t)$ is eligible for resolution   
\\[1ex]

\midrule

Superposition into negative literals (SN) &
$\begin{array}{c c}
s \simeq t \vee S & u \not\simeq v \vee R\\
  \hline
\multicolumn{2}{c}{%
    \sigma(u[\,p\to\sigma(t)]\not\simeq v\vee S\vee R)}
\end{array}$ \\[3ex]
& if $\sigma = \mgu(u|_p,s)$, 
$\sigma(s) \not< \sigma(t)$, 
$\sigma(u) \not< \sigma(v)$, 
$\sigma(s \simeq t)$ is eligible for paramodulation, 
$\sigma(u \not\simeq v)$ is eligible for resolution, 
and $u|_p \not\in V$
\\[1ex]

\midrule

Superposition into positive literals (SP) &
$\begin{array}{cc}
s \simeq t \vee S & u \simeq v \vee R\\
  \hline
\multicolumn{2}{c}{%
    \sigma(u[\,p \to \sigma(t)]\simeq v\vee S\vee R)}
\end{array}$ \\[3ex]
& if $\sigma = \mgu(u|_p,s)$, 
$\sigma(s) \not< \sigma(t)$, 
$\sigma(u) \not< \sigma(v)$, 
$\sigma(s \simeq t)$ is eligible for paramodulation, 
$\sigma(u \not\simeq v)$ is eligible for resolution, 
and $u|_p \not\in V$
\\[1ex]

\midrule

Equality Factoring (EF)
&
$\begin{array}{c}
s \simeq t \vee u \simeq v \vee R\\
  \hline
\sigma(t \not\simeq v \vee u \simeq v \vee R)
\end{array}$ \\[3ex]
& if $\sigma = \mgu(s,u)$, 
$\sigma(s) \not< \sigma(t)$, 
$\sigma(s \simeq t)$ is eligible for paramodulation.
\\[1ex]
\bottomrule

\end{longtable}
\end{document}

答案2

加载,将的ltablex功能带入,我对表格列表没有任何问题。我借此机会简化了您的代码,并冒昧地稍微修改了表格的布局:longtabletabularx

\documentclass{article}
\usepackage[utf8]{inputenc}
\usepackage[ignoremp]{geometry}
\usepackage{amsmath, amssymb}
\usepackage{tabularx, ltablex, caption}%{l}
\renewcommand{\tabularxcolumn}[1]{>{\centering\arraybackslash}m{#1}}

 \begin{document}

 \listoftables
 \bigskip
\setlength{\extrarowheight}{3pt}
\keepXColumns
\noindent\begin{tabularx}{\linewidth}{|>{\hsize=0.67\hsize}X|>{\hsize=1.33\hsize}X|}
        \caption{Generating inference rules of the \textbf{SP} calculus implemented in E}
 \label{table:sp-ginference-rules}\\
        \hline
        \multicolumn{2}{|c|}{Generating Inferences}\\
        \hline
        \hline
        Rule & Formula\\
        \hline
        \hline
\endfirsthead
        \hline
        \multicolumn{2}{|c|}{Generating Inferences}\\
        \hline
        \hline
        Rule & Formula\\
        \hline
        \hline
\endhead
 \hline
\endfoot
        %+++++++++++++++++++++++++++++++++++++++++++++++++++++++++
            Equality Resolution (ER)
        & $ \begin{matrix}
            s \not\simeq t \vee R\\
            \hline
            \sigma(R)
            \end{matrix} $\medskip\newline
\parbox{\hsize}{if $ \sigma = mgu(s,t) $ and $ \sigma(s\not\simeq t) $ is eligible for resolution.}\smallskip
        \\
        \hline
 %+++++++++++++++++++++++++++++++++++++++++++++++++++++++++
 Superposition into negative literals (SN)
 & $ \begin{matrix}
 s \simeq t \vee S & u \not\simeq v \vee R \\
 \hline
 \multicolumn{2}{c}{\sigma(u[p \leftarrow \sigma(t)] \not\simeq v \vee S \vee R)}
 \end{matrix} $ \medskip\newline
\parbox{\hsize}{if $\sigma = mgu(u|_p,s)$, $\sigma(s) \nless \sigma(t)$, $\sigma(u) \nless \sigma(v)$, $\sigma(s \simeq t)$ is eligible for paramodulation, $\sigma(u \not\simeq v)$ is eligible for resolution, and $u|_p \notin V$.}\smallskip
 \\
 \hline
 %+++++++++++++++++++++++++++++++++++++++++++++++++++++++++
 Superposition into positive literals (SP)
 &$ \begin{matrix}
 s \simeq t \vee S & u \simeq v \vee R \\
 \hline
 \multicolumn{2}{c}{\sigma(u[p \leftarrow \sigma(t)] \simeq v \vee S \vee R)}
 \end{matrix} $
 \medskip\newline
\parbox{\hsize}{if $\sigma = mgu(u|_p,s)$, $\sigma(s) \nless \sigma(t)$, $\sigma(u) \nless \sigma(v)$, $\sigma(s \simeq t)$ is eligible for paramodulation, $\sigma(u \not\simeq v)$ is eligible for resolution, and $u|_p \notin V$.}\smallskip
 \\
 \hline
 %+++++++++++++++++++++++++++++++++++++++++++++++++++++++++
 Equality Factoring (EF)
 & $ \begin{matrix}
 s \simeq t \vee u \simeq v \vee R\\
 \hline
\sigma(t \not\simeq v \vee u \simeq v \vee R)
 \end{matrix}$ \medskip\newline
\parbox{\hsize}{ if $\sigma = mgu(s,u)$, $\sigma(s) \not< \sigma(t)$, $\sigma(s \simeq t)$ is eligible for paramodulation.}\medskip
\end{tabularx}

\end{document} 

在此处输入图片描述

答案3

您使用了\caption[]空的可选参数,专门用于防止标题出现在目录中,

相关内容