View in EDS PDF Full Text

The Functional Interpretation Of Logical Deduction

Saved in:
Bibliographic Details
Title: The Functional Interpretation Of Logical Deduction
Description: 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.
Authors: Anjolina G De Oliveira, Dov M Gabbay, Ruy J G B De Queiroz
Resource Type: eBook.
Subjects: Logic, Modality (Logic)
Categories: COMPUTERS / Computer Literacy, MATHEMATICS / Logic, MATHEMATICS / Set Theory
Database: eBook Collection (EBSCOhost)
FullText Links:
  – Type: ebook-pdf
Text:
  Availability: 0
Header DbId: nlebk
DbLabel: eBook Collection (EBSCOhost)
An: 521264
RelevancyScore: 1044
AccessLevel: 6
PubType: eBook
PubTypeId: ebook
PreciseRelevancyScore: 1044.26904296875
IllustrationInfo
ImageInfo – Size: thumb
  Target: https://rps2images.ebscohost.com/rpsweb/othumb?id=NL$521264$PDF&s=r
– Size: medium
  Target: https://rps2images.ebscohost.com/rpsweb/othumb?id=NL$521264$PDF&s=d
Items – Name: Title
  Label: Title
  Group: Ti
  Data: The Functional Interpretation Of Logical Deduction
– Name: Abstract
  Label: Description
  Group: Ab
  Data: 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.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Anjolina+G+De+Oliveira%22">Anjolina G De Oliveira</searchLink><br /><searchLink fieldCode="AR" term="%22Dov+M+Gabbay%22">Dov M Gabbay</searchLink><br /><searchLink fieldCode="AR" term="%22Ruy+J+G+B+De+Queiroz%22">Ruy J G B De Queiroz</searchLink>
– Name: TypePub
  Label: Resource Type
  Group: TypPub
  Data: eBook.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Logic%22">Logic</searchLink><br /><searchLink fieldCode="DE" term="%22Modality+%28Logic%29%22">Modality (Logic)</searchLink>
– Name: SubjectBISAC
  Label: Categories
  Group: Su
  Data: <searchLink fieldCode="ZK" term="%22COMPUTERS+%2F+Computer+Literacy%22">COMPUTERS / Computer Literacy</searchLink><br /><searchLink fieldCode="ZK" term="%22MATHEMATICS+%2F+Logic%22">MATHEMATICS / Logic</searchLink><br /><searchLink fieldCode="ZK" term="%22MATHEMATICS+%2F+Set+Theory%22">MATHEMATICS / Set Theory</searchLink>
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=nlebk&AN=521264
RecordInfo BibRecord:
  BibEntity:
    Classifications:
      – Code: 511.3
        Scheme: ddc
        Type: prePub
    Languages:
      – Code: eng
        Text: English
    Subjects:
      – SubjectFull: Logic
        Type: general
      – SubjectFull: Modality (Logic)
        Type: general
    Titles:
      – TitleFull: The Functional Interpretation Of Logical Deduction
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Anjolina G De Oliveira
      – PersonEntity:
          Name:
            NameFull: Dov M Gabbay
      – PersonEntity:
          Name:
            NameFull: Ruy J G B De Queiroz
      – PersonEntity:
          Name:
            NameFull: Anjolina G De Oliveira
      – PersonEntity:
          Name:
            NameFull: Dov M Gabbay
      – PersonEntity:
          Name:
            NameFull: Ruy J G B De Queiroz
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Type: published
              Y: 2012
            – D: 04
              M: 02
              Type: profile
              Y: 2014
          Identifiers:
            – Type: isbn-print
              Value: 9789814360951
            – Type: isbn-electronic
              Value: 9789814360968
          Numbering:
            – Type: volume
              Value: 00005
          Titles:
            – TitleFull: The Functional Interpretation Of Logical Deduction
              Type: main
ResultId 1