Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
M. Baaz, A. Lolic:
"A Globally Sound Analytic Calculus for Henkin Quantifiers";
Vortrag: Symposium on Logical Foundations of Computer Science,
Florida, USA (eingeladen);
04.01.2020
- 07.01.2020; in: "Logical Foundations of Computer Science - LFCS 2020",
Springer Verlag,
(2020),
ISBN: 978-3-030-36754-1;
S. 128
- 143.
Kurzfassung englisch:
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.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-030-36755-8
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.