Vorträge und Posterpräsentationen (ohne Tagungsband-Eintrag):
M. Baaz, J. Aguilera Ozuna:
"Unsound Inferences Make Proofs Shorter";
Vortrag: Japan Advanced Institute of Science and Technology,
Ishikawa, Japan;
06.12.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.
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.