Abstract
It is remarked that the inference rule (‘ → ’) is superfluous for the sequential system GMQL introduced by H. Nishimura for the minimal quantum logic.
Article PDF
Similar content being viewed by others
Use our pre-submission checklist
Avoid common mistakes on your manuscript.
Reference
Nishimura, H. (1994).International Journal of Theoretical Physics,33, 103–113, 1443–1459.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Takano, M. Proof theory for minimal quantum logic: A remark. Int J Theor Phys 34, 649–654 (1995). https://doi.org/10.1007/BF00674960
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00674960