Affiliation: | (1) Mathematical Institute, Slovak Academy of Sciences, Štefánikova 49, Bratislava, Slovakia;(2) Center for Machine Perception, Department of Cybernetics, Faculty of Electrical Engineering, Czech Technical University, Technická 2, Prague 6, Czech Republic, CZ-166 27 |
Abstract: | 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. PACS: 02.10.-v, 02.10.Ab, 02.10.De, 03.65.Fd. AMS Subject classification: 06C15, 03G12, 06B10, 06B25, 81P10. |