FUNCTIONAL INTERPRETATION OF LOGICAL DEDUCTION, THE
暫譯: 邏輯推理的功能性詮釋

Professor of Computing Science Department of Computing Dov M Gabbay, Anjolina G de Oliveira, Ruy J G B de Queiroz

FUNCTIONAL INTERPRETATION OF LOGICAL DEDUCTION, THE
  • 出版商: World Scientific Pub
  • 出版日期: 2012-12-04
  • 售價: $4,470
  • 貴賓價: 9.5 折 $4,247
  • 語言: 英文
  • 頁數: 266
  • 裝訂: Hardcover
  • ISBN: 9814360953
  • ISBN-13: 9789814360951

    • 海外代購書籍(需單獨結帳)

相關主題

商品描述

This comprehensive book provides an adequate framework to establish various calculi of logical inference. Being an 'enriched' system of natural deduction, it helps to formulate logical calculi in an operational manner. By uncovering a certain harmony between a functional calculus on the labels and a logical calculus on the formulas, it allows mathematical foundations for systems of logic presentation designed to handle meta-level features at the object-level via a labelling mechanism, such as the D Gabbay's Labelled Deductive Systems. The book truly demonstrates that introducing 'labels' is useful to understand the proof-calculus itself, and also to clarify its connections with model-theoretic interpretations.

商品描述(中文翻譯)

這本綜合性的書籍提供了一個足夠的框架，以建立各種邏輯推理的計算。作為一個「增強」的自然推導系統，它有助於以操作的方式來制定邏輯計算。通過揭示標籤上的功能計算與公式上的邏輯計算之間的某種和諧，它為邏輯呈現系統提供了數學基礎，這些系統旨在通過標籤機制處理物件層級的元層特徵，例如 D. Gabbay 的標籤推導系統。這本書真正展示了引入「標籤」對於理解證明計算本身是有用的，並且有助於澄清其與模型理論詮釋之間的聯繫。

類似商品