K. Menger. The algebra of functions: past, present, future. Rendiconti di matematica, vol. 20 , pp. 409–430. - Karl Menger. Function algebra and propositional calculus. Self-organizing systems 1962, edited by Marshall C. Yovits, George T. Jacobi, and Gordon D. Goldstein, Spartan Books, Washington, D.C., 1962, pp. 525–532. - Karl Menger and Martin Schultz. Postulates for the substitutive algebra of the 2-place functors in the 2-valued calculus of propositions. Notre Dame journal of formal logic, vol. 4 no. 3 , pp. 188–192. - Robert E. Seall. Truth-valued fluents and qualitative laws. Philosophy of science, vol. 30 , pp. 36–10 [Book Review]

Journal of Symbolic Logic 31 (2):272 (1966)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2269839

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,449

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

Two remarks concerning Menger's and Schultz' postulates for the substitutive algebra of the $2$-place functors in the $2$-valued calculus of propositions. [REVIEW]Richard Peters - 1964 - Notre Dame Journal of Formal Logic 5 (2):125-128.
Postulates for the substitutive algebra on the 2 - valued calculus of proposition.Karl Menger - 1963 - Notre Dame Journal of Formal Logic 4:188.
Menger Karl. Algebra of analysis. Notre Dame mathematical lectures, no. 3. Lithoprinted. University of Notre Dame, Notre Dame, Ind., 1944, 50 pp. [REVIEW]Alonzo Church - 1945 - Journal of Symbolic Logic 10 (3):103-103.
Menger Karl. On variables in mathematics and in natural science. The British journal for the philosophy of science, vol. 5 , pp. 134–142.Menger Karl. Variables, de diverses natures. Bulletin des sciences mathématiques, ser. 2 vol. 78 , pp. 229–234.Menger Karl. What are variables and constants? Science, vol. 123 , pp. 547–548. [REVIEW]Alonzo Church - 1957 - Journal of Symbolic Logic 22 (3):300-301.
Scharle Thomas W.. A diagram of the functors of the two-valued propositional calculus. Notre Dame journal of formal logic, vol. 3 , pp. 243–255. [REVIEW]Gene F. Rose - 1963 - Journal of Symbolic Logic 28 (2):175-175.
Menger Karl. Are variables necessary in calculus? The American mathematical monthly, vol. 56 , pp. 609–620.Alonzo Church - 1950 - Journal of Symbolic Logic 15 (1):61-61.
Menger Karl. The new logic. Translated by Gottlieb H. B. and Senior J. K.. Philosophy of science, vol. 4 , pp. 299–336.W. V. Quine - 1938 - Journal of Symbolic Logic 3 (1):48-48.
Robert E. Clay. A simple proof of functional completeness in many-valued logics based on Łukasiewicz's C and N. Notre Dame journal of formal logic, vol. 3 , pp. 114–117. - Robert E. Clay. Note on Stupecki T-functions. The journal of symbolic logic, vol. 27 no. 1 , pp. 53–54. [REVIEW]Arto Salomaa - 1965 - Journal of Symbolic Logic 30 (1):105.
Charles E. Caton. A stipulation of logical truth in a modal propositional calculus. Synthese, vol. 14 , pp. 196–199. - Charles E. Caton. A stipulation of a modal propositioned calculus in terms of modalized truth-values. Notre Dame journal of formal logic, vol. 4 no. 3 , pp. 224–226. [REVIEW]Gerald J. Massey - 1974 - Journal of Symbolic Logic 39 (3):611.
Šehtman V. B.. An undecidable superintuitionistic propositional calculus. Soviet mathematics, vol. 19 no. 3 , pp. 656–660. , pp. 549–552.)Popov S. V.. Nondecidable intermediate calculus. Algebra and logic, vol. 20 , pp. 424–461. , pp. 654-706.). [REVIEW]Alasdair Urquhart - 1985 - Journal of Symbolic Logic 50 (4):1081-1083.

Analytics

Added to PP
2016-06-30

Downloads
59 (#377,787)

6 months
9 (#328,796)

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

No references found.

Add more references