Ein verallgemeinerter Widerlegungsbegriff für Gentzenkalküle

This publication has 3 references indexed in Scilit:

• Die Vollständigkeit des Operatorensystems {¬, ∨, ⊃} für die Intuitionistische Aussagenlogik im Rahmen der Gentzensematik
  Archive for Mathematical Logic, 1968
• Widerspruchsfreier Aufbau der Logik I
  The Journal of Symbolic Logic, 1950
• Untersuchungen ber das logische Schlie en. I
  Mathematische Zeitschrift, 1935