@article{Qiu2007NotesOA,
title={Notes on automata theory based on quantum logic},
author={Daowen Qiu},
journal={Science in China Series F: Information Sciences},
year={2007},
volume={50},
pages={154-169}
}

The main results are as follows: (1) it deals with a number of basic operations (concatenation, Kleene closure, homomorphism, complement); (2) due to a condition imposed on the implication operator for discussing some basic issues in orthomodular lattice-valued automata, this condition is investigated in detail, and it is discovered that all the relatively reasonable five implication operators in quantum logic do not satisfy this condition, and that one of the five implications satisfies such a… CONTINUE READING