Talks and Poster Presentations (without Proceedings-Entry):
M. Baaz, J. Aguilera Ozuna:
"Unsound Inferences Make Proofs Shorter";
Talk: Japan Advanced Institute of Science and Technology,
Ishikawa, Japan;
2016-12-06.
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.
Created from the Publication Database of the Vienna University of Technology.