Hostname: page-component-77c89778f8-gvh9x Total loading time: 0 Render date: 2024-07-25T05:25:13.720Z Has data issue: false hasContentIssue false
  • English
  • Français

The independence of “Huntington’s axioms” for boolean algebra

Published online by Cambridge University Press:  22 September 2016

F. Gerrish
F. Gerrish*
Affiliation:
Department of Mathematics, The Polytechnic, Kingston-on-Thames, KT1 2EE
Get access Rights & Permissions [Opens in a new window]

Extract

Among the various logically equivalent sets of axioms for boolean algebra ([1] discusses four of them), that referred to in the title of this article is popular because of its symmetry (self-duality) and convenience in application. The textbook presentation is essentially as follows; the qualifiers ‘left’, ‘right’ are often omitted, although the symbolic version indicates that they are intended.

Type
Research Article
Information
The Mathematical Gazette , Volume 62 , Issue 419 , March 1978 , pp. 35 - 40
Copyright
Copyright © Mathematical Association 1978

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

1. Goodstein, R. L., Boolean algebra. Pergamon (1963).Google Scholar
2. Whitesitt, J. E., Boolean algebra and its applications. Addison-Wesley (1961).Google Scholar
3. Fletcher, T. J. (ed.), Some lessons in mathematics. Cambridge University Press (1965).Google Scholar
4. Stoll, R. R., Set theory and logic. Freeman (1963).Google Scholar
5. Stoll, R. R., Sets, logic and axiomatic theories. Freeman (1961).Google Scholar
6. Kaye, D., Boolean systems. Longman (1968).Google Scholar
7. Huntington, E. V., Sets of independent postulates for the algebra of logic, Trans. Am. math. Soc. 5, 208–309 (1904).CrossRefGoogle Scholar