Publications in Scientific Journals:

M. Baaz, A. Lolic:
"Towards a proof theory for Henkin quantifiers";
Journal of Logic and Computation, 31 (2021), 1; 40 - 66.

English 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.

Created from the Publication Database of the Vienna University of Technology.