加载中…
2018-06-08
Partition Logics, Orthoalgebras and Automata
Anatolij DvurecenskijSylvia PulmannovaKarl Svozil
文献摘要
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.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本