{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:40:01Z","timestamp":1706650801925},"reference-count":10,"publisher":"Duke University Press","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[1996,7,1]]},"DOI":"10.1305\/ndjfl\/1039886522","type":"journal-article","created":{"date-parts":[[2003,2,25]],"date-time":"2003-02-25T21:08:12Z","timestamp":1046207292000},"source":"Crossref","is-referenced-by-count":0,"title":["A Constructive Valuation Semantics for Classical Logic"],"prefix":"10.1215","volume":"37","author":[{"given":"Franco","family":"Barbanera","sequence":"first","affiliation":[]},{"given":"Stefano","family":"Berardi","sequence":"additional","affiliation":[]}],"member":"73","reference":[{"key":"1","unstructured":"Barbanera F., and S. Berardi, \u201cWitness Extraction in Classical Logic through Normalization,\u201d pp. 219\u2013246 in <i>Logical Environments<\/i>, edited by G. Huet and G. Plotkin, Cambridge University Press, Cambridge, 1993. MR 1255117"},{"key":"2","doi-asserted-by":"crossref","unstructured":"Barbanera, F., and S. Berardi, \u201cA constructive valuation interpretation for classical logic and its use in witness extraction,\u201d pp. 1\u201323 in <i>Proceedings of Colloquium on Trees in Algebra and Programming (CAAP)<\/i>, LNCS 581, Springer-Verlag, New York, 1992. MR 94h:03115","DOI":"10.1007\/3-540-55251-0_1"},{"key":"3","doi-asserted-by":"crossref","unstructured":"Friedman, H., \u201cClassically and intuitionistically provably recursive functions,\u201d pp. 21\u201328 in <i>Higher Set Theory<\/i>, edited by D. S. Scott and G. H. Muller, Lecture Notes in Mathematics, vol. 699, Springer-Verlag, New York, 1978. Zbl 0396.03045 MR 80b:03093","DOI":"10.1007\/BFb0103100"},{"key":"4","doi-asserted-by":"crossref","unstructured":"Heyting, A., <i>Mathematische Grundlagenforschung. Intuitionismus. Beweistheorie<\/i>, Springer, Berlin, Reprinted 1974. Zbl 0278.02002 MR 49:8806","DOI":"10.1007\/978-3-642-65617-0"},{"key":"5","doi-asserted-by":"crossref","unstructured":"Kreisel, G., \u201cMathematical significance of consistency proofs,\u201d <i>The Journal of Symbolic Logic<\/i>, vol. 23 (1958), pp. 155\u2013182. Zbl 0088.01502 MR 22:6710","DOI":"10.2307\/2964396"},{"key":"6","doi-asserted-by":"crossref","unstructured":"Kolmogorov, A. N., \u201cZur Deutung der Intuitionistischen Logik,\u201d <i>Mathematische Zeitschrift<\/i>, vol. 35 (1932), pp. 58\u201356. Zbl 0004.00201","DOI":"10.1007\/BF01186549"},{"key":"7","doi-asserted-by":"crossref","unstructured":"Martin-L\u00f6f, P., \u201cAn intuitionistic theory of types: predicative part,\u201d pp. 73\u2013118 in <i>Logic Colloquium 73<\/i>, edited by H. E. Rose and J. C. Sheperdson, North-Holland, Amsterdam, 1975. Zbl 0334.02016 MR 52:7856","DOI":"10.1016\/S0049-237X(08)71945-1"},{"key":"8","unstructured":"Prawitz, D., <i>Natural deduction, a proof theoretical study<\/i>, Almqvist and Winskell, Stockholm, 1965. Zbl 0173.00205 MR 33:1227"},{"key":"9","unstructured":"Prawitz, D., \u201cValidity and normalizability of proofs in first and second order classical and intuitionistic logic,\u201d pp. 11\u201336 in <i>Atti del I Congresso Italiano di Logica<\/i>, Bibliopolis, Napoli, 1981."},{"key":"10","unstructured":"Shoenfield, J. R., <i>Mathematical Logic<\/i>, Addison-Wesley, Reading, 1967. Zbl 0155.01102 MR 37:1224"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1305\/ndjfl\/1039886522","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:12:53Z","timestamp":1706649173000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-37\/issue-3\/A-Constructive-Valuation-Semantics-for-Classical-Logic\/10.1305\/ndjfl\/1039886522.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,7,1]]},"references-count":10,"journal-issue":{"issue":"3","published-online":{"date-parts":[[1996,7,1]]}},"URL":"https:\/\/doi.org\/10.1305\/ndjfl\/1039886522","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[1996,7,1]]}}}