There’s probably a PhD or two waiting to be earned exploring the relation between Dijkstra/Scholten boolean structures and vector spaces.