学术资讯｜我系陈锦盛副教授发表文章：Reduced sequents in modal display calculi

Studia Logica（《逻辑学研究》）

基本信息

Reduced sequents in modal display calculi发表于期刊Studia Logica，该期刊创刊于1953年，由波兰科学院哲学与社会学研究所以及施普林格出版社出版，是SCI、A&HCI收录期刊。

简要介绍：许多模态逻辑都有可靠且完全、同时满足切割消除性质的显示演算（Display Calculi），这让模态显示演算的判定性问题成为一个重要的问题。本文是证明模态显示演算的一个尝试。

约化矢列这一概念在证明若干矢列演算的可判定性时具有重要作用。约化矢列指的是不含有重复子结构的矢列。在根岑式演算中，获取约化矢列的过程是直观的，但在模态显示演算中如何通过算法得到约化矢列尚不明确，原因在于模态显示演算的矢列中包含更为复杂的结构，重复子结构无法被直接识别。

本文给出一种算法，用于在显示演算中统计矢列中的极小重复子结构并构造出约化矢列，同时证明由某一矢列得到的约化矢列在某种意义下具有 “等价性”。此外，本文还就证明某一模态显示演算可判定性的一种方案展开讨论，并分析了该方案失效的原因。上述算法与方案可为分析含复杂矢列结构的演算并证明其可判定性提供研究基础。

文章链接：https://link.springer.com/article/10.1007/s11225-026-10247-8

作者简介

陈锦盛，中山大学哲学系（珠海）副教授，硕士生导师，中山大学逻辑学博士，荷兰阿姆斯特丹自由大学哲学博士。主要研究领域为模态逻辑和人工智能逻辑。

文章首页

来源｜哲珠新媒体

文稿｜陈锦盛

编辑｜张玉如

初审｜韩　珩

审核｜卢　毅

审核发布｜屈琼斐