The Semantics and Proof Theory of the Logic of Bunched Implications

逻辑学

原   价:
1657.5
售   价:
1326.00
优惠
平台大促 低至8折优惠
作      者
出  版 社
出版时间
2002年07月31日
装      帧
精装
ISBN
9781402007453
复制
页      码
338
语      种
英语
综合评分
暂无评分
我 要 买
- +
库存 30 本
  • 图书详情
  • 目次
  • 买家须知
  • 书评(0)
  • 权威书评(0)
图书简介

This monograph provides a thorough account of the model theory, proof theory and computational interpretations of BI, the logic of bunched implications, which freely combines intuitionistic logic and multiplicative intuitionistic linear logic. Starting, on the one hand, from elementary observations about modelling resources and, on the other, from a desire to develop a system of logic within which additive (or extensional) and multiplicative (or intensional) implications co-exist with equal logical status, we give natural deduc

本书暂无推荐
本书暂无推荐
看了又看
  • 上一个
  • 下一个