Константин Шишов. Генценовские системы ортомодулярной квантовой логики