Unified quantum logic