这个长表没有出现在表格列表中,我尝试了一些标题的变体,但无法使其工作。
\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
功能带入,我对表格列表没有任何问题。我借此机会简化了您的代码,并冒昧地稍微修改了表格的布局:longtable
tabularx
\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[]
空的可选参数,专门用于防止标题出现在目录中,