Abstract
We prove an analog of the famous Gleason theoremfor additive functions on the orthomodular poset of allprojections defined on an n-dimensional linear spaceover the field consisting of four elements. An essential part of the proof consists in acomputer calculation.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have