|
" Justification logic : "
Sergei Artemov (Graduate Center, City University of New York), Melvin Fitting (Graduate Center, City University of New York).
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
839666
|
| Main Entry
|
:
|
Artemov, S. N.
|
| Title & Author
|
:
|
Justification logic : : reasoning with reasons /\ Sergei Artemov (Graduate Center, City University of New York), Melvin Fitting (Graduate Center, City University of New York).
|
| Publication Statement
|
:
|
Cambridge ;New York, NY :: Cambridge University Press,, 2019.
|
|
|
:
|
, ©2019
|
| Series Statement
|
:
|
Cambridge tracts in mathematics ;; 216
|
| Page. NO
|
:
|
xxi, 247 pages :: illustrations ;; 24 cm.
|
| ISBN
|
:
|
1108424910
|
|
|
:
|
: 9781108424912
|
|
|
:
|
9781108661102
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references (pages 234-243) and index.
|
| Contents
|
:
|
Why justification logic? -- The basics of justification logic -- The ontology of justifications -- Fitting models -- Sequents and tableaus -- Realization-how it began -- Realization-generalized -- The range of realization -- Arithmetical completeness and BHK semantics -- Quantifiers in justification logic -- Going past modal logic.
|
| Abstract
|
:
|
Classical logic is concerned, loosely, with the behavior of truths. Epistemic logic similarly is about the behavior 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.
|
| Subject
|
:
|
Inquiry (Theory of knowledge)
|
| Subject
|
:
|
Logic, Symbolic and mathematical.
|
| Subject
|
:
|
Reasoning.
|
| Subject
|
:
|
Science-- Theory reduction.
|
| Subject
|
:
|
Inquiry (Theory of knowledge)
|
| Subject
|
:
|
Logic, Symbolic and mathematical.
|
| Subject
|
:
|
Reasoning.
|
| Subject
|
:
|
Science-- Theory reduction.
|
| Dewey Classification
|
:
|
511.3
|
| LC Classification
|
:
|
QA9.A78 2019
|
| Added Entry
|
:
|
Fitting, Melvin,1942-
|
| |