2
Über die Entsprechung der linken Einführung und Beseitigung der Implikation in Sequent Calculus und in Natural Deduction resp.
Könnte jemand eine intuitive ( nicht intutionistische) Erklärung für die Entsprechung der linken Einführung und der Beseitigung von Implikationen in Sequent Calculus (SC) bzw. Natural Deduction (ND) geben? Ich weiß, dass sie durch die Symmetrie von SC sollten, aber ich sehe nicht, wie sie einander entsprechen. Im Allgemeinen verstehe ich …