Ein Vollständigkeitsbeweis Für Die Aussagenlogischen ModalitätensystemeM, S 4,Br UndS 5

Archive for Mathematical Logic 17 (1-2):45-49 (1975)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/bf02280813

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,261

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

16. Beurteilung umgangssprachlicher Sätze und Argumente mit aussagenlogischen Mitteln.Ansgar Beckermann - 2011 - In Einführung in Die Logik. Boston: De Gruyter. pp. 161-171.
Hermes Hans. Zur Theorie der aussagenlogischen Matrizen. Mathematische Zeitschrift, vol. 53 no. 5 , pp. 414–418.H. Hiż - 1951 - Journal of Symbolic Logic 16 (4):275-275.
Ein Vollständigkeitsbeweis Für Schnittfreie Kalküle Mit Der Maximalisierungsmethode Von Henkin.Jürgen-Michael Glubrecht - 1980 - Archive for Mathematical Logic 22 (3-4):159-166.
Ein Henkin-Vollständigkeitsbeweis für die intuitionistische Prädikatelogik bezüglich der Kripke-Semantik.Horst Luckhardt - 1970 - Archive for Mathematical Logic 13 (1-2):55-59.
Ein Neuer Vollständigkeitsbeweis für das Reduzierte Fregesche Axiomensystem des Aussagenkalküls. [REVIEW]E. N. - 1937 - Journal of Philosophy 34 (19):525-526.
Carl G. Hempel. Eine rein topologische Form nichtaristotelischer Logik. Erkenntnis, vol. 6 , pp. 436–442. Summary of a paper which will appear in full in a later number of this Journal. - Hans Hermes and Heinrich Scholz. Ein neuer Vollständigkeitsbeweis für das reduzierte Fregesche Axiomensystem des Aussagenkalküls. Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften, n. s. no. 1. S. Hirzel, Leipzig1937, 40 pp. Reprinted from Deutsche Mathematik, vol. 1 , pp. 733–772. [REVIEW]C. H. Langford - 1937 - Journal of Symbolic Logic 2 (2):94-94.
Aussagenlogische grundeigenschaften formaler systeme.von Kurt Sceütte - 1958 - Dialectica 12 (3‐4):422-442.
The Role Of Government In Responding To Natural Catastrophes.N. Scott Arnold - 2000 - Journal des Economistes Et des Etudes Humaines 10 (4):505-526.
Über die ersten sechs Sätze der Monadologie.Johannes Czermak, Georg J. W. Dorn, Peter Kaliba, Edward Nieznanski, Christine Pühringer & Christian Zwickl-Bernhard - 1982 - Conceptus: Zeitschrift Fur Philosophie 16 (38):89–96.
Philosophy of Mathematics.J. Czermak (ed.) - 1993 - Hölder-Pichler-Tempsky.
Embeddings of classical logic in S4.J. Czermak - 1975 - Studia Logica 34 (1):87-100.
A logical calculus with descriptions.J. Czermak - 1974 - Journal of Philosophical Logic 3 (3):211 - 228.
Was Ist Ein Mathematischer Beweis?Johannes Czermak - 1999 - Kriterion - Journal of Philosophy 13 (1):16-23.
Distinct Modalities are not Equivalent in T.J. Czermak - 1976 - Mathematical Logic Quarterly 22 (1):123-125.
Embeddings of classical logic in S4 part II.Johannes Czermak - 1976 - Studia Logica 35 (3):257-271.

Analytics

Added to PP
2020-12-03

Downloads
1 (#1,904,823)

6 months
1 (#1,478,781)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references