"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."@en . "517046" . "Nen\u00ED k dispozici"@cs . . "44" . . "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." . "P(GA201/03/0455)" . . "21230" . . "Decidability in Orthomodular Lattices" . . "Decidability in Orthomodular Lattices"@en . "Hy\u010Dko, M." . . "US - Spojen\u00E9 st\u00E1ty americk\u00E9" . "12" . "International Journal of Theoretical Physics" . "Navara, Mirko" . . . "Nen\u00ED k dispozici"@cs . . "2"^^ . "RIV/68407700:21230/05:03114014" . "1"^^ . "Nen\u00ED k dispozici"@cs . . . . "congruence; equivalence; free lattice; ideal; implication; orthomodular lattice"@en . "10"^^ . "RIV/68407700:21230/05:03114014!RIV06-GA0-21230___" . . . "0020-7748" . . . "Decidability in Orthomodular Lattices" . "[68B5F87B7DC1]" . . "Decidability in Orthomodular Lattices"@en . . "2201 ; 2210" .