monadic微分算子相关硕士博士期刊学术论文 - 搜论网

monadic微分算子相关论文

Hoop代数上两类逻辑算子的研究

Hoop代数最先由B.Bosbach于20世纪60年代作为一种自然序的可换剩余正半群而提出的.modal逻辑是非经典逻辑范畴的一个重要分支,moda......

学位

Hoop代数 modal算子对偶modal滤子 modal同态 monadic微分算子

看过本文同时还关注