<div class="csl-bib-body">
<div class="csl-entry">Baaz, M., & Lolic, A. (2020). A Globally Sound Analytic Calculus for Henkin Quantifiers. In S. Artemov & A. Nerode (Eds.), <i>Logical Foundations of Computer Science. International Symposium, LFCS 2020</i> (pp. 128–143). Springer International Publishing. https://doi.org/10.1007/978-3-030-36755-8_9</div>
</div>
-
dc.identifier.isbn
9783030367541
-
dc.identifier.isbn
9783030367558
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/41750
-
dc.description.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
dc.language.iso
en
-
dc.publisher
Springer International Publishing
-
dc.relation.ispartofseries
Lecture Notes in Computer Science
-
dc.subject
Henkin quantifiers
-
dc.title
A Globally Sound Analytic Calculus for Henkin Quantifiers
-
dc.type
Konferenzbeitrag
de
dc.type
Inproceedings
en
dc.relation.publication
Logical Foundations of Computer Science. International Symposium, LFCS 2020
-
dc.contributor.editoraffiliation
The Graduate Center, CUNY, United States of America (the)
-
dc.contributor.editoraffiliation
Cornell University, USA
-
dc.relation.isbn
978-3-030-36755-8
-
dc.relation.doi
10.1007/978-3-030-36755-8
-
dc.relation.issn
0302-9743
-
dc.description.startpage
128
-
dc.description.endpage
143
-
dc.type.category
Full-Paper Contribution
-
dc.relation.eissn
1611-3349
-
tuw.booktitle
Logical Foundations of Computer Science. International Symposium, LFCS 2020
-
tuw.book.ispartofseries
Lecture Notes in Computer Science
-
tuw.relation.publisher
Springer
-
tuw.publication.orgunit
E104-02 - Forschungsbereich Computational Logic
-
tuw.publisher.doi
10.1007/978-3-030-36755-8_9
-
dc.description.numberOfPages
16
-
tuw.author.orcid
0000-0002-7815-2501
-
tuw.author.orcid
0000-0002-4753-7302
-
tuw.editor.orcid
0000-0002-5605-6172
-
tuw.event.name
International Symposium on Logical Foundations of Computer Science (LFCS 2020)
-
tuw.event.startdate
04-01-2020
-
tuw.event.enddate
07-01-2020
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
Deerfield Beach, Florida
-
tuw.event.country
US
-
tuw.event.presenter
Baaz, Matthias
-
wb.sciencebranch
Mathematik
-
wb.sciencebranch.oefos
1010
-
wb.facultyfocus
Diskrete Mathematik und Geometrie
-
wb.facultyfocus
Discrete Mathematics and Geometry
-
wb.facultyfocus.faculty
E100
-
wb.presentation.type
science to science/art to art
-
item.cerifentitytype
Publications
-
item.fulltext
no Fulltext
-
item.languageiso639-1
en
-
item.openairetype
conference paper
-
item.openairecristype
http://purl.org/coar/resource_type/c_5794
-
item.grantfulltext
none
-
crisitem.author.dept
E104-02 - Forschungsbereich Computational Logic
-
crisitem.author.dept
E192-02 - Forschungsbereich Databases and Artificial Intelligence
-
crisitem.author.parentorg
E104 - Institut für Diskrete Mathematik und Geometrie
