Hostname: page-component-78c5997874-lj6df Total loading time: 0 Render date: 2024-11-10T14:50:47.317Z Has data issue: false hasContentIssue false
  • English
  • Français

The Horn theory of Boole's partial algebras

Published online by Cambridge University Press:  05 September 2014

Stanley N. Burris  and
H. P. Sankappanavar
Stanley N. Burris
Affiliation:
Department of Pure Mathematics, University of Waterloo, Waterloo, Ontario, N2L 3G1, Canada E-mail: snburris@math.uwaterloo.ca
H. P. Sankappanavar
Affiliation:
Department of Mathematics, Suny at New Paltz, New Paltz, New York 12561, USA E-mail: sankapph@newpaltz.edu
Get access Rights & Permissions [Opens in a new window]

Abstract

This paper augments Hailperin's substantial efforts (1976/1986) to place Boole's algebra of logic on a solid footing. Namely Horn sentences are used to give a modern formulation of the principle that Boole adopted in 1854 as the foundation for his algebra of logic—we call this principle The Rule of 0 and 1.

Type
Articles
Information
Bulletin of Symbolic Logic , Volume 19 , Issue 1 , March 2013 , pp. 97 - 105
Copyright
Copyright © Association for Symbolic Logic 2013

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] Boole, George, The mathematical analysis of logic, being an essay towards a calculus of deductive reasoning, Basil Blackwell, Oxford, 1951, originally published in Cambridge by Macmillan, Barclay, & Macmillan, 1847.Google Scholar
[2] Boole, George, The calculus of logic, The Cambridge and Dublin Mathematical Journal vol. 3 (1848), pp. 183–198.Google Scholar
[3] Boole, George, An investigation of the laws of thought on which are founded the mathematical theories of logic and probabilities, Dover, 1958, originally published by Macmillan, London, 1854.Google Scholar
[4] Burris, Stanley, George Boole, The online Stanford Encyclopedia of Philosophy at http://plato.stanford.edu/entries/boole/.Google Scholar
[5] Burris, Stanley and Werner, Heinrich, Sheaf constructions and their elementary properties, Transactions of the American Mathematical Society, vol. 248 (1979), no. 2, pp. 269–309.Google Scholar
[6] Hailperin, Theodore, Boole's logic and probability, Studies in Logic and the Foundations of Mathematics, 85, North-Holland, 1976, 2nd edition revised and enlarged, 1986.Google Scholar
[7] Jevons, William Stanley, Pure logic, or the logic of quality apart from quantity: with remarks on Boole's system and on the relation of logic and mathematics, Edward Stanford, London, 1864, reprinted 1971 in Pure logic and other minor works , edited by R. Adamson and H. A. Jevons, Lennox Hill Pub. & Dist. Co., NY.Google Scholar
[8] Pierce, Richard S., Modules over commutative regular rings, Memoirs of the American Mathematical Society, no. 70, American Mathematical Society, Providence, R.I., 1967.Google Scholar
[9] Schröder, Ernst, Algebra der Logik, vol. I–III, 1890–1910, reprint by Chelsea 1966.Google Scholar
[10] Sheffer, Henry Maurice, A set of five independent postulates for Boolean algebras, with applications to logical constants, Transactions of the American Mathematical Society, vol. 14(1913), pp. 481–488.Google Scholar