Intuitionistic logic, i.e. logic without the principle of excluded middle (P ∨ ¬ P P \vee \neg P), is important for many reasons. One is that it arises naturally as the internal logic of toposes and ...
We give a 3D picture-language for quantum information. This language is based on an inherently 3D pictorial representation of particle-like excitations (quons) and of transformations acting on them.