Zeitschriftenartikel:
M. Baaz, J. Aguilera Ozuna:
"Unsound Inferences Make Proofs Shorter";
arXiv.org,
1608.07703
(2016).
Kurzfassung englisch:
We give examples of calculi that extend Gentzen's sequent calculus LK in such a way that (i) derivations lead only to true sequents (ii) cut free proofs may be non-elementary shorter than cut free LK proofs.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1017/jsl.2018.51
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.