R-演算 一种信念修正的逻辑

收藏
  • 【作者】李未眭跃飞
  • 【关键词】算子演算
  • 【出版社】科学出版社
  • 【出版日期】2021
  • 【ISBN】978-7-03-068583-4
  • 【中图分类号】 O177.6
  • 【内容简介】本书对R-演算做两种扩展:第一种是从一阶逻辑扩展到命题逻辑,描述逻辑,模态逻辑,逻辑程序等;第二种是从极小改变语义扩展到子集极小改变,伪子公式极小改变,推导极小改变,同时,证明相应的R-演算关于这些极小改变的可靠性定理和完备性定理。全部展开
  • 【页码】233页
  • 【文献类型】图书
  • 【所属馆】

    浙江图书馆 杭州图书馆 临海市图书馆

  • 【获取途径】
联合资源统一检索系统 超星 V2.0
已保存的题录(0)
选出输出字段:
加载保存列表...
清空文件夹
注:
通过勾选,使对应参与检索,从而可以轻松获得更全面的检索结果。