[Zurück]


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.

Erstellt aus der Publikationsdatenbank der Technischen Universitšt Wien.