Ein formales System der klassischen Aussagenlogik mit einer einzigen Grundverknüpfung.
Kurt Schütte (1960/61)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Kurt Schütte (1960/61)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
H. Arnold Schmidt (1957)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Horst Luckhardt (1977)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Heinrich Behmann (1950/52)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Klemens Döpp (1969)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Joram Hirschfeld (1980)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
A.B. Slomson (1972)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Matthias Ragaz (1983)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Giorgio Germano (1970)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Heinrich Behmann (1960/61)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
W. Hoering (1957)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
R.B. Jensen, Max E. Schröder (1969)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: