View in EDS PDF Full Text

Justification Logic : Reasoning with Reasons

Saved in:
Bibliographic Details
Title: Justification Logic : Reasoning with Reasons
Description: Classical logic is concerned, loosely, with the behaviour of truths. Epistemic logic similarly is about the behaviour of known or believed truths. Justification logic is a theory of reasoning that enables the tracking of evidence for statements and therefore provides a logical framework for the reliability of assertions. This book, the first in the area, is a systematic account of the subject, progressing from modal logic through to the establishment of an arithmetic interpretation of intuitionistic logic. The presentation is mathematically rigorous but in a style that will appeal to readers from a wide variety of areas to which the theory applies. These include mathematical logic, artificial intelligence, computer science, philosophical logic and epistemology, linguistics, and game theory.
Authors: Sergei Artemov, Melvin Fitting
Resource Type: eBook.
Subjects: Inquiry (Theory of knowledge), Logic--Symbolic and mathematical, Reasoning, Science--Theory reduction
Categories: MATHEMATICS / Logic
Database: eBook Collection (EBSCOhost)
FullText Links:
  – Type: ebook-pdf
Text:
  Availability: 0
Header DbId: nlebk
DbLabel: eBook Collection (EBSCOhost)
An: 2091112
RelevancyScore: 1090
AccessLevel: 6
PubType: eBook
PubTypeId: ebook
PreciseRelevancyScore: 1090.09973144531
IllustrationInfo
ImageInfo – Size: thumb
  Target: https://rps2images.ebscohost.com/rpsweb/othumb?id=NL$2091112$PDF&s=r
– Size: medium
  Target: https://rps2images.ebscohost.com/rpsweb/othumb?id=NL$2091112$PDF&s=d
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Justification Logic : Reasoning with Reasons
– Name: Abstract
  Label: Description
  Group: Ab
  Data: Classical logic is concerned, loosely, with the behaviour of truths. Epistemic logic similarly is about the behaviour of known or believed truths. Justification logic is a theory of reasoning that enables the tracking of evidence for statements and therefore provides a logical framework for the reliability of assertions. This book, the first in the area, is a systematic account of the subject, progressing from modal logic through to the establishment of an arithmetic interpretation of intuitionistic logic. The presentation is mathematically rigorous but in a style that will appeal to readers from a wide variety of areas to which the theory applies. These include mathematical logic, artificial intelligence, computer science, philosophical logic and epistemology, linguistics, and game theory.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Sergei+Artemov%22">Sergei Artemov</searchLink><br /><searchLink fieldCode="AR" term="%22Melvin+Fitting%22">Melvin Fitting</searchLink>
– Name: TypePub
  Label: Resource Type
  Group: TypPub
  Data: eBook.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Inquiry+%28Theory+of+knowledge%29%22">Inquiry (Theory of knowledge)</searchLink><br /><searchLink fieldCode="DE" term="%22Logic--Symbolic+and+mathematical%22">Logic--Symbolic and mathematical</searchLink><br /><searchLink fieldCode="DE" term="%22Reasoning%22">Reasoning</searchLink><br /><searchLink fieldCode="DE" term="%22Science--Theory+reduction%22">Science--Theory reduction</searchLink>
– Name: SubjectBISAC
  Label: Categories
  Group: Su
  Data: <searchLink fieldCode="ZK" term="%22MATHEMATICS+%2F+Logic%22">MATHEMATICS / Logic</searchLink>
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=nlebk&AN=2091112
RecordInfo BibRecord:
  BibEntity:
    Classifications:
      – Code: 511.3
        Scheme: ddc
        Type: prePub
    Languages:
      – Code: eng
        Text: English
    Subjects:
      – SubjectFull: Inquiry (Theory of knowledge)
        Type: general
      – SubjectFull: Logic--Symbolic and mathematical
        Type: general
      – SubjectFull: Reasoning
        Type: general
      – SubjectFull: Science--Theory reduction
        Type: general
    Titles:
      – TitleFull: Justification Logic : Reasoning with Reasons
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Sergei Artemov
      – PersonEntity:
          Name:
            NameFull: Melvin Fitting
      – PersonEntity:
          Name:
            NameFull: Sergei Artemov
      – PersonEntity:
          Name:
            NameFull: Melvin Fitting
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Type: published
              Y: 2019
            – D: 04
              M: 06
              Type: profile
              Y: 2019
          Identifiers:
            – Type: isbn-print
              Value: 9781108424912
            – Type: isbn-electronic
              Value: 9781108661102
          Numbering:
            – Type: volume
              Value: 00216
          Titles:
            – TitleFull: Justification Logic : Reasoning with Reasons
              Type: main
ResultId 1