@Article{HyckoNavara:IJTP05,
  IS = { zkontrolovano 30 Dec 2005 },
  UPDATE  = { 2005-12-14 },
  author =     {Marek Hy{\v c}ko and Mirko Navara},
  title =      {Decidability in orthomodular lattices},
  year =       {2005},
  month =      {December},
  pages =      {2239--2248},
  journal =    {International Journal of Theoretical Physics},
  publisher =  {Kluwer Academic Publishers},
  address =    {Dordrecht, The Netherlands},
  issn =       {0020-7748},
  volume =     {44},
  number =     {12},
  importance = {1},
  authorship = {50-50},
  annote = {We discuss the possibility of automatic simplification of
    formulas in orthomodular lattices. We describe the principles of a
    program which decides the validity of equalities and inequalities,
    as well as implications between them and other important relations
    significant in quantum mechanics.},
  keywords =   {orthomodular lattice, free lattice, ideal, congruence, implication, equivalence},
  project =    {GACR 201/03/0455, CEEPUS SK-042},
  psurl = {[PDF] },
}