Topologische Untersuchungen zur Semantik und Syntax eines erweiterten Prädikatenkalküls.

G. Hasenjaeger

Skip to main content (access key 's'), Skip to navigation (access key 'n'), Accessibility information (access key '0')

Displaying similar documents to “Topologische Untersuchungen zur Semantik und Syntax eines erweiterten Prädikatenkalküls.”

Modelltheoretische Untersuchungen in der Kripke-Semantik.

Horst Osswald (1970)

Archiv für mathematische Logik und Grundlagenforschung

Similarity:

Semantische Untersuchungen zur Entscheidbarkeit im Prädikatenkalkül mit Funktionsvariablen.

Thomas Eichholz (1957)

Archiv für mathematische Logik und Grundlagenforschung

Similarity:

Relationen- und Prädikatenlogische Untersuchungen zur Syllogistik.

Jürgen v. Kempski (1954/56)

Archiv für mathematische Logik und Grundlagenforschung

Similarity:

Majorisierungsrelationen und Fundamentalfolgen eines Ordinalzahlensystems von G. Jäger.

Kurt Schütte (1987)

Archiv für mathematische Logik und Grundlagenforschung

Similarity:

Zur Stufenreduktion von Kalkülen.

Herbert Fiedler (1965)

Archiv für mathematische Logik und Grundlagenforschung

Similarity:

Ein Henkin-Beweis für die Vollständigkeit eines Kalküls relativ zur Grzegorczyk-Semantik.

Dieter Klemke (1971)

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:

Kripke-Semantik der derivativen Prädikatelogik.

Horst Luckhardt (1970)

Archiv für mathematische Logik und Grundlagenforschung

Similarity:

Untersuchungen über die Struktur des Kleene-Postschen Halbverbandes der Grade der reukrsiven Unlösbarkeit.

Dieter Titgemeyer (1965)

Archiv für mathematische Logik und Grundlagenforschung

Similarity:

Über die Homogenisierbarkeit von Rechenprogrammen.

Klemens Döpp (1969)

Archiv für mathematische Logik und Grundlagenforschung

Similarity:

Generalized quantifiers and well orderings.

A.B. Slomson (1972)

Archiv für mathematische Logik und Grundlagenforschung

Similarity:

Generalized ultrapowers.

Joram Hirschfeld (1980)

Archiv für mathematische Logik und Grundlagenforschung

Similarity: