<div class="csl-bib-body">
<div class="csl-entry">Aguilera Ozuna, J. P., & Baaz, M. (2019). Unsound Inferences Make Proofs Shorter. <i>Journal of Symbolic Logic</i>, <i>84</i>(1), 102–122. https://doi.org/10.1017/jsl.2018.51</div>
</div>
-
dc.identifier.issn
0022-4812
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/143957
-
dc.description.abstract
We give examples of calculi that extend Gentzen’s sequent calculus LK by unsound quantifier inferences in such a way that (i) derivations lead only to true sequents, and (ii) proofs therein are nonelementarily shorter than LK-proofs.
en
dc.language.iso
en
-
dc.relation.ispartof
Journal of Symbolic Logic
-
dc.subject
unsound inferences
en
dc.subject
sequent calculus
en
dc.subject
eigenvariable condition
en
dc.subject
cut elimination
en
dc.title
Unsound Inferences Make Proofs Shorter
en
dc.type
Artikel
de
dc.type
Article
en
dc.description.startpage
102
-
dc.description.endpage
122
-
dc.type.category
Original Research Article
-
tuw.container.volume
84
-
tuw.container.issue
1
-
tuw.journal.peerreviewed
true
-
tuw.peerreviewed
true
-
tuw.researchTopic.id
X1
-
tuw.researchTopic.name
außerhalb der gesamtuniversitären Forschungsschwerpunkte
-
tuw.researchTopic.value
100
-
dcterms.isPartOf.title
Journal of Symbolic Logic
-
tuw.publication.orgunit
E104-02 - Forschungsbereich Computational Logic
-
tuw.publisher.doi
10.1017/jsl.2018.51
-
dc.identifier.eissn
1943-5886
-
dc.description.numberOfPages
21
-
wb.sci
true
-
wb.sciencebranch
Mathematik
-
wb.sciencebranch.oefos
1010
-
wb.facultyfocus
Diskrete Mathematik und Geometrie
de
wb.facultyfocus
Discrete Mathematics and Geometry
en
wb.facultyfocus.faculty
E100
-
item.fulltext
no Fulltext
-
item.openairetype
research article
-
item.languageiso639-1
en
-
item.grantfulltext
none
-
item.openairecristype
http://purl.org/coar/resource_type/c_2df8fbb1
-
item.cerifentitytype
Publications
-
crisitem.author.dept
E104-02 - Forschungsbereich Computational Logic
-
crisitem.author.dept
E104-02 - Forschungsbereich Computational Logic
-
crisitem.author.parentorg
E104 - Institut für Diskrete Mathematik und Geometrie
-
crisitem.author.parentorg
E104 - Institut für Diskrete Mathematik und Geometrie