Quannum Logic