Borrow it
 African Studies Library
 Alumni Medical Library
 Astronomy Library
 Fineman and Pappas Law Libraries
 Frederick S. Pardee Management Library
 Howard Gotlieb Archival Research Center
 Mugar Memorial Library
 Music Library
 Pikering Educational Resources Library
 School of Theology Library
 Science & Engineering Library
 Stone Science Library
The Resource Hybrid logic and its prooftheory, by Torben Braüner
Hybrid logic and its prooftheory, by Torben Braüner
Resource Information
The item Hybrid logic and its prooftheory, by Torben Braüner represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in Boston University Libraries.This item is available to borrow from all library branches.
Resource Information
The item Hybrid logic and its prooftheory, by Torben Braüner represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in Boston University Libraries.
This item is available to borrow from all library branches.
 Language
 eng
 Extent
 xiii, 231 pages
 Contents

 Introduction to hybrid logic. Informal motivation ; Formal syntax and semantics ; The origin of hybrid logic in prior's work ; The development since prior
 Prooftheory 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 Seligmanstyle derivations ; Translation to Seligmanstyle 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
 Firstorder hybrid logic. Introduction to firstorder hybrid logic ; Natural deduction for firstorder hybrid logic ; Axiom systems for firstorder hybrid logic
 Intentional firstorder hybrid logic. Introduction to intensional firstorder hybrid logic ; Natural deduction for intensional firstorder 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 CurryHoward 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 prooftheory of hybrid logic behave so well?. The success criteria ; Why hybridlogical prooftheory behaves so well ; Comparison to internalization of bivalent semantics ; Some concluding philosophical remarks
 Isbn
 9789400700017
 Label
 Hybrid logic and its prooftheory
 Title
 Hybrid logic and its prooftheory
 Statement of responsibility
 by Torben Braüner
 Language
 eng
 Cataloging source
 BTCTA
 http://library.link/vocab/creatorName
 Braüner, Torben
 Illustrations
 illustrations
 Index
 index present
 LC call number
 QA9.54
 LC item number
 .B736 2011
 Literary form
 non fiction
 Nature of contents
 bibliography
 Series statement
 Applied logic series,
 Series volume
 v. 37
 http://library.link/vocab/subjectName

 Proof theory
 Logic, Symbolic and mathematical
 Logic, Symbolic and mathematical
 Proof theory
 Label
 Hybrid logic and its prooftheory, by Torben Braüner
 Bibliography note
 Includes bibliographical references (p. 221228) and index
 Carrier category
 volume
 Carrier category code

 nc
 Carrier MARC source
 rdacarrier
 Content category
 text
 Content type code

 txt
 Content type MARC source
 rdacontent
 Contents
 Introduction to hybrid logic. Informal motivation ; Formal syntax and semantics ; The origin of hybrid logic in prior's work ; The development since prior  Prooftheory 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 Seligmanstyle derivations ; Translation to Seligmanstyle 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  Firstorder hybrid logic. Introduction to firstorder hybrid logic ; Natural deduction for firstorder hybrid logic ; Axiom systems for firstorder hybrid logic  Intentional firstorder hybrid logic. Introduction to intensional firstorder hybrid logic ; Natural deduction for intensional firstorder 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 CurryHoward 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 prooftheory of hybrid logic behave so well?. The success criteria ; Why hybridlogical prooftheory behaves so well ; Comparison to internalization of bivalent semantics ; Some concluding philosophical remarks
 Dimensions
 24 cm.
 Extent
 xiii, 231 pages
 Isbn
 9789400700017
 Lccn
 2010938944
 Media category
 unmediated
 Media MARC source
 rdamedia
 Media type code

 n
 Other physical details
 illustrations
 System control number

 (OCoLC)663950223
 (OCoLC)ocn663950223
 Label
 Hybrid logic and its prooftheory, by Torben Braüner
 Bibliography note
 Includes bibliographical references (p. 221228) and index
 Carrier category
 volume
 Carrier category code

 nc
 Carrier MARC source
 rdacarrier
 Content category
 text
 Content type code

 txt
 Content type MARC source
 rdacontent
 Contents
 Introduction to hybrid logic. Informal motivation ; Formal syntax and semantics ; The origin of hybrid logic in prior's work ; The development since prior  Prooftheory 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 Seligmanstyle derivations ; Translation to Seligmanstyle 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  Firstorder hybrid logic. Introduction to firstorder hybrid logic ; Natural deduction for firstorder hybrid logic ; Axiom systems for firstorder hybrid logic  Intentional firstorder hybrid logic. Introduction to intensional firstorder hybrid logic ; Natural deduction for intensional firstorder 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 CurryHoward 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 prooftheory of hybrid logic behave so well?. The success criteria ; Why hybridlogical prooftheory behaves so well ; Comparison to internalization of bivalent semantics ; Some concluding philosophical remarks
 Dimensions
 24 cm.
 Extent
 xiii, 231 pages
 Isbn
 9789400700017
 Lccn
 2010938944
 Media category
 unmediated
 Media MARC source
 rdamedia
 Media type code

 n
 Other physical details
 illustrations
 System control number

 (OCoLC)663950223
 (OCoLC)ocn663950223
Library Locations

African Studies LibraryBorrow it771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US42.350723 71.108227


Astronomy LibraryBorrow it725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US42.350259 71.105717

Fineman and Pappas Law LibrariesBorrow it765 Commonwealth Avenue, Boston, MA, 02215, US42.350979 71.107023

Frederick S. Pardee Management LibraryBorrow it595 Commonwealth Avenue, Boston, MA, 02215, US42.349626 71.099547

Howard Gotlieb Archival Research CenterBorrow it771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US42.350723 71.108227


Music LibraryBorrow it771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US42.350723 71.108227

Pikering Educational Resources LibraryBorrow it2 Silber Way, Boston, MA, 02215, US42.349804 71.101425

School of Theology LibraryBorrow it745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US42.350494 71.107235

Science & Engineering LibraryBorrow it38 Cummington Mall, Boston, MA, 02215, US42.348472 71.102257

Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.bu.edu/portal/HybridlogicanditsprooftheorybyTorben/jaS1ukwXC20/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/portal/HybridlogicanditsprooftheorybyTorben/jaS1ukwXC20/">Hybrid logic and its prooftheory, by Torben Braüner</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data  Experimental
Data Citation of the Item Hybrid logic and its prooftheory, by Torben Braüner
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.bu.edu/portal/HybridlogicanditsprooftheorybyTorben/jaS1ukwXC20/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/portal/HybridlogicanditsprooftheorybyTorben/jaS1ukwXC20/">Hybrid logic and its prooftheory, by Torben Braüner</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>