Input/Output (I/O) logic is a general framework for reasoning about conditional norms and/or causal relations. We streamline Bochman's causal I/O logics via proof-search-oriented sequent calculi. Our calculi establish a natural syntactic link between the derivability in these logics and in the original I/O logics. As a consequence of our results, we obtain new, simple semantics for all these logics, complexity bounds, embeddings into normal modal logics, and efficient deduction methods. Our work encompasses many scattered results and provides uniform solutions to various unresolved problems.

翻译：输入输出（I/O）逻辑是一个用于推理条件规范及/或因果关系的通用框架。我们通过面向证明搜索的矢列演算简化了Bochman的因果I/O逻辑。我们的演算在这些逻辑的可推导性与原始I/O逻辑之间建立了自然的句法联系。基于这一结果，我们为所有这些逻辑获得了新的简单语义、复杂度界限、嵌入到正规模态逻辑的方法以及高效的推理方法。我们的工作整合了大量分散的研究成果，并为多个未解决问题提供了统一的解决方案。