Eine Axiomatisierung der Mehrwertigen Logiken von Gödel

Mathematical Logic Quarterly 25 (33):549-558 (1979)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19790253306

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,553

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

Eine Axiomatisierung der zweiwertigen Prädikatenkalküle der ersten Stufe, welche die Implikation enthalten.Helmut Thiele - 1956 - Mathematical Logic Quarterly 2 (5-7):93-106.
Review: Gerhard Frey, Bemerkungen zum Problem der Mehrwertigen Logiken. [REVIEW]A. R. Turquette - 1954 - Journal of Symbolic Logic 19 (2):131-132.
Entscheidbarkeit von Theorien in Logiken mit verallgemeinerten Quantoren.Heinrich Herre & Helmut Wolter - 1975 - Mathematical Logic Quarterly 21 (1):229-246.
Zur Axiomatisierung Der Nicht‐Identitäten Des Aussagenkalküls.Klaus Härtig - 1960 - Mathematical Logic Quarterly 6 (15-22):240-247.
Ein Verfahren Zur Axiomatisierung Der Kontradiktionen Gewisser Zweiwertiger Aussagenkalküle.Gönter Asser & Wolfgang Rautenberg - 1960 - Mathematical Logic Quarterly 6 (15-22):303-318.
Untersuchungen zu Schwachen Logiken der Zweiten Stufe.Eberhard Herrmann & Helmut Wolter - 1980 - Mathematical Logic Quarterly 26 (1-6):59-68.
Untersuchungen Zur Theorie der Linearen Ordnung in Logiken MIT Mächtigkeitsquantoren.H. Herre & H. Wolter - 1981 - Mathematical Logic Quarterly 27 (2-6):73-94.
Untersuchungen zu Schwachen Logiken der Zweiten Stufe.Eberhard Herrmann & Helmut Wolter - 1980 - Mathematical Logic Quarterly 26 (1‐6):59-68.

Analytics

Added to PP
2014-01-16

Downloads
27 (#838,947)

6 months
3 (#1,498,028)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Many-valued logic.Nicholas Rescher - 1969 - New York,: McGraw-Hill.
Many-Valued Logic.Nicholas Rescher - 1970 - British Journal for the Philosophy of Science 21 (4):405-406.

Add more references