Vollständigkeit des quantenlogischen Aussagenkalküls hinsichtlich einer semantischen Begründung durch Dialogspiele. - Stachow, Ernst-Walther (1975)