1. 您所在位置：
  2. 网站首页
  3. 文档分类
  4. 报告/分析
  5. 技术指导

多样化推理系统中的子结构.pdf

多样化推理系统中的子结构.pdf

    摘要

    摘要

    剩余格是逻辑代数中最基本且重要的概念，剩余格理论为结构逻辑提供了代数语

    义.伪-代数是具有量子背景的代数结构.本篇论文中，我们以剩余格和伪-代数作

    LL

    为研究对象，以二者的子结构理论为中心，分别研究了剩余格上的扩展理想和伪-代

    您可能关注的文档

    最近下载

    文档评论（0）

    1亿VIP精品文档

    更多 >

    相关文档

    更多 >