Record link: 
http://hdl.handle.net/20.500.12708/41750
-
Title: 
A Globally Sound Analytic Calculus for Henkin Quantifiers
-
Citation: 
Baaz, M., & Lolic, A. (2020). A Globally Sound Analytic Calculus for Henkin Quantifiers. In S. Artemov & A. Nerode (Eds.), Logical Foundations of Computer Science. International Symposium, LFCS 2020 (pp. 128–143). Springer International Publishing. https://doi.org/10.1007/978-3-030-36755-8_9
-
Publisher DOI: 
10.1007/978-3-030-36755-8_9
-
Publication Type: 
Inproceedings - Full-Paper Contribution
en
Language: 
English
-
Authors: 
Baaz, Matthias 
Lolic, Anela 
-
Organisational Unit: 
E104-02 - Forschungsbereich Computational Logic 
-
Published in: 
Logical Foundations of Computer Science. International Symposium, LFCS 2020 
-
ISBN: 
978-3-030-36755-8
-
DOI of the book: 
10.1007/978-3-030-36755-8
-
Date (published): 
2020
-
Event name: 
International Symposium on Logical Foundations of Computer Science (LFCS 2020) 
-
Event date: 
4-Jan-2020 - 7-Jan-2020
-
Event place: 
Deerfield Beach, Florida, United States of America (the)
-
Number of Pages: 
16
-
Publisher: 
Springer International Publishing
-
Publisher: 
Springer
-
Keywords: 
Henkin quantifiers
-
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.
en
Science Branch: 
Mathematik
-
Appears in Collections:
Conference Paper

Show full item record

Page view(s)

147
checked on Dec 1, 2023

Google ScholarTM

Check