Metadata
Author: Literature
Data
German[de]
Die Verwendung ableitbarer Regeln trägt viel zur Durchsichtigkeit von Ableitungen im Sequenzenkalkül bei.
English[en]
The use of such derivable rules contributes to the transparency of derivations in the sequent calculus.