用序列演算简化输入/输出逻辑
摘要：输入/输出（I/O）逻辑是一种用于推理条件规范和/或因果关系的通用框架。我们通过基于证明搜索的序列演算简化了Bochman的因果I/O逻辑。我们的演算建立了这些逻辑和原始I/O逻辑之间的可导性之间的自然句法联系。由于我们的结果，我们获得了所有这些逻辑的新的简单语义、复杂性界限、嵌入到正常模态逻辑中以及高效的推理方法。我们的工作涵盖了许多零散的结果，并为各种未解决的问题提供了统一的解决方案。
作者：Agata Ciabattoni, Dmitry Rozplokhas
论文ID：2306.09496
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-19