From boolean algebra to unified algebra

Mathematical Intelligencer

Volumn 26, Issue 2, 2004, Pages 3-19

  Hehner, Eric C R ^a  

^a UNIVERSITY OF TORONTO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 2542641572     PISSN: 03436993     EISSN: None     Source Type: Journal    
DOI: 10.1007/BF02985647     Document Type: Article

References (24)

1. L.E. Allen: "Symbolic Logic: a Razor-Edged Tool for Drafting and Interpreting Legal Documents", Yale Law Journal v.66 p.833-879, 1957.
2. R. Back, J. Grundy, J. von Wright: "Structured Calculational Proof", Formal Aspects of Computing v.9 n. 5 p.469-483, 1997.
3. J.M. Bochenski: A History of Formal Logic second edition, translated and edited by Ivo Thomas, Chelsea Publishing, New York, 1970.
4. G. Boole: An Investigation of the Laws of Thought, on which are founded the Mathematical Theories of Logic and Probabilities, MacMillan, 1854, reprinted by Dover, 1973.
5. R. Boute: "Binary Algebra and Functional Predicate Calculus: a Practical Approach", University of Ghent, Belgium, 1999.
6. A. Church: "The Calculi of Lambda-Conversion", Annals of Mathematical Studies v. 6, Princeton University Press, 1941.
7. E.W. Dijkstra, C.S.Scholten: Predicate Calculus and Program Semantics, Springer-Verlag, 1990.
8. R.L Goodstein: Development of Mathematical Logic, Springer-Verlag, 1971.
9. D. Gries: "Improving the Curriculum through the teaching of Calculation and Discrimination", Communications of the ACM v.34 n.3 p.45-55, 1991 March.
10. D. Gries, F.B. Schneider: A Logical Approach to Discrete Math, Springer-Verlag, 1993.
11. P. Halmos, S. Givant: Logic as Algebra, Mathematical Association of America, 1998.
12. E.C.R. Hehner: "Beautifying Gödel", chapter 18 in Beauty is our Business, a birthday tribute to Edsger Dijkstra, Springer-Verlag, 1990.
13. E.C.R. Hehner: A Practical Theory of Programming, Springer-Verlag 1993. The second edition, 2004, is at www.cs.toronto.edu/~hehner/UA.pdf.
14. E.C.R. Hehner: "Unified Algebra", www.cs.toronto.edu/~hehner/ UA.pdf.
15. I.N. Herstein: Topics in Algebra p.323, Blaisdell, 1964.
16. R.H. Katz: Contemporary Logic Design, Benjamin Cummings, 1994, p.10.
17. L. Lamport: "How to Write a Proof", American Mathematical Monthly v.102 n.7 p.600-608, 1995 Aug.
18. J. Lukasiewicz: "On the History of the Logic of Propositions", Selected Works, citing Sextus Empiricus in Adversus Mathematicos, circa 200.
19. C. Navarre: quoted in Barbara W. Tuchman: A Distant Mirror: the Calamitous Fourteenth Century, Knopf, 1978.
20. R. Recorde: The Whetstone of Witte, London 1557, reprinted by Da Capo Press, Amsterdam, 1969.
21. P.J. Robinson, J. Staples: "Formalizing a Hierarchical Structure of Practical Mathematical Reasoning", Journal of Logic and Computation 3(1):47-61, February 1993.
22. J.B. Rosser: "Highlights of the History of the Lambda- Calculus", Annals of the History of Computing v.6 n.4 p.337-349, 1984 October.
23. J.L.A. van de Snepscheut: What Computing is All About, Springer-Verlag, 1993.
24. J.M. Spivey: The Z Notation: a Reference Manual, Prentice-Hall, 1989.