Zur konstruktiven Deutung der semantischen Vollständigkeit klassischer Quantoren- und Modalkalküle P. Lorenzen OriginalPaper Pages: 103 - 117
Unterstruktur-invariante Formeln in der intuitionistischen Logik Horst Osswald OriginalPaper Pages: 118 - 128
Beweistheoretische Charakterisierung einer Erweiterung der Grzegorczyk-Hierarchie Helmut Schwichtenberg OriginalPaper Pages: 129 - 145
A calculus for finitely satisfiable formulas with identity Arthur M. BullockHubert H. Schneider OriginalPaper Pages: 158 - 163