25. Korrektheit und Vollständigkeit von AK

In Einführung in Die Logik. De Gruyter. pp. 305-319 (2014)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1515/9783110354096.305

Links

PhilArchive



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

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

26. Korrektheit und Vollständigkeit von PK.Ansgar Beckermann - 2014 - In Einführung in Die Logik. De Gruyter. pp. 319-337.
27. Korrektheit und Vollständigkeit der Wahrheitsbaumverfahren für AL und PL.Ansgar Beckermann - 2014 - In Einführung in Die Logik. De Gruyter. pp. 337-349.
Vollständigkeit im Stufenkalkül.Helmut Thiele - 1957 - Mathematical Logic Quarterly 3 (13‐20):211-224.
Vollständigkeit der nichttraditionellen Prädikationstheorie.Horst Wessel - 1982 - Deutsche Zeitschrift für Philosophie 30 (11):1363.
Die vollständigkeit der kantischen urteilstafel..Klaus Reich - 1932 - Berlin,: R. Schoetz.
Die Vollständigkeit der kantischen Urteilstafel. [REVIEW]Martin Bondeli - 1997 - Zeitschrift für Philosophische Forschung 51 (2).
Über die Vollständigkeit des Logikkalküls.Stefan Bauer-Mengelberg - 1990 - Journal of Symbolic Logic 55 (1):341-342.
Beweise und die Bedeutung und Vollständigkeit der logischen Konstanten.Dag Prawitz - 1982 - Conceptus: Zeitschrift Fur Philosophie 16 (38):31-44.
Die Gegebenheit und Vollständigkeit a priori der Kantischen Urteilstafel.Hilmar Lorenz - 1997 - Kant Studien 88 (4):386-405.
Entscheidbarkeit und Vollständigkeit der Elementaren Hyperbolischen Geometrie.Wolfram Schwabhäser - 1959 - Mathematical Logic Quarterly 5 (7‐13):132-205.
Ein neuer beweis für die vollständigkeit eines vielwertigen systems Des aussagenkalküls.G. Bryll - 1966 - Studia Logica 19 (1):115-115.
Über die Vollständigkeit der Elementaren Euklidischen Geometrie.Wolfram Schwabhäuser - 1956 - Mathematical Logic Quarterly 2 (10‐15):137-165.
Reich, Klaus, Die Vollständigkeit der Kantischen Urteilstafel. [REVIEW]Anneliese Maier - 1934 - Société Française de Philosophie, Bulletin 39:83.
Über die vollständigkeit der Axiomensysteme mit Einem Endlichen Individuenbereich.Paul Kustaanheimo - 1951 - Journal of Symbolic Logic 16 (4):282-283.
Eine bemerkung zu Henkin's beweis für die vollständigkeit Des prädikatenkalküls der ersten stufe.G. Hasenjaeger - 1953 - Journal of Symbolic Logic 18 (1):42-48.

Analytics

Added to PP
2015-04-02

Downloads
5 (#1,469,565)

6 months
1 (#1,459,555)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Ansgar Beckermann
Bielefeld University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references