monadic算子相关论文
型理论是高阶逻辑,模糊型理论是对型理论模糊化的结果.因此,模糊型理论是高阶模糊逻辑.EQ-代数是高阶模糊逻辑所对应的真值代数结......
R0代数是我国著名数学家王国俊教授为了研究形式演绎系统￡*而引入的Monadic算子是将谓词逻辑中存在量词和任意量词进行了代数化.Sta......
