Skip to main content
SpringerLink
Log in

Superassociative systems and logical functors

  • Published:
Mathematische Annalen 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

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

Instant access to the full article PDF.

Institutional subscriptions

References

  1. Mannos, M.: Ideals in tri-operational algebra. Reports Math. Coll., 2nd series, Notre Dame7, 73–79 (1946).

    Google Scholar 

  2. Mehlberg, J. J.: A classification of mathematical concepts. Synthese14, 78–86 (1962).

    Google Scholar 

  3. Menger, K.: A counterpart of Occam's Razor in pure and applied mathematics. Synthese12, 415–428 (1960) and13, 331–349 (1961).

    Google Scholar 

  4. —— Gulliver in the land without One, Two, Three. Math. Gaz.43, 241–250 (1959).

    Google Scholar 

  5. —— Gulliver's return to the land without One, Two, Three. Am. Math. Monthly67, 641–648 (1960).

    Google Scholar 

  6. —— Tri-operational algebra. Reports Math. Coll., 2nd ser., Notre Dame5–6, 3–10 (1945).

    Google Scholar 

  7. —— General algebra of analysis. Reports Math. Coll., 2nd ser., Notre Dame7, 46–60 (1946).

    Google Scholar 

  8. -- Algebra of analysis. Notre Dame Math. Lect.3 (1944).

  9. —— Calculus. A Modern Approach. Boston: Ginn 1955.

    Google Scholar 

  10. —— An axiomatic theory of functions and fluents. In The Axiomatic Method, 454 to 473, ed. Henkin et al. Amsterdam: North-Holland Publ. Co. 1959.

    Google Scholar 

  11. —— Algebra of functions: past, present, future. Rend. Mat. Roma20, 409–430 (1961).

    Google Scholar 

  12. —— Function algebra and propositional calculus. In Self-Organizing Systems 1962, 525–532. Ed. Yovites et al. Washington: Spartan Books.

    Google Scholar 

  13. Milgram, A. N.: Saturated polynomials. Reports Math. Coll., 2nd ser., Notre Dame7, 65–68 (1946).

    Google Scholar 

  14. Nöbauer, W.: Über die Operation des Einsetzens in Polynomringen. Math. Ann.134, 248–259 (1958) and Funktionen auf kommutativen Ringen. Math. Ann.147, 166–175 (1962).

    Google Scholar 

  15. Post, E.: The two-valued iterative systems of mathematical logic. Princeton Univ. Press (1941).

  16. Schweizer, B., andA. Sklar: The algebra of functions. Math. Ann.139, 366–382 (1960);143, 440–447 (1961) and a forthcoming third paper.

    Google Scholar 

  17. —— A mapping algebra with infinitely many operations. Coll. Math.9, 33–38 (1962).

    Google Scholar 

  18. Seall, R. E.: Truth-valued fluents and qualitative laws. Philos. Sci.30, 36–41 (1963).

    Google Scholar 

  19. Whitlock, H. I.: A composition algebra for multiplace functions. Math. Ann.157, 167–178 (1964).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Chicago

    Karl Menger

Authors
  1. Karl Menger
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

I wish to thank Dr.E. F. Stueben and Mr.H. I. Whitlock for valuable suggestions and MissA. Lipson for work on a I.B.M. 7090 proving the consistency of some superassociative systems. All three were supported by the Office of Naval Research (grant Nonr (G)-0003-64) during the summer 1963.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Menger, K. Superassociative systems and logical functors. Math. Ann. 157, 278–295 (1964). https://doi.org/10.1007/BF01360871

Download citation

  • Received:

  • Issue Date:

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

Search

Navigation