International Journal of Theoretical PhysicsDecidability in Orthomodular LatticesMarek Hyčko, Mirko NavaraPublished Dec 1, 2005• 7 citationsPublisherDOI10.1007/s10773-005-8019-x