Product of partition logics,orthoalgebras, and automata |
| |
| Authors: | Anatolij Dvurečenskij Karl Svozil |
| |
| Affiliation: | (1) Mathematical Institute, Slovak Academy of Sciences, !["Scaron"]("/content/an1445275v224p85/xlarge352.gif") tefánikova 49, SK-814 73 Bratislava, Slovakia;(2) Institute for Theoretical Physics, Technical University of Vienna, Wiedner Hauptstr. 8-10/136, A-1040 Vienna, Austria |
| |
| Abstract: | We attempt to define a coupled system consisting of two partition logics and we introduce a product of partition logics. These partition logics have a close connection with Moore and Mealy-type automata. We show how the coupled system of two automata is connected with the product of partition logics, and present some illustrative examples. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
