共 50 条
- [44] Finite automata based on quantum logic and monadic second-order quantum logic Science in China Series F: Information Sciences, 2010, 53 : 101 - 114
- [45] Quantum Logic as a Fragment of Independence-Friendly Logic Journal of Philosophical Logic, 2002, 31 : 197 - 209
- [46] Quantum Logic as a Basis for Computations International Journal of Theoretical Physics, 2000, 39 : 839 - 840