Justification logic : reasoning with reasons /
Saved in:
| Author / Creator: | Artemov, S. N., author. |
|---|---|
| Imprint: | Cambridge ; New York, NY : Cambridge University Press, 2019. ©2019 |
| Description: | xxi, 247 pages : illustrations ; 24 cm. |
| Language: | English |
| Series: | Cambridge tracts in mathematics ; 216 Cambridge tracts in mathematics ; 216. |
| Subject: | |
| Format: | Print Book |
| URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/11948484 |
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | 11948484 | ||
| 003 | ICU | ||
| 005 | 20191021042840.0 | ||
| 008 | 181218t20192019enka b 001 0 eng | ||
| 010 | |a 2018058431 | ||
| 040 | |a DLC |b eng |e rda |c DLC |d OCLCO |d OCLCF |d UKMGB |d BNG |d YDX |d MTG | ||
| 015 | |a GBB989303 |2 bnb | ||
| 016 | 7 | |a 019402163 |2 Uk | |
| 020 | |a 9781108424912 |q hardcover |q alkaline paper | ||
| 020 | |a 1108424910 |q hardcover |q alkaline paper | ||
| 020 | |z 9781108661102 |q electronic book | ||
| 035 | |a (OCoLC)1061817253 | ||
| 042 | |a pcc | ||
| 050 | 0 | 0 | |a QA9 |b .A78 2019 |
| 082 | 0 | 0 | |a 511.3 |b A7867j |2 23 |
| 049 | |a CGUA | ||
| 100 | 1 | |a Artemov, S. N., |e author. |0 http://id.loc.gov/authorities/names/n86059334 |1 http://viaf.org/viaf/43022227 | |
| 245 | 1 | 0 | |a Justification logic : |b reasoning with reasons / |c Sergei Artemov (Graduate Center, City University of New York), Melvin Fitting (Graduate Center, City University of New York). |
| 264 | 1 | |a Cambridge ; |a New York, NY : |b Cambridge University Press, |c 2019. | |
| 264 | 4 | |c ©2019 | |
| 300 | |a xxi, 247 pages : |b illustrations ; |c 24 cm. | ||
| 336 | |a text |b txt |2 rdacontent |0 http://id.loc.gov/vocabulary/contentTypes/txt | ||
| 337 | |a unmediated |b n |2 rdamedia |0 http://id.loc.gov/vocabulary/mediaTypes/n | ||
| 338 | |a volume |b nc |2 rdacarrier |0 http://id.loc.gov/vocabulary/carriers/nc | ||
| 490 | 1 | |a Cambridge tracts in mathematics ; |v 216 | |
| 504 | |a Includes bibliographical references (pages 234-243) and index. | ||
| 520 | |a 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. | ||
| 650 | 0 | |a Logic, Symbolic and mathematical. |0 http://id.loc.gov/authorities/subjects/sh85078115 | |
| 650 | 0 | |a Inquiry (Theory of knowledge) |0 http://id.loc.gov/authorities/subjects/sh85066548 | |
| 650 | 0 | |a Science |x Theory reduction. |0 http://id.loc.gov/authorities/subjects/sh85118604 | |
| 650 | 0 | |a Reasoning. |0 http://id.loc.gov/authorities/subjects/sh85111790 | |
| 650 | 7 | |a Inquiry (Theory of knowledge) |2 fast |0 (OCoLC)fst00973795 | |
| 650 | 7 | |a Logic, Symbolic and mathematical. |2 fast |0 (OCoLC)fst01002068 | |
| 650 | 7 | |a Reasoning. |2 fast |0 (OCoLC)fst01091282 | |
| 650 | 7 | |a Science |x Theory reduction. |2 fast |0 (OCoLC)fst01108508 | |
| 700 | 1 | |a Fitting, Melvin, |d 1942- |e author. |0 http://id.loc.gov/authorities/names/n81018911 |1 http://viaf.org/viaf/46837603 | |
| 776 | 0 | 8 | |i ebook version : |z 9781108661102 |
| 830 | 0 | |a Cambridge tracts in mathematics ; |v 216. | |
| 903 | |a HeVa | ||
| 929 | |a cat | ||
| 999 | f | f | |i 09e07495-5fa4-5284-ae15-4c3b238d4b03 |s ce1512fd-956b-599a-b13c-815b2b0d45f2 |
| 928 | |t Library of Congress classification |a QA9.A78 2019 |l Eck |c Eck-Eck |i 11444683 | ||
| 927 | |t Library of Congress classification |a QA9.A78 2019 |l Eck |c Eck-Eck |g SEPS |b 116483699 |i 10165523 | ||