found: Work cat.: 98019926: Svozil, K. Quantum logic, 1998.
found: Mittelstaedt, P. "Constituting, naming and identity in quantum logic" In: Recent logic developments in quantum logic: proceedings ... 1985:p. 215 (Def.: a formal language of quantum physical propositions [elementary propositions] which on account of the formal logic contained in it is called quantum logic)
found: Rédei, M. Quantum logic in algebraic approach, 1998:p. 103 (Def.: in quantum logic, algebraic structure replaces the logic of a classical mechanical system.)
found: Science Citation Index, 1989:Vol. 20, Col. 70046, under Quantum--logic.
found: Math. subj. classif.(03-XX, Mathematical logic and foundations; 03GXX, Algebraic logic; 03G12, Quantum logic)
notfound: AP dict. sci. tech;McGraw-Hill dict. sci. tech.;Encyc. Physics (Lerner/Trigg);Facts file dict. physics;Encyc. Physics (Besancon);INSPEC;NASA;INIS:Thes.;Brittanica Micro.