عنوان

Hybrid Logic and its Proof-Theory

Country Code

IR

Number

991528

.Language of Text, Soundtrack etc

انگلیسی

Country of publication

IR

Title Proper

Hybrid Logic and its Proof-Theory

General Material Designation

[Book]

First Statement of Responsibility

/ by Torben Braeuner

Place of Publication, Distribution, etc.

Dordrecht ; New York

Name of Publisher, Distributor, etc.

: Springer

Date of Publication, Distribution, etc.

, 2011.

Specific Material Designation and Extent of Item

xiii, 231 p.

Other Physical Details

: , ill

Series Title

(Applied Logic Series,1386-2790

Other Title Information

)

Volume Designation

; v

Text of Note

Print

Text of Note

Bibliography

Name of source

Index

Text of Note

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.

Title

Applied logic series

Volume Number

v. 37

Proof theory

Logic, Symbolic and mathematical

Class number

Book number

Braeuner, Torben

Country

ایران

Agency

Library of Foreign Languages and Islamic resource

Access number

42

Access number

41

Electronic name

42.pdf

Electronic name

41.pdf

old catalog

p

BL

1

a

Y