您好,欢迎光临本网站![请登录][注册会员]  

搜索资源列表

  1. 添加弱分离性公理的MTL的模式扩张

  2. 本文对MTL系统的一种模式扩张进行了研究. 首先在MTL代数中增加了弱于分离性公理, 并给出了这种若MTL代数的等式表示形式。 其次在MTL命题逻辑系统中增加了相应的弱分离性公理得到了MTL命题逻辑系统的一种模式扩张,并对该系统的完备性进行了证明。论文的结果对MTL命题逻辑系统及相应的模式扩张的研究具有积极的参考意义。
  3. 所属分类:其它

    • 发布日期:2021-03-02
    • 文件大小:318464
    • 提供者:weixin_38717143