Talk:Symbolic Logic:Programming:Value Set

I wonder, is the word "programming" used here as in "Basic is a programming language"? Or as in "linear programming"? Or neither? --Boris Tsirelson 12:00, 17 April 2011 (EDT)


 * "Programming" as in logic programming. Logic programming is related to functional programming and imperative programming like Basic.
 * The page needs more work. Thepigdog 11:03, 18 April 2011 (EDT)


 * Yes, I see: these "programmings" are not unrelated.


 * Also, some examples could help a lot to understand what is all that really about.
 * --Boris Tsirelson


 * 2 examples added. Thepigdog 07:26, 21 April 2011 (EDT)


 * Wow! I should think on them. --Boris Tsirelson 15:57, 21 April 2011 (EDT)

If you get two values from two different possible worlds and use them in a calculation then clearly the result is in the intersection of the possible worlds. The result is obvious but I am having trouble proving. Probably there is something wrong with my definitions. I wish I was smarter. I wish every research paper ever written was online for googling. Thepigdog 21:47, 25 April 2011 (EDT)

The definition doesnt give one unique defintition of value set. (B) gives a value set which satisfies the definition but not the only one. Thepigdog 21:49, 26 April 2011 (EDT)

This is embarrassing. All my set builder notation is arround the wrong way. :( I was writing $$x > 0 : x \!$$ instead of $$x : x > 0 \!$$ Fixing now. Thepigdog 03:50, 12 July 2011 (EDT)

Now the tagged value notation looks confusing. Maybe should write $$(x_v, x_p) \!$$ instead of $$x_v :: x_p \!$$ Thepigdog 04:23, 12 July 2011 (EDT)

This page needs some diagrams to help explain it. Thepigdog 08:25, 6 September 2011 (EDT)

Status
I think everything I have said on this page could be tidied up and made simpler. The subject is probably not that hard for a professional mathematician, and I seem to have made a bit of a meal of it.

I haven't implemented Value Sets yet. So at this stage this cant be regarded as a completed theory.

Overall the approach I am describing is Constraint logic Programming, without the Logic Programming.