Justification logic: reasoning with reasons

Develops a new logic paradigm which emphasizes evidence tracking, including theory, connections to other fields, and sample applications.

Detalles Bibliográficos
Autores principales: Artemov, Sergei, Fitting, Melvin
Lenguaje:eng
Publicado: Cambridge University Press 2019
Materias:
Mathematical Physics and Mathematics
Acceso en línea:http://cds.cern.ch/record/2685795
_version_ 1780963475997065216
author Artemov, Sergei
Fitting, Melvin
author_facet Artemov, Sergei
Fitting, Melvin
author_sort Artemov, Sergei
collection CERN
description Develops a new logic paradigm which emphasizes evidence tracking, including theory, connections to other fields, and sample applications.
id cern-2685795
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2019
publisher Cambridge University Press
record_format invenio
spelling cern-26857952021-04-21T18:20:18Zhttp://cds.cern.ch/record/2685795engArtemov, SergeiFitting, MelvinJustification logic: reasoning with reasonsMathematical Physics and MathematicsDevelops a new logic paradigm which emphasizes evidence tracking, including theory, connections to other fields, and sample applications.Cambridge University Pressoai:cds.cern.ch:26857952019
spellingShingle Mathematical Physics and Mathematics
Artemov, Sergei
Fitting, Melvin
Justification logic: reasoning with reasons
title Justification logic: reasoning with reasons
title_full Justification logic: reasoning with reasons
title_fullStr Justification logic: reasoning with reasons
title_full_unstemmed Justification logic: reasoning with reasons
title_short Justification logic: reasoning with reasons
title_sort justification logic: reasoning with reasons
topic Mathematical Physics and Mathematics
url http://cds.cern.ch/record/2685795
work_keys_str_mv AT artemovsergei justificationlogicreasoningwithreasons
AT fittingmelvin justificationlogicreasoningwithreasons

Ejemplares similares