What is this nonsense? ("vector logic")
(Sorry this is going to be a bit ranty.) I almost made up my mind this thing is some kind of backwater something without enough rigor but with many a trivialism. Like, it should be extremely well-known that every "discrete" operation Σ₁ → Σ₂ between finite sets lifts universally to a linear transformation between spaces kΣ₁ → kΣ₂, so a huge swath of what's being done there is very very drawn out, instead of answering questions that are fitting for a kind of logic. Any would-be connections to quantum computing may actually not be fruitful or new for those who are actually doing quantum computing; connections to fuzzy math are IMO an almost unconditional taint by association. So what gives? I didn't look at everything there is about this thing so I may as well be missing hidding gems, but superficially it looks like a sham or a pet project done without considering any practicalities and the wider math. Oh yeah we can ask interesting questions, like: - Does using additional dimensions, aside from the plane spanned by two orthonormal "classical" truth values, let's call them |0⟩, |1⟩, actually give useful things? and how can we characterize that by means typical when working with logics? - How much freedom is there in defining operators that restrict to boolean functions and, say, conserve probabilities (there's a suggestion to use p|0⟩ + (1−p)|1⟩ as "probabilistic truth values") in any reasonable way (I'm not sure: a "binary" operator sends four-dimensional Euclidean space into a two-dimensional one, now how can it be orthogonal? and in which other sense can probabilities work here?)? - Why not use additional dimensions rather than complex numbers for the square root of negation, and... why that one exactly? I bet quantum computing wan't giving somebody peace. But I'm not sure questions of real semantics were investigated in this... area. So tell me please, how much am I right or wrong? Here are probably people that know the inside of this story, and I hoped to find something on the Wikipedia's discussion subpage, but it's almost empty.