Talks and Poster Presentations (with Proceedings-Entry):
M. Baaz, A. Lolic:
"A Globally Sound Analytic Calculus for Henkin Quantifiers";
Talk: Symposium on Logical Foundations of Computer Science,
Florida, USA (invited);
2020-01-04
- 2020-01-07; in: "Logical Foundations of Computer Science - LFCS 2020",
Springer Verlag,
(2020),
ISBN: 978-3-030-36754-1;
128
- 143.
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 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.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-030-36755-8
Created from the Publication Database of the Vienna University of Technology.