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.