Discovering boundary algebra: A simple notation for Boolean algebra and the truth functors

References

• Abbott , J.C. 1969 . Sets, Lattices, and Boolean Algebras , Boston : Allyn and Bacon .
   Google Scholar
• Anderson , A.R. and Belnap , N.D. 1959 . “A simple treatment of truth functions” . Journal of Symbolic Logic , 24 : 301 – 302 .
   Google Scholar
• Andréka , H. , Némeri , I. and Sain , I. 2001 . “Algebraic Logic” . In Handbook of Philosophical Logic , 2nd Ed. , Edited by: Gabbay , D.M. and Günther , F. Vol. 2 , 133 – 248 . Dordrecht : Kluwer .
   Google Scholar
• Arnold , B.H. 1962 . Logic and Boolean Algebra , Englewood Cliffs , NI : Prentice Hall .
   Google Scholar
• Barnes , D.W. and Mack , I.M. 1975 . An Algebraic Introduction to Mathematical Logic , Berlin : Springer .
   Google Scholar
• Bernstein , B.A. 1934 . “A set of Four Postulates for Boolean Algebra in Terms of the 'Implicative' Operation” . Transactions of the American Mathematical Society , 35 : 876 – 884 .
   Google Scholar
• Bostock , D. 1997 . Intermediate Logic , London : Oxford University Press .
   Google Scholar
• Bricken , W. 1986 . “A deductive mathematics for efficient reasoning” . In Technical Report HTTL-R-86-2, Human Interface Technology Laboratory of the Washington Technology Center , Seattle : University of Washington .
   Google Scholar
• Bricken , W. 2001 . “ Lecture Notes for SE 502: Mathematical Foundations ” . Unpublished
   Google Scholar
• Bums , S. and Sankappanavar , H.P. 1981 . A Course in Universal Algebra , Berlin : Springer . Available via: http://www.thoraif.uwaterloo.ca/htdocs/ualg.html
   Google Scholar
• Byrne , L. 1946 . 'Two brief formulations of Boolean algebra” . Bulletin of the American Mathematical Society , 52 : 269 – 272 .
   Web of Science ®Google Scholar
• Catnap , R. 1958 . Introduction to Symbolic Logic and Its Applications , New York : Dover .
   Google Scholar
• Church , A. 1956 . Introduction to Mathematical Logic , Vol. 1 , Princeton , NI : Princeton University Press .
   Google Scholar
• Cori , R. and Lascar , D. 2000 . Mathematical Logic: Part I , London : Oxford University Press .
   Google Scholar
• Croskin , C. 1978 . “Ways of Knowing” . Cybemetica , 21 : 185 – 192 .
   Google Scholar
• Curry , H.B. 1963 . Foundations of Mathematical Logic , New York : McGraw-Hill . Dover reprint, 1977
   Google Scholar
• Dann , B.I. 1998 . “Robbins algebras are Boolean: A revision of McCune's computer-generated solution of the Robbins problem” . Journal of Algebra , 208 : 526 – 532 .
   Web of Science ®Google Scholar
• Davey , B.A. and Priestley , H.A. 2002 . Introduction to Lattices and Order, , 2nd Ed. , London : Cambridge University Press . 1st Ed., 1990
   Google Scholar
• DeLong , H. 1971 . A Profile of Mathematical Logic , Reading , MA : Addison-Wesley .
   Google Scholar
• Dijkstra , E.W. and Scholten , C.S. 1990 . Predicate Calculus and Program Semantics , Berlin : Springer .
   Google Scholar
• Donnellan , T. 1968 . Lattice Theory , London : Pergamon .
   Google Scholar
• Eisele , C. , ed. 1976 . The New Elements of Mathematics , The Hague : Mouton .
   Google Scholar
• Epstein , R.L. 1995 . Propositioned Logics, , 2nd Ed. , London : Oxford University Press .
   Google Scholar
• Fraenkel , A. , Bar-Hillel , J. and Levy , A. 1973 . Foundations of Set Theory, , 2nd Ed. , Amsterdam : North-Holland . 1st Ed., 1958
   Google Scholar
• Frege , G. 1879 . “Begriffschrifft” . Edited by: Van Heijenoort , J. 1 – 82 . (1967),
   Google Scholar
• Girle , R.A. 2002 . Introduction to Logic , Auckland , , NZ : Pearson Education .
   Google Scholar
• Goodstein , R.L. 1963 . Boolean Algebra , London : Pergamon .
   Google Scholar
• Grattan-Guinness , I. 1982 . “Psychology in the foundations of logic and mathematics: the cases of Boole, Cantor, and Brouwer” . History and Philosophy of Logic , 1 : 61 – 93 .
   Google Scholar
• Grattan-Guinness , I. 2001 . The Search for Mathematical Roots 1870-1940 , Princeton , NJ : Princeton University Press .
   Google Scholar
• Haken , W. and Appel , K. 1989 . Every Planar Map is Four Colorable, Contemporary Mathematics , Vol. 98 , Providence , RI : American Mathematical Society .
   Google Scholar
• Halmos , PR. and Givant , S.R. 1998 . Logic as Algebra, Dolciani Mathematical Expositions No. 21 , New York : Mathematical Association of America .
   Google Scholar
• Hehner , E.C.R. 2000 . “From Boolean Algebra to Unified Algebra” . Journal of Computers in Mathematics and Science Teaching , 19 : 59 – 86 . Corrected version: http://www.cs.toronto.edU/ hehner/baua.pdf
   Google Scholar
• Hubert , D. and Ackermann , W. 1950 . Principles of Mathematical Logic , New York : Chelsea . Translation of 1938 German edition. The 3 subsequent editions have not been translated
   Google Scholar
• Hodges , W. 1977 . Logic , London : Penguin .
   Google Scholar
• Hodges , W. 2001 . “Elementary Predicate Logic” . In Handbook of Philosophical Logic, , 2nd Ed. , Edited by: Gabbay , D.M. and Günther , F. Vol. VoI. 2 , 1 – 129 . Dordrecht : Kluwer .
   Google Scholar
• Hohn , F.E. 1966 . Applied Boolean Algebra, , 2nd Ed. , New York : Macmillan . 1st Ed., 1958
   Google Scholar
• Hunter , G. 1971 . Metalogic: An Introduction to the Metatheory of Standard First Order Logic , London : Macmillan .
   Google Scholar
• Huntingdon , E.V. 1904 . “Sets of independent postulates for the algebra of logic” . Transaction of the American Mathematical Society , 5 : 288 – 309 .
   Google Scholar
• Huntingdon , E.V. 1933 . “New sets of independent postulates for the algebra of logic” . Transaction of the American Mathematical Society , 33 : 274 – 304 . Erratum (1933a) 33, 557-558
   Google Scholar
• lames , I.M. 1993 . “A calculus of number based on spatial forms” . University of Washington . MSc. Engineering Thesis,
   Google Scholar
• Kalish , D. , Montague , R. and Mar , G. 1980 . Logic: Techniques of Formal Reasoning, , 2nd Ed. , New York : Harcourt Barce lovanovich . 1st Ed., 1964
   Google Scholar
• Kauffman , L.H. "Robbins Algebra" . Proceedings of the 20th Annual Symposium on Multi-Valued Logic . pp. 54 – 60 . Charlotte , NC : IEEE Computer Society Press .
   Google Scholar
• Kauffman , L.H. 2001a . “The Mathematics of Charles Sanders Peirce” . Cybernetics and Human Knowing , 8 : 79 – 110 .
   Google Scholar
• Kauffman , L.H. 2001b . “The Robbins Problem: Computer Proofs and Human Proofs” . Kybemetes-The International Journal of Systems and Cybernetics , 30 : 726 – 751 .
   Web of Science ®Google Scholar
• Kneebone , G.T. 1963 . Mathematical Logic and the Foundation of Mathematics , Princeton , NI : Van Nostrand . Dover reprint, 2001
   Google Scholar
• Lad , F. 1996 . Operational Subjective Statistical Methods , New York : Wiley Interscience .
   Google Scholar
• Leibniz , G.W. 1996 . New Essays on Human J. Understanding , Edited by: Remnant , P. and Bennett , J. London : Cambridge University Press . First published 1765
   Google Scholar
• Lewis , C.I. 1918 . A Survey of Symbolic Logic , Berkeley , CA : University of California Press . Dover reprint, 1960
   Google Scholar
• Lipschutz , S. 1964 . Set Theory and Related Topics , New York : McGraw-Hill .
   Google Scholar
• Machover , M. 1996 . Set Theory, Logic, and Their Limitations , London : Cambridge University Press .
   Google Scholar
• MacKay , T.J. 1989 . Modern Formal Logic , New York : Macmillan .
   Google Scholar
• Malmstadt , H.V. , Enke , C.G. and Crouch , S.R. 1973 . Digital and Analog Data Conversions , Menlo Park , CA : W A Benjamin .
   Google Scholar
• McCune , W. 1997 . “Solution to the Robbins problem” . Journal of Automated Reasoning , 19 : 263 – 276 .
   Web of Science ®Google Scholar
• Mendelson , E. 1997 . Introduction to Mathematical Logic, , 4th Ed. , London : Chapman and Hall . 1st Ed., 1964
   Google Scholar
• Misner , C.W. , Thorn , K.S. and Wheeler , I.A. 1973 . Gravitation , San Francisco : WH. Freeman .
   Google Scholar
• Nicod , J. 1917 . “A reduction in the number of primitive propositions of logic” . Proceedings of the Cambridge Philosophical Society , 19 : 32 – 41 .
   Google Scholar
• Nidditch , RH. 1962 . Prepositional Calculus , London : Routledge & Kegan Paul .
   Google Scholar
• NoIt , J. , Rohatyn , D. and Varzi , A. 1998 . Logic, , 2nd Ed. , New York : McGraw-Hill . 1st Ed., 1988
   Google Scholar
• Peirce , C.S. 1886 . “Qualitative logic” . In Writings of Charles S. Peirce: A Chronological Edition , Edited by: Kloesel , C.I.W. 323 – 371 . Indianapolis : Indiana University Press .
   Google Scholar
• Peirce , C.S. 1933 . Collected Papers of Charles Sanders Peirce , Edited by: Hartshorne , C. and Weiss , P. Cambridge , MA : Harvard University Press .
   Google Scholar
• Post , E.L. 1921 . “Introduction to a general theory of elementary propositions” . American Journal of Mathematics , 43 : 163 – 185 . Also in Van Heijenoort, J, ed., (1967), 265-83
   Google Scholar
• Prior , A.N. 1962 . Formal Logic, , 2nd Ed. , London : Oxford University Press . 1st Ed., 1955
   Google Scholar
• Quine , W.V. 1937 . “Logic Based on Inclusion and Abstraction” . Edited by: Quine . 100 – 10 . (1995),
   Google Scholar
• Quine , W.V. 1938 . “Completeness of the Prepositional Calculus” . Edited by: Quine . 159 – 63 . (1995),
   Google Scholar
• Quine , W.V. 1941 . “Whitehead and Modern Logic” . Edited by: Quine . 3 – 36 . (1995),
   Google Scholar
• Quine , W.V. 1945 . “On the Logic of Quantification” . Edited by: Quine . 181 – 95 . (1995),
   Google Scholar
• Quine , W.V. 1951 . Mathematical Logic, , 2nd Ed. , Cambridge , MA : Harvard University Press . 1st Ed, 1940
   Google Scholar
• Quine , W.V. 1954a . “Logic, Symbolic” . Edited by: Quine . 37 – 51 . (1995),
   Google Scholar
• Quine , W.V. 1954b . “Reduction to a Dyadic Predicate” . Edited by: Quine . 224 – 26 . (1995),
   Google Scholar
• Quine , W.V. 1969 . Set Theory and Its Logic, , 2nd Ed. , Cambridge , MA : Harvard University Press . 1st Ed, 1963
   Google Scholar
• Quine , W.V. 1981 . Theories and Things , Cambridge , MA : Harvard University Press .
   Google Scholar
• Quine , W.V. 1982 . Methods of Logic, , 4th Ed. , Cambridge , MA : Harvard University Press . 1st Ed, 1950
   Google Scholar
• Quine , W.V. 1995 . Selected Logic Papers, , 2nd Ed. , Cambridge , MA : Harvard University Press . 1st Ed, 1966
   Google Scholar
• Restall , G. 2000 . An Introduction to Substructural Logics , London : Routledge .
   Google Scholar
• Roberts , D.D. 1973 . The Existential Graphs of Charles S Peirce , The Hague : Mouton .
   Google Scholar
• Roberts , D.D. 1997 . “A decision method for existential graphs” . In Studies in the Logic of Charles Sanders Peirce , Edited by: Houser , N. 387 – 401 . Indianapolis : Indiana University Press .
   Google Scholar
• Rosenbloom , P. 1950 . The Elements of Mathematical Logic , New York : Dover .
   Google Scholar
• Rosser , I.B. 1953 . Logic for Mathematicians , New York : McGraw-Hill .
   Google Scholar
• Rudeanu , S. 1963 . Axiomale Laticilor si ale Algebrelor Booleeene , Bucharest : Axioms of Lattices and of Boolean Algebras) (Editura Academia RPR .
   Google Scholar
• Rudeanu , S. 1974 . Boolean Functions and Equations , Amsterdam : North-Holland .
   Google Scholar
• Schwanz , D.G. 1981 . “Isomorphism of Spencer Brown's Laws of Form and Varela's calculus for self-reference” . International Journal of General Systems , 6 : 239 – 255 .
   Web of Science ®Google Scholar
• Segerberg , K. 1982 . Classical Propositional Operators: An Exercise in the Foundations of Logic , London : Oxford University Press . Oxford Logic Guides 5
   Google Scholar
• Shannon , C. 1938 . “A symbolic analysis of relay and switching circuits” . Transactions of the American Institute of Electrical Engineers , 57 : 713 – 723 .
   Google Scholar
• Sheffer , H.M. 1913 . “A set of five independent postulates for Boolean algebras, with application to logical constants” . Traits, of the American Mathematical Society , 14 : 481 – 488 .
   Google Scholar
• Shin , S.-J. 2002 . The Iconic Logic of Peirce's Graphs , Cambridge , MA : MIT Press .
   Google Scholar
• Smullyan , R.M. 1968 . First-Order Logic , Berlin : Springer-Verlag . Dover reprint, 1995
   Google Scholar
• Spencer Brown , G. 1969 . Laws of Form , London : Alien & Unwin . Currently stocked by E P Dutton (USA)
   Google Scholar
• Steen , S.W.P. 1972 . Mathematical Logic , London : Cambridge University Press .
   Google Scholar
• Stoll , R.R. 1963 . Set Theory and Logic , San Francisco : WH. Freeman . Dover reprint, 1979
   Google Scholar
• Stoll , R.R. 1974 . Sets, Logic, and Axiomatic Method, , 2nd Ed. , San Francisco : W H Freeman . 1st Ed, 1961
   Google Scholar
• Sundholm , G. 1983 . “Systems of Deduction” . In Handbook of Philosophical Logic, Vol. 1: Elements of Classical Logic , Edited by: Gabbay , D. and Gunther , F. Vol. 1 , 133 – 188 . Dordrecht : Reidel .
   Google Scholar
• Suppes , P. 1957 . Introduction to Logic , Princeton , NJ : Van Nostrand . Dover reprint, 1999
   Google Scholar
• Urquhart , A. 2001 . “Basic many-valued logic” . In Handbook of Philosophical Logic , 2nd Ed. , Edited by: Gabbay , D. and Gunther , F. Vol. 2 , 249 – 296 . Dordrecht : Kluwer .
   Google Scholar
• Van Heijenoort , J. , ed. 1967 . A Source Book in Mathematical Logic: 1879-1931 , Cambridge , MA : Harvard University Press .
   Google Scholar
• Wernick , W . 1942 . “Complete sets of logical functions” . Transactions of the American Mathematical Society , 51 : 117 – 132 .
   Google Scholar
• Whitehead , A.N. 1948 . An Introduction to Mathematics, , 2nd Ed. , London : Oxford University Press . 1st Ed, 1911
   Google Scholar
• Whitehead , A.N. and Russell , B. 1925 . Principia Mathematica, , 2nd Ed. , Vol. 1 , London : Cambridge University Press . 1st Ed, 1910. Reprinted through *56, 1962
   Google Scholar
• Whitesitt , J.E. 1961 . Boolean Algebra and Its Applications , Reading , MA : Addison-Wesley . Dover reprint, 1999
   Google Scholar
• Wiles , A. 1995 . “Modular Elliptic Curves and Fermat's Last Theorem” . Annals of Mathematics , 142 : 443 – 551 .
   Web of Science ®Google Scholar
• Winker , S. 1992 . “Absorption and idempotency criteria for a problem in near-Boolean algebra” . Journal of Algebra , 153 (2) : 414 – 423 .
   Web of Science ®Google Scholar
• Wolf , R.S. 1998 . Proof, Logic, and Conjecture: The Mathematician's Toolbox , San Francisco : W H Freeman .
   Google Scholar
• Wolfram , S. 2002 . A New Kind of Science , Champaign , IL : Wolfram Media .
   Google Scholar