En sus obras muestran que los resultados de medidas cuánticas pueden representarse como proposiciones binarias y que estas proposiciones de la mecánica cuántica pueden combinarse en gran medida de la misma manera que las proposiciones de la lógica clásica.