Partition Logics, Orthoalgebras and Automata
arXiv:1806.04271 · doi:10.1007/BF02186244
Abstract
We investigate the orthoalgebras of certain non-Boolean models which have a classical realization. Our particular concern will be the partition logics arising from the investigation of the empirical propositional structure of Moore and Mealy type automata.
23 pages, 16 figures, 14 tables