Justification logic :: reasoning with reasons /
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 reli...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Cambridge ; New York, NY :
Cambridge University Press,
2019
|
| Series: | Cambridge tracts in mathematics ;
216. |
| Subjects: | |
| Online Access: | DE-862 DE-863 |
| Summary: | 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 |
| Physical Description: | 1 online resource (xxi, 247 pages) : illustrations |
| Bibliography: | Includes bibliographical references and index |
| ISBN: | 9781108348034 1108348033 9781108661102 1108661106 |
Staff View
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-on1100589108 | ||
| 003 | OCoLC | ||
| 005 | 20250103110447.0 | ||
| 006 | m o d | ||
| 007 | cr mn||||||||| | ||
| 008 | 190509t20192019enka ob 001 0 eng | ||
| 040 | |a LGG |b eng |e rda |e pn |c LGG |d CAMBR |d UKAHL |d EBLCP |d N$T |d YDX |d OSU |d OCLCQ |d CNO |d OCLCQ |d SFB |d OCLCQ |d K6U |d OCLCO |d OCLCQ |d OCLCO |d OCLCQ |d S9M |d OCLCL |d OCLCQ |d SXB | ||
| 019 | |a 1101102118 |a 1103320874 |a 1168457964 | ||
| 020 | |a 9781108348034 |q (electronic bk.) | ||
| 020 | |a 1108348033 |q (electronic bk.) | ||
| 020 | |a 9781108661102 |q (electronic bk.) | ||
| 020 | |a 1108661106 |q (electronic bk.) | ||
| 020 | |z 9781108424912 |q (hardcover ; |q alk. paper) | ||
| 020 | |z 1108424910 |q (hardcover ; |q alk. paper) | ||
| 035 | |a (OCoLC)1100589108 |z (OCoLC)1101102118 |z (OCoLC)1103320874 |z (OCoLC)1168457964 | ||
| 050 | 4 | |a QA9 |b .A78 2019eb | |
| 072 | 7 | |a MAT |x 000000 |2 bisacsh | |
| 082 | 7 | |a 511.3 |2 23 | |
| 049 | |a MAIN | ||
| 100 | 1 | |a Artemov, S. N., |e author. |0 http://id.loc.gov/authorities/names/n86059334 | |
| 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 1 online resource (xxi, 247 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a Cambridge tracts in mathematics ; |v 216 | |
| 520 | |a 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 | ||
| 504 | |a Includes bibliographical references and index | ||
| 505 | 0 | |a 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 | |
| 588 | 0 | |a Print version record | |
| 650 | 0 | |a Logic |x Symbolic and mathematical. | |
| 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 | 6 | |a Recherche (Théorie de la connaissance) | |
| 650 | 6 | |a Sciences |x Réduction des théories. | |
| 650 | 7 | |a MATHEMATICS |x General. |2 bisacsh | |
| 650 | 7 | |a Lógica matemática |2 embne | |
| 650 | 7 | |a Inquiry (Theory of knowledge) |2 fast | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 650 | 7 | |a Reasoning |2 fast | |
| 650 | 7 | |a Science |x Theory reduction |2 fast | |
| 655 | 4 | |a Electronic book. | |
| 700 | 1 | |a Fitting, Melvin, |d 1942- |e author. |1 https://id.oclc.org/worldcat/entity/E39PBJgcY6WppRwkvcVFJf6HYP |0 http://id.loc.gov/authorities/names/n81018911 | |
| 758 | |i has work: |a Justification logic (Text) |1 https://id.oclc.org/worldcat/entity/E39PCGckGw8dTMJqtyWcm6RbBd |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Electronic reproduction of (manifestation): |a Artemov, S.N. |t Justification logic. |d Cambridge ; New York, NY : Cambridge University Press, 2019 |z 9781108424912 |w (DLC) 2018058431 |w (OCoLC)1061817253 |
| 830 | 0 | |a Cambridge tracts in mathematics ; |v 216. |0 http://id.loc.gov/authorities/names/n42005726 | |
| 966 | 4 | 0 | |l DE-862 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=2091112 |3 Volltext |
| 966 | 4 | 0 | |l DE-863 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=2091112 |3 Volltext |
| 938 | |a Askews and Holts Library Services |b ASKH |n AH37001700 | ||
| 938 | |a Askews and Holts Library Services |b ASKH |n AH36227277 | ||
| 938 | |a ProQuest Ebook Central |b EBLB |n EBL5780848 | ||
| 938 | |a EBSCOhost |b EBSC |n 2091112 | ||
| 938 | |a YBP Library Services |b YANK |n 15306879 | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-862 | ||
| 049 | |a DE-863 | ||
Record in the Search Index
| DE-BY-FWS_katkey | ZDB-4-EBA-on1100589108 |
|---|---|
| _version_ | 1829095303985233921 |
| adam_text | |
| any_adam_object | |
| author | Artemov, S. N. Fitting, Melvin, 1942- |
| author_GND | http://id.loc.gov/authorities/names/n86059334 http://id.loc.gov/authorities/names/n81018911 |
| author_facet | Artemov, S. N. Fitting, Melvin, 1942- |
| author_role | aut aut |
| author_sort | Artemov, S. N. |
| author_variant | s n a sn sna m f mf |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9 .A78 2019eb |
| callnumber-search | QA9 .A78 2019eb |
| callnumber-sort | QA 19 A78 42019EB |
| callnumber-subject | QA - Mathematics |
| collection | ZDB-4-EBA |
| 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 |
| ctrlnum | (OCoLC)1100589108 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04614cam a2200697 i 4500</leader><controlfield tag="001">ZDB-4-EBA-on1100589108</controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20250103110447.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr mn|||||||||</controlfield><controlfield tag="008">190509t20192019enka ob 001 0 eng </controlfield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">LGG</subfield><subfield code="b">eng</subfield><subfield code="e">rda</subfield><subfield code="e">pn</subfield><subfield code="c">LGG</subfield><subfield code="d">CAMBR</subfield><subfield code="d">UKAHL</subfield><subfield code="d">EBLCP</subfield><subfield code="d">N$T</subfield><subfield code="d">YDX</subfield><subfield code="d">OSU</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">CNO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">SFB</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">K6U</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">S9M</subfield><subfield code="d">OCLCL</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">SXB</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">1101102118</subfield><subfield code="a">1103320874</subfield><subfield code="a">1168457964</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781108348034</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1108348033</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781108661102</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1108661106</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9781108424912</subfield><subfield code="q">(hardcover ;</subfield><subfield code="q">alk. paper)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">1108424910</subfield><subfield code="q">(hardcover ;</subfield><subfield code="q">alk. paper)</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1100589108</subfield><subfield code="z">(OCoLC)1101102118</subfield><subfield code="z">(OCoLC)1103320874</subfield><subfield code="z">(OCoLC)1168457964</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA9</subfield><subfield code="b">.A78 2019eb</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">MAT</subfield><subfield code="x">000000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">23</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Artemov, S. N.,</subfield><subfield code="e">author.</subfield><subfield code="0">http://id.loc.gov/authorities/names/n86059334</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Justification logic :</subfield><subfield code="b">reasoning with reasons /</subfield><subfield code="c">Sergei Artemov, Graduate Center, City University of New York ; Melvin Fitting, Graduate Center, City University of New York</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge ;</subfield><subfield code="a">New York, NY :</subfield><subfield code="b">Cambridge University Press,</subfield><subfield code="c">2019</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">©2019</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (xxi, 247 pages) :</subfield><subfield code="b">illustrations</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Cambridge tracts in mathematics ;</subfield><subfield code="v">216</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">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</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">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</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Print version record</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Logic</subfield><subfield code="x">Symbolic and mathematical.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Inquiry (Theory of knowledge)</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85066548</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Science</subfield><subfield code="x">Theory reduction.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85118604</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Reasoning.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85111790</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Recherche (Théorie de la connaissance)</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Sciences</subfield><subfield code="x">Réduction des théories.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS</subfield><subfield code="x">General.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Lógica matemática</subfield><subfield code="2">embne</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Inquiry (Theory of knowledge)</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Reasoning</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Science</subfield><subfield code="x">Theory reduction</subfield><subfield code="2">fast</subfield></datafield><datafield tag="655" ind1=" " ind2="4"><subfield code="a">Electronic book.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Fitting, Melvin,</subfield><subfield code="d">1942-</subfield><subfield code="e">author.</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PBJgcY6WppRwkvcVFJf6HYP</subfield><subfield code="0">http://id.loc.gov/authorities/names/n81018911</subfield></datafield><datafield tag="758" ind1=" " ind2=" "><subfield code="i">has work:</subfield><subfield code="a">Justification logic (Text)</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCGckGw8dTMJqtyWcm6RbBd</subfield><subfield code="4">https://id.oclc.org/worldcat/ontology/hasWork</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Electronic reproduction of (manifestation):</subfield><subfield code="a">Artemov, S.N.</subfield><subfield code="t">Justification logic.</subfield><subfield code="d">Cambridge ; New York, NY : Cambridge University Press, 2019</subfield><subfield code="z">9781108424912</subfield><subfield code="w">(DLC) 2018058431</subfield><subfield code="w">(OCoLC)1061817253</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Cambridge tracts in mathematics ;</subfield><subfield code="v">216.</subfield><subfield code="0">http://id.loc.gov/authorities/names/n42005726</subfield></datafield><datafield tag="966" ind1="4" ind2="0"><subfield code="l">DE-862</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=2091112</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="4" ind2="0"><subfield code="l">DE-863</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=2091112</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Askews and Holts Library Services</subfield><subfield code="b">ASKH</subfield><subfield code="n">AH37001700</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Askews and Holts Library Services</subfield><subfield code="b">ASKH</subfield><subfield code="n">AH36227277</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ProQuest Ebook Central</subfield><subfield code="b">EBLB</subfield><subfield code="n">EBL5780848</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">2091112</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">15306879</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-862</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield></datafield></record></collection> |
| genre | Electronic book. |
| genre_facet | Electronic book. |
| id | ZDB-4-EBA-on1100589108 |
| illustrated | Illustrated |
| indexdate | 2025-04-11T08:46:53Z |
| institution | BVB |
| isbn | 9781108348034 1108348033 9781108661102 1108661106 |
| language | English |
| oclc_num | 1100589108 |
| open_access_boolean | |
| owner | MAIN DE-862 DE-BY-FWS DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-862 DE-BY-FWS DE-863 DE-BY-FWS |
| physical | 1 online resource (xxi, 247 pages) : illustrations |
| psigel | ZDB-4-EBA FWS_PDA_EBA ZDB-4-EBA |
| publishDate | 2019 |
| publishDateSearch | 2019 |
| publishDateSort | 2019 |
| publisher | Cambridge University Press, |
| record_format | marc |
| series | Cambridge tracts in mathematics ; |
| series2 | Cambridge tracts in mathematics ; |
| spelling | Artemov, S. N., author. http://id.loc.gov/authorities/names/n86059334 Justification logic : reasoning with reasons / Sergei Artemov, Graduate Center, City University of New York ; Melvin Fitting, Graduate Center, City University of New York Cambridge ; New York, NY : Cambridge University Press, 2019 ©2019 1 online resource (xxi, 247 pages) : illustrations text txt rdacontent computer c rdamedia online resource cr rdacarrier Cambridge tracts in mathematics ; 216 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 Includes bibliographical references and index 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 Print version record Logic Symbolic and mathematical. Inquiry (Theory of knowledge) http://id.loc.gov/authorities/subjects/sh85066548 Science Theory reduction. http://id.loc.gov/authorities/subjects/sh85118604 Reasoning. http://id.loc.gov/authorities/subjects/sh85111790 Recherche (Théorie de la connaissance) Sciences Réduction des théories. MATHEMATICS General. bisacsh Lógica matemática embne Inquiry (Theory of knowledge) fast Logic, Symbolic and mathematical fast Reasoning fast Science Theory reduction fast Electronic book. Fitting, Melvin, 1942- author. https://id.oclc.org/worldcat/entity/E39PBJgcY6WppRwkvcVFJf6HYP http://id.loc.gov/authorities/names/n81018911 has work: Justification logic (Text) https://id.oclc.org/worldcat/entity/E39PCGckGw8dTMJqtyWcm6RbBd https://id.oclc.org/worldcat/ontology/hasWork Electronic reproduction of (manifestation): Artemov, S.N. Justification logic. Cambridge ; New York, NY : Cambridge University Press, 2019 9781108424912 (DLC) 2018058431 (OCoLC)1061817253 Cambridge tracts in mathematics ; 216. http://id.loc.gov/authorities/names/n42005726 |
| spellingShingle | Artemov, S. N. Fitting, Melvin, 1942- Justification logic : reasoning with reasons / Cambridge tracts in mathematics ; 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 Logic Symbolic and mathematical. Inquiry (Theory of knowledge) http://id.loc.gov/authorities/subjects/sh85066548 Science Theory reduction. http://id.loc.gov/authorities/subjects/sh85118604 Reasoning. http://id.loc.gov/authorities/subjects/sh85111790 Recherche (Théorie de la connaissance) Sciences Réduction des théories. MATHEMATICS General. bisacsh Lógica matemática embne Inquiry (Theory of knowledge) fast Logic, Symbolic and mathematical fast Reasoning fast Science Theory reduction fast |
| subject_GND | http://id.loc.gov/authorities/subjects/sh85066548 http://id.loc.gov/authorities/subjects/sh85118604 http://id.loc.gov/authorities/subjects/sh85111790 |
| title | Justification logic : reasoning with reasons / |
| title_auth | Justification logic : reasoning with reasons / |
| title_exact_search | Justification logic : reasoning with reasons / |
| title_full | Justification logic : reasoning with reasons / Sergei Artemov, Graduate Center, City University of New York ; Melvin Fitting, Graduate Center, City University of New York |
| title_fullStr | Justification logic : reasoning with reasons / Sergei Artemov, Graduate Center, City University of New York ; Melvin Fitting, Graduate Center, City University of New York |
| title_full_unstemmed | Justification logic : reasoning with reasons / Sergei Artemov, Graduate Center, City University of New York ; Melvin Fitting, Graduate Center, City University of New York |
| title_short | Justification logic : |
| title_sort | justification logic reasoning with reasons |
| title_sub | reasoning with reasons / |
| topic | Logic Symbolic and mathematical. Inquiry (Theory of knowledge) http://id.loc.gov/authorities/subjects/sh85066548 Science Theory reduction. http://id.loc.gov/authorities/subjects/sh85118604 Reasoning. http://id.loc.gov/authorities/subjects/sh85111790 Recherche (Théorie de la connaissance) Sciences Réduction des théories. MATHEMATICS General. bisacsh Lógica matemática embne Inquiry (Theory of knowledge) fast Logic, Symbolic and mathematical fast Reasoning fast Science Theory reduction fast |
| topic_facet | Logic Symbolic and mathematical. Inquiry (Theory of knowledge) Science Theory reduction. Reasoning. Recherche (Théorie de la connaissance) Sciences Réduction des théories. MATHEMATICS General. Lógica matemática Logic, Symbolic and mathematical Reasoning Science Theory reduction Electronic book. |
| work_keys_str_mv | AT artemovsn justificationlogicreasoningwithreasons AT fittingmelvin justificationlogicreasoningwithreasons |