Unsound Inferences Make Proofs Shorter

Juan P. Aguilera, Matthias Baaz. Unsound Inferences Make Proofs Shorter. Journal of Symbolic Logic, 84(1):102-122, 2019. [doi]

Abstract

Abstract is missing.