Logic and Its Applications - 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings
Logic and Its Applications - 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings
复制标题
逻辑及其应用 - 第五届印度会议，ICLA 2013，印度钦奈，2013 年 1 月 10-12 日。会议记录
DOI：
10.1007/978-3-642-36039-8_14
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
Lellmann B
中科院分区：
文献类型：
--
作者：
Lellmann B
我们考虑了基于经典命题逻辑或直觉命题逻辑的不一定是正规模式逻辑的顺序规则的一般格式，并提供了相对简单的局部条件来确保这类规则集的割除。规则格式包括例如用于布尔连接词和传递模式逻辑的规则，例如S4或其构造性版本。我们还将饱和法构造合适的规则集的方法应用于直觉设置，并提供了将直觉模式逻辑的公理转换为顺序规则的准则。例如构造性的情态逻辑和条件逻辑。
We consider a general format for sequent rules for not necessarily normal modal logics based on classical or intuitionistic propositional logic and provide relatively simple local conditions ensuring cut elimination for such rule sets. The rule format encompasses e.g. rules for the boolean connectives and transitive modal logics such asS4 or its constructive version. We also adapt the method of constructing suitable rule sets by saturation to the intuitionistic setting and provide a criterium for translating axioms for intuitionistic modal logics into sequent rules. Examples include constructive modal logics and conditional logic.