排序方式: 共有2条查询结果,搜索用时 0 毫秒
1
1.
David J. Foulis 《Studia Logica》2006,84(3):407-424
A Heyting effect algebra (HEA) is a lattice-ordered effect algebra that is at the same time a Heyting algebra and for which the Heyting center coincides
with the effect-algebra center. Every HEA is both an MV-algebra and a Stone-Heyting algebra and is realized as the unit interval
in its own universal group. We show that a necessary and sufficient condition that an effect algebra is an HEA is that its
universal group has the central comparability and central Rickart properties.
Presented by Daniele Mundici 相似文献
2.
1