Corrections to the published version of

   Axiomatizing the Skew Boolean Propositional Calculus
   by R. Veroff and M. Spinks

   Journal of Automated Reasoning 37:3-20, 2006.

These items appear correctly in file www.cs.unm.edu/~veroff/DOCS/sbpc.pdf.


Appendix
--------

Parentheses are missing from 15 of the proof steps as follows.

[Step 103]
old:  (x -> (y => (z v u))) -> ((x v y => u) -> (y => (z v u)))
new:  (x -> (y => (z v u))) -> ((x v (y => u)) -> (y => (z v u)))

[Step 178]
old:  x -> y v x v z
new:  (x -> y) v (x v z)

[Step 182]
old:  (x -> (y ^ z) v z) => (x -> z)
new:  ((x -> (y ^ z)) v z) => (x -> z)

[Step 184]
old:  (x => (y -> (z ^ u) v u)) => (x => (y -> u))
new:  (x => ((y -> (z ^ u)) v u)) => (x => (y -> u))

[Step 188]
old:  (x => (y v z)) -> (y v x => z)
new:  (x => (y v z)) -> (y v (x => z))

[Step 189]
old:  (x -> (y => (z v u))) -> (x -> (z v y => u))
new:  (x -> (y => (z v u))) -> (x -> (z v (y => u)))

[Step 194]
old:  (x v y) v (x v z) => z
new:  (x v y) v ((x v z) => z)

[Step 207]
old:  (x -> (y => z)) => (y => (x -> u v z))
new:  (x -> (y => z)) => (y => ((x -> u) v z))

[Step 208]
old:  ((x => (y -> z v u)) => v) => ((y -> (x => u)) => v)
new:  ((x => ((y -> z) v u)) => v) => ((y -> (x => u)) => v)

[Step 214]
old:  (x v y => z) -> (y => (x v z))
new:  (x v (y => z)) -> (y => (x v z))

[Step 215]
old:  (x -> (y v z => u)) -> (x -> (z => (y v u)))
new:  (x -> (y v (z => u))) -> (x -> (z => (y v u)))

[Step 221]
old:  (x => (y v z)) -> (y v (y v x) => z)
new:  (x => (y v z)) -> (y v ((y v x) => z))

[Step 222]
old:  (x -> (y => (z v u))) -> (x -> (z v (z v y) => u))
new:  (x -> (y => (z v u))) -> (x -> (z v ((z v y) => u)))

[Step 223]
old:  (x => y) -> (z v (z v x) => y)
new:  (x => y) -> (z v ((z v x) => y))

[Step 225]
old:  (x v y) => (x v z v y)
new:  (x v y) => (x v (z v y))


References
----------

Reference 3

   The year should be 2006, not 2004.

Reference 25

   There are 3 changes to this reference.

   (1) The title of the article should be

          Milestones for Automated Reasoning with Otter

       not

          Milestones for Automated Reasoning.

   (2) The journal name should be

          International Journal on Artificial Intelligence Tools

       not

         Journal of Artificial Intelligence.

   (3)  The page range should be 3-20, not 3-19.