Volume 12; Issue 3-4

Archive for Mathematical Logic

Volume 12; Issue 3-4
1

On inaccessible cardinal numbers

Alexander Abian
Journal:
Archive for Mathematical Logic
Year:
1969
Language:
english
File:
PDF, 258 KB
english, 1969
2

Ein verallgemeinerter Widerlegungsbegriff für Gentzenkalküle

Franz v. Kutschera
Journal:
Archive for Mathematical Logic
Year:
1969
Language:
german
File:
PDF, 786 KB
german, 1969
3

Mengeninduktion und Fundierungsaxiom

Ronald Björn Jensen, Max E. Schröder
Journal:
Archive for Mathematical Logic
Year:
1969
Language:
german
File:
PDF, 610 KB
german, 1969
4

Eine Verallgemeinerung des Hauptsatzes von Gentzen

Peter Zahn
Journal:
Archive for Mathematical Logic
Year:
1969
Language:
german
File:
PDF, 755 KB
german, 1969
5

A liberated version of S5

Karel Lambert, Hugues Leblanc, Robert Meyer
Journal:
Archive for Mathematical Logic
Year:
1969
Language:
english
File:
PDF, 234 KB
english, 1969
6

Decision procedures for S3∘ and S4∘

J. Jay Zeman
Journal:
Archive for Mathematical Logic
Year:
1969
Language:
english
File:
PDF, 220 KB
english, 1969
7

Schnittelimination in einem Teilsystem der einfachen Typenlogik

Wolfgang Bibel
Journal:
Archive for Mathematical Logic
Year:
1969
Language:
german
File:
PDF, 1.04 MB
german, 1969
8

Überfür-fast-alle-Quantoren

Heinz-Dieter Ebbinghaus
Journal:
Archive for Mathematical Logic
Year:
1969
Language:
german
File:
PDF, 734 KB
german, 1969