Postulates for the substitutive algebra on the 2 - valued calculus of proposition

Notre Dame Journal of Formal Logic 4:188 (1963)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093957575

Links

PhilArchive



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

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.
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. [REVIEW]Bruce Lercher - 1966 - Journal of Symbolic Logic 31 (2):272.
The Menger algebras of $2$-place functions in the $2$-valued logic. [REVIEW]Philip Calabrese - 1966 - Notre Dame Journal of Formal Logic 7 (4):333-340.
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.
The extended calculus of indications interpreted as a three-valued logic.Francisco J. Varela - 1979 - Notre Dame Journal of Formal Logic 20 (1):141-146.
A diagram of the functors of the two-valued propositional calculus.Thomas W. Scharle - 1962 - Notre Dame Journal of Formal Logic 3 (4):243-255.
Further axiomatizations of the Ł ukasiewicz three-valued calculus.Federico M. Sioson - 1964 - Notre Dame Journal of Formal Logic 5 (1):62-70.
An axiom system for three-valued Ł ukasiewicz propositional calculus.Luisa Iturrioz - 1977 - Notre Dame Journal of Formal Logic 18 (4):616-620.
Note to my paper: "A diagram of the functors of the two-valued propositional calculus".Thomas W. Scharle - 1962 - Notre Dame Journal of Formal Logic 3 (4):287-288.
On the equivalence of strong and weak validity of rule schemes in the two-valued propositional calculus.Rangaswamy V. Setlur - 1970 - Notre Dame Journal of Formal Logic 11 (2):249-253.

Analytics

Added to PP
2010-08-24

Downloads
22 (#733,109)

6 months
2 (#1,259,626)

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