当前位置: X-MOL 学术J. Log. Comput. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Towards a proof theory for Henkin quantifiers
Journal of Logic and Computation ( IF 0.7 ) Pub Date : 2021-01-05 , DOI: 10.1093/logcom/exaa071
Matthias Baaz 1 , Anela Lolic 2
Affiliation  

Abstract
This paper presents a methodology to construct globally sound but possibly locally unsound analytic calculi for partial theories of Henkin quantifiers. It is demonstrated that usual locally sound analytic calculi do not exist for any reasonable fragment of the full theory of Henkin quantifiers. This is due to the combination of strong and weak quantifier inferences in one quantifier rule.


中文翻译:

迈向Henkin量词的证明理论

摘要
本文提出了一种方法,用于为Henkin量词的部分理论构建全局合理但局部不完整的解析计算。事实证明,对于Henkin量词的全部理论的任何合理的片段,都不存在通常的局部声音解析计算。这是由于在一个量词规则中强量词和弱量词推断的组合。
更新日期:2021-02-03
down
wechat
bug