Changes

{{DISPLAYTITLE:Propositional Equation Reasoning Systems}}

{{DISPLAYTITLE:Propositional Equation Reasoning Systems}}

'''Author: [[User:Jon Awbrey|Jon Awbrey]]'''

'''Author: [[User:Jon Awbrey|Jon Awbrey]]'''

==References==

==References==

* [[Gottfried Leibniz|Leibniz, G.W.]] (1679–1686 ?), "Addenda to the Specimen of the Universal Calculus", pp. 40–46 in Parkinson, G.H.R. (ed.), ''Leibniz : Logical Papers'', Oxford University Press, London, UK, 1966.  (Cf. Gerhardt, 7, p. 223).

* Leibniz, G.W. (1679–1686 ?), “Addenda to the Specimen of the Universal Calculus”, pp. 40–46 in Parkinson, G.H.R. (ed.), ''Leibniz : Logical Papers'', Oxford University Press, London, UK, 1966.  (Cf. Gerhardt, 7, p. 223).

* [[Charles Peirce (Bibliography)|Peirce, C.S., Bibliography]].

* [[Charles Sanders Peirce (Bibliography)|Peirce, C.S., Bibliography]].

* [[Charles Peirce|Peirce, C.S.]] (1931–1935, 1958), ''Collected Papers of Charles Sanders Peirce'', vols. 1–6, [[Charles Hartshorne]] and [[Paul Weiss (philosopher)|Paul Weiss]] (eds.), vols. 7–8, [[Arthur W. Burks]] (ed.), Harvard University Press, Cambridge, MA.  Cited as CP volume.paragraph.

* [[Charles Sanders Peirce|Peirce, C.S.]] (1931–1935, 1958), ''Collected Papers of Charles Sanders Peirce'', vols. 1–6, Charles Hartshorne and Paul Weiss (eds.), vols. 7–8, Arthur W. Burks (ed.), Harvard University Press, Cambridge, MA.  Cited as CP volume.paragraph.

* Peirce, C.S. (1981–), ''Writings of Charles S. Peirce: A Chronological Edition'', [[Peirce Edition Project]] (eds.), Indiana University Press, Bloomington and Indianoplis, IN.  Cited as CE volume, page.

* Peirce, C.S. (1981–), ''Writings of Charles S. Peirce : A Chronological Edition'', Peirce Edition Project (eds.), Indiana University Press, Bloomington and Indianoplis, IN.  Cited as CE volume, page.

* Peirce, C.S. (1885), "On the Algebra of Logic: A Contribution to the Philosophy of Notation", ''American Journal of Mathematics'' 7 (1885), 180–202.  Reprinted as CP 3.359–403 and CE 5, 162–190.

* Peirce, C.S. (1885), “On the Algebra of Logic : A Contribution to the Philosophy of Notation”, ''American Journal of Mathematics'' 7 (1885), 180–202.  Reprinted as CP 3.359–403 and CE 5, 162–190.

* Peirce, C.S. (c. 1886), "Qualitative Logic", MS 736.  Published as pp. 101–115 in Carolyn Eisele (ed., 1976), ''The New Elements of Mathematics by Charles S. Peirce, Volume 4, Mathematical Philosophy'', Mouton, The Hague.

* Peirce, C.S. (c. 1886), “Qualitative Logic”, MS 736.  Published as pp. 101–115 in Carolyn Eisele (ed., 1976), ''The New Elements of Mathematics by Charles S. Peirce, Volume 4, Mathematical Philosophy'', Mouton, The Hague.

* Peirce, C.S. (1886 a), "Qualitative Logic", MS 582.  Published as pp. 323–371 in ''Writings of Charles S. Peirce: A Chronological Edition, Volume 5, 1884–1886'', Peirce Edition Project (eds.), Indiana University Press, Bloomington, IN, 1993.

* Peirce, C.S. (1886 a), “Qualitative Logic”, MS 582.  Published as pp. 323–371 in ''Writings of Charles S. Peirce : A Chronological Edition, Volume 5, 1884–1886'', Peirce Edition Project (eds.), Indiana University Press, Bloomington, IN, 1993.

* Peirce, C.S. (1886 b), "The Logic of Relatives: Qualitative and Quantitative", MS 584.  Published as pp. 372–378 in ''Writings of Charles S. Peirce: A Chronological Edition, Volume 5, 1884–1886'', Peirce Edition Project (eds.), Indiana University Press, Bloomington, IN, 1993.

* Peirce, C.S. (1886 b), “The Logic of Relatives : Qualitative and Quantitative”, MS 584.  Published as pp. 372–378 in ''Writings of Charles S. Peirce : A Chronological Edition, Volume 5, 1884–1886'', Peirce Edition Project (eds.), Indiana University Press, Bloomington, IN, 1993.

* [[George Spencer Brown|Spencer Brown, George]] (1969), ''[[Laws of Form]]'', George Allen and Unwin, London, UK.

* Spencer Brown, George (1969), ''[[Laws of Form]]'', George Allen and Unwin, London, UK.

==See also==

==See also==

===Related essays and projects===

===Related essays and projects===