邻域模型中的比较似真性:公理系统与相继式演算
计算机科学中的逻辑
2022-10-20 v1
摘要
我们引入了一族基于邻域模型的比较似真性逻辑,推广了 Lewis 在球模型上的比较似真性算子。我们给出了这些逻辑的公理系统,并证明了关于语义的可靠性与完备性。随后,我们为该族中若干逻辑引入了两类分析证明系统:一类是 Lellmann 与 Pattinson 风格的多前提相继式演算,我们证明其切割可容许性;另一类是基于 Girlando 等人条件逻辑结构化演算的超相继式演算,专为失败证明搜索下的反模型构造而定制。我们的结果构成了为配备比较似真性算子的逻辑定义统一证明论框架的初步步骤。
引用
@article{arxiv.2210.10480,
title = {Comparative plausibility in neighbourhood models: axiom systems and sequent calculi},
author = {Tiziano Dalmonte and Marianna Girlando},
journal= {arXiv preprint arXiv:2210.10480},
year = {2022}
}
备注
To appear in: David Fern\'andez-Duque, Alessandra Palmigiano and Sophie Pinchinat (eds), Advances in Modal Logic 14, College Publications, 2022