论文标题
相关后果关系：邀请
Relevant Consequence Relations: An Invitation
论文作者
论文摘要
我们将后果关系标准的概念概述在逻辑的抽象处理中，以适应相关性的直觉。指导想法遵循\ emph {use Criterion}，根据某些前提的结论，结果是，该前提必须以某种方式以某种方式获得\ emph {persed}才能获得结论。事实证明，这种相关性直觉不仅需要单调性的失败，而且还需要将后果关系视为在\ emph {multisets}之间获得的转变。我们在单个结论（不对称）和多个结论（对称）设置以及衍生和理论的基本定义以及在使用直觉的指导下的衍生和理论中，以及衍生和理论的基本定义，并证明了许多结果表明这些定义捕获了所需的结果（至少在许多情况下）。
We generalize the notion of consequence relation standard in abstract treatments of logic to accommodate intuitions of relevance. The guiding idea follows the \emph{use criterion}, according to which in order for some premises to have some conclusion(s) as consequence(s), the premises must each be \emph{used} in some way to obtain the conclusion(s). This relevance intuition turns out to require not just a failure of monotonicity, but also a move to considering consequence relations as obtaining between \emph{multisets}. We motivate and state basic definitions of relevant consequence relations, both in single conclusion (asymmetric) and multiple conclusion (symmetric) settings, as well as derivations and theories, guided by the use intuitions, and prove a number of results indicating that the definitions capture the desired results (at least in many cases).
