Untersuchungen zum Prädikatenkalkul

Journal of Symbolic Logic 10 (4):127-130 (1945)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2269018

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,881

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: Oiva Ketonen, Untersuchungen zum Pradikatenkalkul. [REVIEW]Paul Bernays - 1945 - Journal of Symbolic Logic 10 (4):127-130.
Semantische Untersuchungen zur Entscheidbarkeit im Prädikatenkalkül mit Funktionsvariablen.J. Reichbach - 1959 - Journal of Symbolic Logic 24 (3):241-241.
Untersuchungen über den Einstelligen Intuitionistischen Prädikatenkalkül der Ersten Stufe.Jekeri Okee - 1972 - Mathematical Logic Quarterly 18 (1‐3):37-48.
Heytingsche prädikatenkalkul und metrische räume 251.X. Xxx - 1959 - In A. Heyting (ed.), Constructivity in mathematics. Amsterdam,: North-Holland Pub. Co.. pp. 24--250.
Ueber den Aussagen- und den Engeren Prädikatenkalkül.J. Ridder - 1947 - Journal of Symbolic Logic 12 (4):135-135.
Der heytingsche prädikatenkalkul und metrische räume.Roman Sikorski - 1959 - In A. Heyting (ed.), Constructivity in mathematics. Amsterdam,: North-Holland Pub. Co.. pp. 250.
Zum Zerlegungssatz im Erweiterten Einstelligen Prädikatenkalkül.Jiro Hirano - 1938 - Journal of Symbolic Logic 3 (2):91-91.
Das Repräsentantenproblem im Prädikatenkalkül der ersten Stufe mit Identität.Günter Asser - 1955 - Mathematical Logic Quarterly 1 (4):252-263.
Review: J. Ridder, Ueber den Aussagen- und den Engeren Pradikatenkalkul. [REVIEW]Evert W. Beth - 1947 - Journal of Symbolic Logic 12 (4):135-135.
Systematische Behandlung der lösbaren Fälle des Entscheidungsproblems für den Prädikatenkalkül der ersten Stufe.Dieter Klaua - 1955 - Mathematical Logic Quarterly 1 (4):264-270.
Ein Aufbau der Mengenlehre mit transfiniten Typen, formalisiert im Prädikatenkalkül der ersten Stufe.Dieter Klaua - 1957 - Mathematical Logic Quarterly 3 (21):303-316.
Der prädikatenkalkül mit limitierten variablen grundlegung einer natürlichen exakten logik.Heinrich Behmann - 1959 - Journal of Symbolic Logic 24 (2):112-140.
Review: G. F. C. Griss, Negationless Intuitionistic Mathematics; J. Ridder, Ueber den Aussagen-und den Engeren Pradikatenkalkul; L. E. J. Brouwer, Richtlijnen der Intuitionistische Wiskunde. [REVIEW]Alonzo Church - 1948 - Journal of Symbolic Logic 13 (3):174-174.
Logische Untersuchungen, Zweiter Band: Untersuchungen zur Phänomenologie und Theorie der Erkenntnis, Text der 1. und der 2.Edmund Husserl & Ursula Panzer - 1986 - Zeitschrift für Philosophische Forschung 40 (2):297-300.
Lucian on Parasites Heinz-Günther Nesselrath: Lukians Parasitendialog: Untersuchungen und Kommentar.(Untersuchungen zur antiken Literatur und Geschichte, 22.) Pp. xi + 560. Berlin/New York: de Gruyter, 1985. DM 258. [REVIEW]B. P. Reardon - 1987 - The Classical Review 37 (02):159-161.

Analytics

Added to PP
2015-02-05

Downloads
32 (#499,655)

6 months
3 (#976,504)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Proof analysis in intermediate logics.Roy Dyckhoff & Sara Negri - 2012 - Archive for Mathematical Logic 51 (1):71-92.
Stoic Sequent Logic and Proof Theory.Susanne Bobzien - 2019 - History and Philosophy of Logic 40 (3):234-265.
Gentzen's proof systems: byproducts in a work of genius.Jan von Plato - 2012 - Bulletin of Symbolic Logic 18 (3):313-367.
Wittgenstein on Incompleteness Makes Paraconsistent Sense.Francesco Berto - 2008 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications. Springer. pp. 257--276.
Necessity of Thought.Cesare Cozzo - 2015 - In Heinrich Wansing (ed.), Dag Prawitz on Proofs and Meaning. Springer. pp. 101-20.

View all 11 citations / Add more citations

References found in this work

No references found.

Add more references