Quantum logic's best chance at revival is through the recent development of quantum computing, which has engendered a proliferation of new logics for formal analysis of quantum protocols and algorithms (see also § Relationship to other logics). The logic may also find application in (computational) linguistics.