A. Dvurecenskij et K. Svozil, PRODUCT OF PARTITION LOGICS, ORTHOALGEBRAS, AND AUTOMATA, International journal of theoretical physics, 35(11), 1996, pp. 2377-2390
We attempt to define a coupled system consisting of two partition logi
cs and we introduce a product of partition logics. These partition log
ics have a close connection with Moore and Mealy-type automata. We sho
w how the coupled system of two automata is connected with the product
of partition logics, and present some illustrative examples.