Leo Esakia on Duality in Modal and Intuitionistic Logics(Outstanding Contributions to Logic)

里奥·艾萨吉亚论模式与直觉逻辑的二元性

逻辑学

售   价:
884.00
发货周期:预计8-10周发货
作      者
出  版 社
出版时间
2014年06月20日
装      帧
精装
ISBN
9789401788595
复制
页      码
334
语      种
英文
综合评分
暂无评分
我 要 买
- +
库存 30 本
  • 图书详情
  • 目次
  • 买家须知
  • 书评(0)
  • 权威书评(0)
图书简介
This volume is dedicated to Leo Esakia’s contributions to the theory of modal and intuitionistic systems. Consisting of 10 chapters, written by leading experts, this volume discusses Esakia’s original contributions and consequent developments that have helped to shape duality theory for modal and intuitionistic logics and to utilize it to obtain some major results in the area.Beginning with a chapter which explores Esakia duality for S4-algebras, the volume goes on to explore Esakia duality for Heyting algebras and its generalizations to weak Heyting algebras and implicative semilattices. The book also dives into the Blok-Esakia theorem and provides an outline of the intuitionistic modal logic KM which is closely related to the Gödel-Löb provability logic GL. One chapter scrutinizes Esakia’s work interpreting modal diamond as the derivative of a topological space within the setting of point-free topology. The final chapter in the volume is dedicated to the derivational semantics of modal logic and other related issues.
本书暂无推荐
本书暂无推荐
看了又看
  • 上一个
  • 下一个