Walter Carnielli University of Campinas

(UNICAMP), Brazil

Analysis and Synthesis of

Logics

How to Cut and Paste Reasoning Systems

2008, 600pp.

Hardcover

ISBN 978-1-4020-6781-5

W.卡尼尔等著

逻辑在纯科学和应用科学中广泛的可应用性是一个向哲学家挑战的事实。现代逻辑研究具有一个不可否认的朝着多重性和区域化发展的趋势。正如在许多领域和子领域中哲学逻辑的划分所示，一方面我们具有对经典的逻辑替代，例如多值逻辑、直觉主义逻辑补充、仿相容逻辑；另一方面我们有对经典的逻辑补充，例如模态逻辑、特别是时态逻辑、认识逻辑、信念逻辑、疑问逻辑和义务逻辑。

本书的目的是说明怎样剪切与粘贴逻辑，以便把它们应用于几个截然不同领域中问题的表述与建模。它从简单的例子出发，展示了剪切与粘贴逻辑的关系。

这本专著开发了组合与分解逻辑的数学理论，其范围从基于比例和一阶的逻辑到基于高阶的逻辑，以及非真功能逻辑。书中的理论涉及了组合语义结构的机理，以及相同或者不同性质的演绎系统(例如双希尔伯特演算或者一个希尔伯特演算和一个表值演算)。本书对性质保存的重要问题作了深入的阐述。例如当原始分量逻辑达到众所周知的可靠与完整时，为了保证组合逻辑是可靠的和完整的，则要提供充分条件。本书通过展现最新成就及未来的研究方向(特别是多个公开的问题)将读者引导到这个领域中当前研究的前沿。本书除了讨论更为典型的应用，例如软件规约、知识表示、计算语言学和模块自动推理之外，它还提供了在突现领域中潜在应用的例子，例如完全协议、量子计算、网络以及论证理论。……