关于中性自由逻辑中带 definite 描述的双序列计算法
计算机科学中的逻辑
2024-12-03 v1
摘要
我们提出了一种用于中性自由逻辑（neutral free logic）中确定性描述（definite descriptions, DD）最小理论的双序列计算法（bisequent calculus, BSC）。在该逻辑框架中，带非指称项的公式无真值。量词、原子公式和简单项的处理基于Pavlovi\'{c}和Gratzl所develop的method。我们将其结果扩展至包含同一性和确定性描述的版本。特别地，本文证明了该扩展系统的剪切（cut）可归谓。
关键词
引用
@article{arxiv.2412.01712,
title = {Bisequent Calculi for Neutral Free Logic with Definite Descriptions},
author = {Andrzej Indrzejczak and Yaroslav Petrukhin},
journal= {arXiv preprint arXiv:2412.01712},
year = {2024}
}