Skip to main content
Springer Nature Link
Log in

Kriterien für die Herleitbarkeit in Modalitätenstrukturen

  • Published:
Archiv für mathematische Logik und Grundlagenforschung Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Literatur

  1. O. Becker: Zur Logik der Modalitäten. Jb. Philos. u. phänomen. Forsch.11, 496–548 (1930).

    Google Scholar 

  2. O. Becker: Untersuchungen über den Modalkalkül, Meisenheim 1952.

  3. A. Church: An unsolvable problem of elementary number theory. Am. J.Math.58, 345–363 (1936).

    Google Scholar 

  4. C. W. Churchman: On finite and infinite modal systems. J. Symbol. Log.3, 77–82 (1938).

    Google Scholar 

  5. E. V. Huntington: Postulates for assertion, conjunction, negation, and equality. Proc. Amer. Acad. Arts Sci.72, 1–44 (1936).

    Google Scholar 

  6. M. Hall, jr.: The word problem for semigroups with two generators. J. Symbol. Log.14, 115–118 (1949).

    Google Scholar 

  7. C. I. Lewis: A Survey of Symbolic Logic, Chapt. V, Berkeley (Cal.) 1918.

  8. C.I. Lewis, C.H. Langford: Symbolic Logic, Chapt. VI, New York 1932.

  9. A. a. O., App. II (Mitwirkung vonParry).

  10. J. C. C. McKinsey: A reduction in number of the postulates forC. I. Lewis' system of strict implication. Bull. Amer.Math. Soc.40, 425–427 (1934).

    Google Scholar 

  11. W. T. Parry: ZumLewisschen Aussagenkalkül. Erg. math. Koll.4, 15–16 (1933).

    Google Scholar 

  12. W. T. Parry: Modalities in the Survey system of strict implication. J. Symbol. Log.4, 137–154 (1939).

    Google Scholar 

  13. Arnold Schmidt: Systematische Basisreduktion der Modalitäten bei Idempotenz der positiven Grundmodalitäten. Math. Ann.122, 71–89 (1950).

    Google Scholar 

  14. H. Arnold Schmidt: Das fundamentale Implikationensystem einer implikativen Modalitätenstruktur mit idempotenter Möglichkeit. Arch. math. Log. Grundlagenforsch.2, Heft 2–4, 33–54 (1956).

    Google Scholar 

  15. H. Arnold Schmidt: Die Gesamtheit der idempotenten implikativen Modalitätenstrukturen. Ebenda3, Heft 1–2 (1957).

    Google Scholar 

  16. H. Arnold Schmidt: Ein rein aussagenlogischer Zugang zu den Modalitäten der strikten Logik. Abstr. Proc. Intern. Math. Congr., Amsterdam 1954.

  17. H. Arnold Schmidt: Mathematische Gesetze der Logik, Band I, Aussagenlogik (Grundl. math. Wiss.69 [erscheint demnächst]).

  18. T. Tsao-Chen: A paradox ofLewis strict implication. Bull. Amer. Math. Soc.42, 707–709 (1936).

    Google Scholar 

  19. M. Wajsberg: Ein erweiterter Klassenkalkül. Monatsh. Math. Phys.40, 113–126 (1933).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Marburg, Lahn

    Günther Emde

Authors
  1. Günther Emde
    View author publications

    You can also search for this author inPubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Emde, G. Kriterien für die Herleitbarkeit in Modalitätenstrukturen. Arch math Logik 3, 79–111 (1957). https://doi.org/10.1007/BF01988050

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01988050