Quantum Logic, Dagger Kernel Categories and Inverse Baer*-Categories. - Emil Schwab; Emil Daniel Schwab (Order, 2012)