Category talk:Systems of formal logic

Quantum Logic
I think that an entry for Quantum Logic should be added, and I'm adding it. Quantum logic, it seems to me, is more a collection of different systems which can be used for various quantum mechanical systems than a single body of work, but never-the-less deserves an entry, imho.173.189.78.173 (talk) 21:34, 23 April 2015 (UTC)