{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,27]],"date-time":"2025-09-27T13:21:52Z","timestamp":1758979312325},"reference-count":16,"publisher":"Duke University Press","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2019,8,1]]},"DOI":"10.1215\/00294527-2019-0008","type":"journal-article","created":{"date-parts":[[2019,7,11]],"date-time":"2019-07-11T02:03:41Z","timestamp":1562810621000},"source":"Crossref","is-referenced-by-count":2,"title":["An Analytic Calculus for the Intuitionistic Logic of Proofs"],"prefix":"10.1215","volume":"60","author":[{"given":"Brian","family":"Hill","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesca","family":"Poggiolesi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"73","reference":[{"key":"1","doi-asserted-by":"publisher","unstructured":"[1] Artemov, S. N., \u201cExplicit provability and constructive semantics,\u201d <i>Bulletin of Symbolic Logic<\/i>, vol. 7 (2001), pp. 1\u201336.","DOI":"10.2307\/2687821"},{"key":"2","unstructured":"[2] Artemov, S. N., \u201cUnified semantics for modality and $\\lambda$-terms via proof polynomials,\u201d pp. 1\u201335 in <i>Algebras, Diagrams, and Decisions in Language, Logic, and Computation<\/i>, edited by K. Vermeulen and A. Copestake, vol. 144 of <i>CSLI Lecture Notes<\/i>, CSLI, Stanford, 2001."},{"key":"3","doi-asserted-by":"crossref","unstructured":"[3] Avron, A., \u201cThe method of hypersequents in the proof theory of propositional non-classical logics,\u201d pp. 1\u201332 in <i>Logic: From Foundations to Applications<\/i>, edited by W. Hodges, M. Hyland, C. Steinhorn, and J. Truss, Oxford University Press, Oxford, 1996.","DOI":"10.1093\/oso\/9780198538622.003.0001"},{"key":"4","doi-asserted-by":"crossref","unstructured":"[4] Barendregt, H., \u201cLambda calculi with types,\u201d pp. 120\u201348 in <i>Handbook of Logic in Computer Science<\/i>, vol. 2 of <i>Oxford Science Publications<\/i>, Oxford University Press, New York, 1992.","DOI":"10.1093\/oso\/9780198537618.003.0002"},{"key":"5","doi-asserted-by":"crossref","unstructured":"[5] Mkrtychev, A., \u201cModels for the logic of proofs,\u201d pp. 266-75 in <i>Logical Foundations of Computer Science (Yaroslavl, 1997)<\/i>, edited by S. Adian and A. Nerode, vol. 1234 of <i>Lecture Notes in Computer Science<\/i>, Springer, Berlin, 1997.","DOI":"10.1007\/3-540-63045-7_27"},{"key":"6","doi-asserted-by":"crossref","unstructured":"[6] Paoli, F., <i>Substructural Logics: A Primer<\/i>, vol. 13 of <i>Trends in Logic\u2014Studia Logica Library<\/i>, Kluwer Academic, Dordrecht, 2002.","DOI":"10.1007\/978-94-017-3179-9"},{"key":"7","doi-asserted-by":"crossref","unstructured":"[7] Poggiolesi, F., <i>Gentzen Calculi for Modal Propositional Logic<\/i>, vol. 32 of Trends in Logic\u2014Studia Logica Library, Springer, Dordrecht, 2011.","DOI":"10.1007\/978-90-481-9670-8"},{"key":"8","unstructured":"[8] Poggiolesi, F., \u201cTowards a satisfying proof analysis of the logic of proofs,\u201d pp. 371\u201387 in <i>Proceedings of the Second ILCLI International Workshop on Logic and Philosophy of Knowledge, Communication, and Action<\/i>, edited by X. Arrazola and M. Ponte, University of the Basque Country Press, San Sebastian, 2010."},{"key":"9","unstructured":"[9] Poggiolesi, F., \u201cA Pragmatic Argument in Support of Analyticity\u201d in <i>Proceedings of the Third Workshop on Philosophy of Information<\/i>, Flemish Academy, Brussels, 2012."},{"key":"10","unstructured":"[10] Poggiolesi, F., \u201cOn the importance of being analytic: The paradigmatic case of the logic of proofs,\u201d <i>Logique et Analyse (Nouvelle S\u00e9rie)<\/i>, vol. 55 (2012), pp. 443\u201361."},{"key":"11","doi-asserted-by":"crossref","unstructured":"[11] Renne, B., \u201cEvidence elimination in multi-agent justification logic,\u201d pp. 227\u201336 in <i>Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (Stanford, 2009)<\/i>, <i>ACM International Conference Proceedings Series<\/i>, New York, 2009","DOI":"10.1145\/1562814.1562845"},{"key":"12","doi-asserted-by":"publisher","unstructured":"[12] Savateev, Y., \u201cProof internalization in generalized Frege systems for classical logic,\u201d <i>Annals of Pure and Applied Logic<\/i>, vol. 165 (2014), pp. 340\u201356.","DOI":"10.1016\/j.apal.2013.07.017"},{"key":"13","doi-asserted-by":"crossref","unstructured":"[13] S\u00f8rensen, M. H., and P. Urzyczyn, <i>Lectures on the Curry-Howard Isomorphism<\/i>, vol. 149 of <i>Studies in Logic and the Foundations of Mathematics<\/i>, Elsevier, Amsterdam, 2006.","DOI":"10.1016\/S0049-237X(06)80005-4"},{"key":"14","unstructured":"[14] Troelstra, A. S., and H. Schwichtenberg, <i>Basic Proof Theory<\/i>, vol. 43 of <i>Cambridge Tracts in Theoretical Computer Science<\/i>, Cambridge University Press, Cambridge, 1996."},{"key":"15","doi-asserted-by":"crossref","unstructured":"[15] Wansing, H., <i>Displaying Modal Logic<\/i>, vol. 3 of <i>Trends in Logic\u2013Studia Logica Library<\/i>, Kluwer Academic, Dordrecht, 1998.","DOI":"10.1007\/978-94-017-1280-4"},{"key":"16","doi-asserted-by":"crossref","unstructured":"[16] Wansing, H., \u201cSequent systems for modal logics,\u201d pp. 61\u2013145 in <i>Handbook of Philosophical Logic, Vol. 8<\/i>, edited by D. M. Gabbay and F. Guenthner, Springer, Dordrecht, 2002.","DOI":"10.1007\/978-94-010-0387-2_2"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-2019-0008","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,20]],"date-time":"2024-07-20T21:23:50Z","timestamp":1721510630000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-60\/issue-3\/An-Analytic-Calculus-for-the-Intuitionistic-Logic-of-Proofs\/10.1215\/00294527-2019-0008.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,8,1]]},"references-count":16,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2019,8,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-2019-0008","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2019,8,1]]}}}