Baaz, M., & Lolic, A. (2021). Towards a proof theory for Henkin quantifiers. Journal of Logic and Computation, 31(1), 40–66. https://doi.org/10.1093/logcom/exaa071
Software; Theoretical Computer Science; Hardware and Architecture; Logic; Arts and Humanities (miscellaneous)
-
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.
