Notes on automata theory based on quantum logic

  title={Notes on automata theory based on quantum logic},
  author={Daowen Qiu},
  journal={Science in China Series F: Information Sciences},
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

From This Paper

Figures, tables, and topics from this paper.

Explore Further: Topics Discussed in This Paper


Publications referenced by this paper.
Showing 1-9 of 9 references

A theory of computation based on quantum Logic ( I )

S. YingM
Theoret Comput Sci • 2005

Automata and grammar theory based on quantum logic

W. QiuD
J Software ( in Chinese ) • 2003

Lattices of quantum automata

Q LuR, H Zheng
Internat J Theoret Phys • 2003

Quantum logic revisited

L Román, B Rumbos
Found Phys • 1991

Quantum logic as an implicatiom algebra

D. FinchP
Bull Austral Math Soc • 1970

The logic of quantum mechanics

G Birkhoff, J vonNeumann
Ann Math • 1936

Quantum logic

L. DallaChiaraM

Similar Papers

Loading similar papers…