Hostname: page-component-78c5997874-v9fdk Total loading time: 0 Render date: 2024-11-19T13:19:15.140Z Has data issue: false hasContentIssue false
  • English
  • Français

Some generalized Sheffer functions

Published online by Cambridge University Press:  24 October 2008

Alan Rose
Alan Rose
Affiliation:
King's CollegeAberdeen
Get access Rights & Permissions [Opens in a new window]

Extract

It was shown by Sheffer that all functions of the two-valued propositional calculus can be denned in terms of a single primitive. This result has been extended by Post (3) and Webb (5) to the functionally complete m-valued propositional calculus. We shall consider here similar extensions for the extended propositional calculus and for the (functionally incomplete) systems of Łukasiewicz (1).

Type
Research Article
Information
Mathematical Proceedings of the Cambridge Philosophical Society , Volume 48 , Issue 3 , July 1952 , pp. 369 - 373
Copyright
Copyright © Cambridge Philosophical Society 1952

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

(1)Łukasiewicz, Jan and Tarski, , Alfred, . Untersuchungen über den Aussagenkalkül. C.R. Soc. Sci. Varsovie (3), 23 (1930), 30–50.Google Scholar
(2)McNaughton, Robert. A theorem about infinite valued sentential logic. J. symbolic Logic, 16 (1951), 1–13.CrossRefGoogle Scholar
(3)Post, Emil L.Introduction to a general theory of elementary propositions. Amer. J. Math. 43 (1921), 163–85.CrossRefGoogle Scholar
(4)Rosser, J. B. and Turquette, A. R.Axiom schemes for m-valued propositional calculi. J. symbolic Logic, 10 (1945), 61–82.CrossRefGoogle Scholar
(5)Webb, Donald L.Generation of any n-valued logic by one binary operator. Proc. vat. Acad. Sci., Wash., 21 (1935), 252–4.CrossRefGoogle Scholar