We investigate the orthoalgebras of certain non-Boolean models which h
ave a classical realization. Our particular concern will be the partit
ion logics arising from the investigation of the empirical proposition
al structure of Moore and Mealy type automata.