TY - RPRT TI - Computational Language $ β$ based on Orthomodular Lattices with the Non-distributivity of Quantum Logic AU - Kazuki Otsuka PY - 2023 UR - https://arxiv.org/abs/2203.12385 ID - 2203.12385 ER -