International Symposium on Quantum Logic (1984 Cologne, Germany)