Displaying Modal Logic

逻辑学

售   价:
1239.00
作      者
出  版 社
出版时间
2010年12月06日
装      帧
平装
ISBN
9789048150793
复制
页      码
264
语      种
英语
综合评分
暂无评分
我 要 买
- +
库存 53 本
  • 图书详情
  • 目次
  • 买家须知
  • 书评(0)
  • 权威书评(0)
图书简介
This is the first comprehensive introduction to Display Logic in the context of generalized Gentzen calculi. After reviewing several standard and non-standard sequent-style proof systems for modal logics, the author carefully motivates and develops Display Logic, an important refinement of Gentzen's sequent calculus devised by N. Belnap. A general strong cut-elimination theorem is proved that covers a large class of display sequent calculi. Moreover, a proof-theoretic semantics of the modal operators is developed. Proof-theoretic
本书暂无推荐
本书暂无推荐
看了又看
  • 上一个
  • 下一个