Zusammenhang zwischen der TheorieF der Faktorenimplikation und der Theorie der Zylinderalgebren, Reduktion der Vollständigkeit der Axiome vonF

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (6):561-572 (1990)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19900360608

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,296

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

Zusammenhang zwischen der Theorie F der Faktorenimplikation und der Theorie der Zylinderalgebren, Reduktion der Vollständigkeit der Axiome von F.August Plattner - 1990 - Mathematical Logic Quarterly 36 (6):561-572.
Entscheidbarkeit und Vollständigkeit der Elementaren Hyperbolischen Geometrie.Wolfram Schwabhäser - 1959 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 5 (7-13):132-205.
Reduktion Der Anzahl Der Variablen Bei Gewissen Syntheseproblemen.Hans Rohleder - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (7):111-112.
Topologische Auffassung Der Axiome Der Verknüpfung Von D. Hilbert.Karel Čulík - 1965 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 11 (2):81-88.
Über die Vollständigkeit der Elementaren Euklidischen Geometrie.Wolfram Schwabhäuser - 1956 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 2 (10-15):137-165.
Vollständigkeit im Stufenkalkül.Helmut Thiele - 1957 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 3 (13-20):211-224.
Entscheidbarkeit Der Theorie Der Linearen Ordnung In LQ1.H. Herre & H. Wolter - 1977 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 23 (18):273-282.
Zur Axiomatik der Friedmanschen Theorie der Prädikate.Martin Kühnrich - 1986 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 32 (7-9):97-106.
Formules Σ1 en Théorie des Ensembles Sans Axiome de Fondement.Maurice Boffa - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (4-6):93-96.
Entscheidbarkeit der Theorie der Linearen Ordnung inLQx für Reguläres ωx.H. Herre & H. Wolter - 1978 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (1-6):73-78.

Analytics

Added to PP
2016-02-04

Downloads
1 (#1,913,683)

6 months
22 (#129,165)

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

Cylindric algebras.Leon Henkin - 1971 - Amsterdam,: North-Holland Pub. Co.. Edited by J. Donald Monk & Alfred Tarski.
Cylindric Algebras.Leon Henkin & Alfred Tarski - 1967 - Journal of Symbolic Logic 32 (3):415-416.
Über Theorien im erweiterten Sinne.August Pieczkowski - 1974 - Studia Logica 33 (4):317-331.
Causal implications of Jaśkowski.August Pieczkowski - 1975 - Studia Logica 34 (2):169-185.

Add more references