عنوان

Hybrid Logic and its Proof-Theory

کد کشور

IR

شماره

991528

زبان متن نوشتاري يا گفتاري و مانند آن

انگلیسی

کشور محل نشر

IR

عنوان اصلي

Hybrid Logic and its Proof-Theory

نام عام مواد

[Book]

نام نخستين پديدآور

/ by Torben Braeuner

محل نشرو پخش و غیره

Dordrecht ; New York

نام ناشر، پخش کننده و غيره

: Springer

تاریخ نشرو بخش و غیره

, 2011.

نام خاص و کميت اثر

xiii, 231 p.

ساير جزييات

: , ill

عنوان فروست

(Applied Logic Series,1386-2790

ساير اطلاعات عنواني

)

مشخصه جلد

; v

متن يادداشت

Print

متن يادداشت

Bibliography

يادداشت هاي مربوط به نمايه ها، چکيده ها و منابع

Index

متن يادداشت

Introduction to hybrid logic. Informal motivation ; Formal syntax and semantics ; The origin of hybrid logic in prior's work ; The development since prior - Proof-theory of propositional hybrid logic. The basics of natural deduction systems ; Natural deduction for propositional hybrid logic ; The basics of Gentzen systems ; Gentzen systems for propositional hybrid logic ; Axiom systems for propositional hybrid logic - Tableaus and decision procedures for hybrid logic. The basics of tableau systems ; A tableau system including the universal modality ; The tableau systems reformulated as Gentzen systems ; Discussion - Comparison to Seligman's natural deduction system. The natural deduction systems under consideration ; Translation from Seligman-style derivations ; Translation to Seligman-style derivations ; Reduction rules ; Discussion - Functional completeness for a hybrid logic. The natural deduction system under consideration ; Introduction to functional completeness ; The general rule schemas ; Functional completeness ; Discussion - First-order hybrid logic. Introduction to first-order hybrid logic ; Natural deduction for first-order hybrid logic ; Axiom systems for first-order hybrid logic - Intentional first-order hybrid logic. Introduction to intensional first-order hybrid logic ; Natural deduction for intensional first-order hybrid logic ; Partial intensions - Intuitionistic hybrid logic. Introduction to intuitionistic hybrid logic ; Natural deduction for intuitionistic hybrid logic ; Axiom systems for intuitionistic hybrid logic ; Axiom systems for a paraconsistent hybrid logic ; A Curry-Howard interpretation of intuitionistic hybrid logic - Labelled versus internalized natural deduction. A labelled natural deduction system for modal logic ; The internalization translation ; Reductions ; Comparison of reductions - Why does the proof-theory of hybrid logic behave so well?. The success criteria ; Why hybrid-logical proof-theory behaves so well ; Comparison to internalization of bivalent semantics ; Some concluding philosophical remarks.

عنوان

Applied logic series

شماره جلد

v. 37

موضوع مستند نشده

Proof theory

موضوع مستند نشده

Logic, Symbolic and mathematical

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

Braeuner, Torben

کشور

ایران

سازمان

Library of Foreign Languages and Islamic resource

شماره دسترسي

42

شماره دسترسي

41

نام الکترونيکي

42.pdf

نام الکترونيکي

41.pdf

وضعیت فهرست نویسی

old catalog

فرمت انتشار

p

نوع ماده

BL

پیشوند ISBD اعمال شده است

1

سطح دسترسي

a

تكميل شده

Y