FG1 Seminar talk

2008-04-22
Mladen Pavicic
States on Hilbert lattices

Abstract:
Several classes of Hilbert lattice equations obtained by imposing states on Hilbert lattices will be presented. A number of new results, methods, algorithms, and programs that enable handling states and lattice equations as well as their graphs and diagrams will be demonstrated and applications scrutinized.