Lexicon of Arguments

 

Berka I 248
Def Äquivalenz/Sequenzenkalkül/Gentzen: zwischen Formeln und Sequenzen: gleiche Formeln sind äquivalent - gleiche Sequenzen sind äquivalent. - Zwei Formeln sind äquivalent, wenn die eine aus der anderen dadurch entsteht, dass man das Zeichen F (das Falsche) überall durch die Formel A & ¬ A ersetzt.
Def Äquivalenz von Herleitungen: liegt vor, wenn die Endformel bzw. die Endsequenz der einen mit der der anderen äquivalent ist - Def Äquivalenz von Kalkülen: liegt vor, wenn sich jede Herleitung in dem einen Kalkül in eine äquivalente Herleitung in dem anderen Kalkül umwandeln läßt.⁽¹⁾


1. G. Gentzen, Untersuchungen über das logische Schließen I-II, Math. Z. 39 (1934-35) 176-210, 405-431; Nachdruck: Darmstadt 1969