Systems of Quantum Logic. - Satoko Titani; Heiji Kodera; Hiroshi Aoyama (Stud Logica, 2013)