Jacek Malinowski. The Deduction Theorem for Quantum Logic - Some Negative Results. Journal of Symbolic Logic, 55(2):615-625, 1990.
@article{Malinowski90, title = {The Deduction Theorem for Quantum Logic - Some Negative Results}, author = {Jacek Malinowski}, year = {1990}, tags = {logic}, researchr = {https://researchr.org/publication/Malinowski90}, cites = {0}, citedby = {0}, journal = {Journal of Symbolic Logic}, volume = {55}, number = {2}, pages = {615-625}, }