On the semilattice of modal operators and decompositions of the discriminator

arXiv: Logic(2018)

引用 2|浏览9
暂无评分
摘要
We investigate the join semilattice of modal operators on a Boolean algebra $B$. Furthermore, we consider pairs $(f,g)$ of modal operators whose supremum is the unary discriminator on $B$, and study the associated bi--modal algebras.
更多
查看译文
关键词
modal operators,semilattice,decompositions,discriminator
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要