Zur Deutung der intuitionistischen Logik
A., Kolmogoroff (1932)
Mathematische Zeitschrift
Similarity:
Displaying similar documents to “Zur Widerspruchsfreiheit einer typenfreien Logik.”
Zur Deutung der intuitionistischen Logik
Zur Stufenreduktion von Kalkülen.
Herbert Fiedler (1965)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Zur Konstruktiven Deutung der semantischen Vollständigkeit klassischer Quantoren- und Modalkalküle.
P. Lorenzen (1972)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Zur Axiomatisierbarkeit von Theorien in der schwachen Logik der zweiten Stufe.
Wolfram Schwabhäuser (1966)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Ein formales System der klassischen Aussagenlogik mit einer einzigen Grundverknüpfung.
Kurt Schütte (1960/61)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Das fundamentale Implikationensystem einer implikativen Modalitätenstruktur mit idempotenter Möglichkeit.
Arnold Schmidt (1954/56)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Die automorhismenmengen der Modelle einer L...-Theorie.
Jörg Flum (1972)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Zur konstruktiven Differenzierbarkeit von monotonen berechenbaren Funktionen.
H. Bremer, C.H.H. Reynvaan (1975)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Zur Interpretation der Syllogistik.
Paul Lorenzen (1954/56)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Zusammenfassung von mehreren vollständigen Induktionen zu einer einzigen.
Gerhard Gentzen (1954/56)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: