Publications in Scientific Journals:
M. Baaz, J. Aguilera Ozuna:
"Unsound Inferences Make Proofs Shorter";
arXiv.org,
1608.07703
(2016).
English abstract:
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.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1017/jsl.2018.51
Created from the Publication Database of the Vienna University of Technology.