{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,15]],"date-time":"2026-04-15T00:53:53Z","timestamp":1776214433141,"version":"3.50.1"},"reference-count":49,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1997,4,1]],"date-time":"1997-04-01T00:00:00Z","timestamp":859852800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,4,1]],"date-time":"1997-04-01T00:00:00Z","timestamp":859852800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Logic, Language and Information"],"published-print":{"date-parts":[[1997,4]]},"DOI":"10.1023\/a:1008266418092","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T13:47:34Z","timestamp":1040564854000},"page":"191-212","source":"Crossref","is-referenced-by-count":41,"title":["Implicit Epistemic Aspects of Constructive Logic"],"prefix":"10.1007","volume":"6","author":[{"given":"G\u00f6ran","family":"Sundholm","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"125686_CR1","volume-title":"Logic, Methodology and Philosophy of Science VI","year":"1982","unstructured":"Cohen, L.J., Los, J., Pfeiffer, H., and Podewski, K.-P., eds., 1982, Logic, Methodology and Philosophy of Science VI, Amsterdam: North-Holland."},{"key":"125686_CR2","volume-title":"Proceedings of the Second Scandinavian Logic Symposium","author":"J.E. Fenstad","year":"1971","unstructured":"Fenstad, J.E., 1971, Proceedings of the Second Scandinavian Logic Symposium, Amsterdam: North-Holland."},{"key":"125686_CR3","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1080\/01445349408837229","volume":"15","author":"M. Franchella","year":"1994","unstructured":"Franchella, M., 1994, \"Heyting\u2019s contribution to the change in research into the foundations of mathematics,\" History and Philosophy of Logic\n15, 149\u2013172.","journal-title":"History and Philosophy of Logic"},{"key":"125686_CR4","volume-title":"Grundgesetze der Arithmetik","author":"G. Frege","year":"1893","unstructured":"Frege, G., 1893, Grundgesetze der Arithmetik, Jena: H. Pohle."},{"key":"125686_CR5","doi-asserted-by":"crossref","first-page":"254","DOI":"10.2307\/2183123","volume":"74","author":"P.T. Geach","year":"1965","unstructured":"Geach, P.T., 1965, \"Assertion,\" Philosophical Review\n74. Also in Geach (1972: 254\u2013269).","journal-title":"Philosophical Review"},{"key":"125686_CR6","volume-title":"Logic Matters","author":"P.T. Geach","year":"1972","unstructured":"Geach, P.T., 1972, Logic Matters, Oxford: Basil Blackwell."},{"key":"125686_CR7","doi-asserted-by":"crossref","first-page":"176","DOI":"10.1007\/BF01201353","volume":"39","author":"G. Gentzen","year":"1934","unstructured":"Gentzen, G., 1934\u20131935, \"Untersuchungen \u00fcber das logische Schliessen,\" Mathematische Zeitschrift\n39, 176\u2013210, 405\u2013431. Also in M. Szabo, 1969, Collected Papers, Amsterdam: North-Holland.","journal-title":"Mathematische Zeitschrift"},{"key":"125686_CR8","doi-asserted-by":"crossref","first-page":"493","DOI":"10.1007\/BF01565428","volume":"112","author":"G. Gentzen","year":"1936","unstructured":"Gentzen, G., 1936, \"Die Widerspruchsfreihet der reinen Zahlentheorie,\" Mathematische Annalen\n112, 493\u2013565.","journal-title":"Mathematische Annalen"},{"key":"125686_CR9","doi-asserted-by":"crossref","first-page":"3","DOI":"10.2307\/2184066","volume":"79","author":"R.M. Hare","year":"1970","unstructured":"Hare, R.M., 1970, \"Meaning and speech acts,\" Philosophical Review\n79, 3\u201324.","journal-title":"Philosophical Review"},{"key":"125686_CR10","unstructured":"Heyting, A., 1930a, \"Die formalen regeln der intuitionistischen Logik,\" Sitzungsberichte der preussischen Akademie von Wissenschaften, Phys-mat Klasse, pp. 42\u201356."},{"issue":"16","key":"125686_CR11","first-page":"957","volume":"V","author":"A. Heyting","year":"1930","unstructured":"Heyting, A. 1930b, \"Sur la logique intuitionniste,\" Acad. Roy. Belgique, Bull. Cl. Sci.\nV(16), 957\u2013963.","journal-title":"Acad. Roy. Belgique, Bull. Cl. Sci."},{"key":"125686_CR12","doi-asserted-by":"crossref","first-page":"106","DOI":"10.1007\/BF02028143","volume":"2","author":"A. Heyting","year":"1931","unstructured":"Heyting, A., 1931, \"Die intuitionistische Grundlegung der Mathematik,\" Erkenntnis\n2, 106\u2013115.","journal-title":"Erkenntnis"},{"key":"125686_CR13","volume-title":"Mathematische Grundlagenforschung. Intuitionismus. Beweistheorie","author":"A. Heyting","year":"1934","unstructured":"Heyting, A., 1934, Mathematische Grundlagenforschung. Intuitionismus. Beweistheorie, Berlin: Julius Springer."},{"key":"125686_CR14","first-page":"72","volume":"4","author":"A Heyting","year":"1935","unstructured":"Heyting, A, 1935, \"Intuitionistische Wiskunde,\" Mathematica B\n4, 72\u201383.","journal-title":"Mathematica B"},{"key":"125686_CR15","volume-title":"Knowledge and Belief","author":"J. Hintikka","year":"1962","unstructured":"Hintikka, J., 1962, Knowledge and Belief, Ithaca: Cornell University Press."},{"key":"125686_CR16","first-page":"479","volume-title":"To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism","author":"W.A. Howard","year":"1980","unstructured":"Howard, W.A., 1980, \"The formula-as-types notion of construction,\" pp. 479\u2013490 in To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, J. Seldin and R. Hindley, eds., London: Academic Press."},{"key":"125686_CR17","volume-title":"Introduction to Metamathematics","author":"S.C. Kleene","year":"1952","unstructured":"Kleene, S.C., 1952, Introduction to Metamathematics, Amsterdam: North-Holland."},{"key":"125686_CR18","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1007\/BF01186549","volume":"35","author":"A. Kolmogorov","year":"1932","unstructured":"Kolmogorov, A., 1932, \"Zur Deutung intuitionistischen Logik,\" Mathematische Zeitschrift\n35, 58\u201365.","journal-title":"Mathematische Zeitschrift"},{"key":"125686_CR19","unstructured":"Lenzen, W., 1978, \"Recent work in epistemic logic,\" Acta Philosophica Fennica\nXXX(1)."},{"key":"125686_CR20","first-page":"153","volume-title":"Logic, Methodology and Philosophy of Science VI","author":"P. Martin-L\u00f6f","year":"1982","unstructured":"Martin-L\u00f6f, P., 1982, \"Constructive mathematics and computer programming,\" pp. 153\u2013175 in Logic, Methodology and Philosophy of Science VI, L.J. Cohen et al., eds., Amsterdam: North-Holland."},{"key":"125686_CR21","doi-asserted-by":"crossref","first-page":"407","DOI":"10.1007\/BF00484985","volume":"73","author":"P. Martin-L\u00f6f","year":"1987","unstructured":"Martin-L\u00f6f, P., 1987, \"Truth of a proposition, evidence of a judgement, validity of a proof,\" Synthese\n73, 407\u2013420.","journal-title":"Synthese"},{"key":"125686_CR22","first-page":"141","volume-title":"Atti del Congresso Nuovi Problemi della Logica e della Filosofia della Scienza","author":"P. Martin-L\u00f6f","year":"1991","unstructured":"Martin-L\u00f6f, P., 1991, \"A path from logic to metaphysics,\" pp. 141\u2013149 in Atti del Congresso Nuovi Problemi della Logica e della Filosofia della Scienza, Viareggio, 8\u201313 gennaio 1990, Vol. II, Bologna: CLUEB."},{"key":"125686_CR23","unstructured":"Martin-L\u00f6f, P., forthcoming, \"Truth and knowability: on the principles C and K of Michael Dummett,\" in Truth in Mathematics, H.G. Dales and G. Oliveri, eds., Oxford: Clarendon Press."},{"key":"125686_CR24","doi-asserted-by":"crossref","unstructured":"Martin-L\u00f6f, P., \"Verificationism then and now,\" pp. 187\u2013196 in The Foundational Debate: Complexity and Constructivity in Mathematics and Physics, W. Schimanovich et al., eds., Dordrecht: Kluwer.","DOI":"10.1007\/978-94-017-3327-4_14"},{"key":"125686_CR25","first-page":"11","volume":"1","author":"P. Martin-L\u00f6f","year":"1983","unstructured":"Martin-L\u00f6f, P., 1983, \"On the meanings of the logical constants and the justifications of the logical laws,\" Nordic Journal of Philsophical Logic\n1, 11\u201361. Text of lectures originally given in 1983 and distributed in 1985.","journal-title":"Nordic Journal of Philsophical Logic"},{"key":"125686_CR26","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1007\/978-94-011-0834-8_5","volume-title":"Kant and Contemporary Epistemology","author":"P. Martin-L\u00f6f","year":"1994","unstructured":"Martin-L\u00f6f, P., 1994, \"Analytic and synthetic judgements in type theory,\" pp. 87\u201399 in Kant and Contemporary Epistemology, P. Parrini, ed., Dordrecht: Kluwer."},{"key":"125686_CR27","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4684-9452-5","volume-title":"Mathematical Logic","author":"D. Monk","year":"1976","unstructured":"Monk, D., 1976, Mathematical Logic, Berlin: Springer."},{"key":"125686_CR28","volume-title":"Programming in Martin-L\u00f6f\u2019s Type Theory","author":"B. Nordstr\u00f6m","year":"1990","unstructured":"Nordstr\u00f6m, B., Petterson, K., and Smith, J.M., 1990, Programming in Martin-L\u00f6f\u2019s Type Theory, Oxford: Clarendon Press."},{"key":"125686_CR29","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-0834-8","volume-title":"Kant and Contemporary Epistemology","author":"P. Parrini","year":"1994","unstructured":"Parrini, P., 1994, Kant and Contemporary Epistemology, Dordrecht: Kluwer."},{"key":"125686_CR30","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1016\/S0049-237X(08)70849-8","volume-title":"Proceedings of the Second Scandinavian Logic Symposium","author":"D. Prawitz","year":"1971","unstructured":"Prawitz, D., 1971, \"Ideas and results in proof theory,\" pp. 235\u2013307 in Proceedings of the Second Scandinavian Logic Symposium, J.E. Fenstad, ed., Amsterdam: North-Holland."},{"key":"125686_CR31","unstructured":"Prawitz, D., 1965, Natural Deduction, Almqvist och Wiksell, Stockholm."},{"key":"125686_CR32","doi-asserted-by":"crossref","unstructured":"Quine, W.V., 1958, \"Speaking of objects,\" pp. 1\u201325 W.V. Quine (1968). Originally published in Proceedings and Adresses of the American Philosophical Association\n31","DOI":"10.2307\/3129242"},{"key":"125686_CR33","volume-title":"Ontological Relativity and Other Essays","author":"W.V. Quine","year":"1968","unstructured":"Quine, W.V., 1968, Ontological Relativity and Other Essays, New York: Columbia University Press."},{"key":"125686_CR34","volume-title":"Type-Theoretical Grammar","author":"A. Ranta","year":"1994","unstructured":"Ranta, A., 1994, Type-Theoretical Grammar, Oxford: Clarendon."},{"key":"125686_CR35","volume-title":"The Foundational Debate: Complexity and Constructivity in Mathematics and Physics","year":"1995","unstructured":"Schimanovich, W., De Pauli, K\u00f6hler, E., and Stadler, F., eds., 1995, The Foundational Debate: Complexity and Constructivity in Mathematics and Physics, Dordrecht: Kluwer."},{"key":"125686_CR36","unstructured":"Schr\u00f6der-Heister, P., 1981, \"Untersuchungen zur regellogischen Deutung von Aussagenverkn\u00fcpfungen,\" Dissertation, Bonn."},{"key":"125686_CR37","volume-title":"To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism","year":"1980","unstructured":"Seldin, J. and Hindley, R., eds., 1980, To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, London: Academic Press."},{"key":"125686_CR38","volume-title":"Intensional Mathematics","year":"1985","unstructured":"Shapiro, S., ed., 1985a, Intensional Mathematics, Amsterdam: North-Holland."},{"key":"125686_CR39","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1016\/S0049-237X(08)70138-1","volume-title":"Intensional Mathematics","author":"S. Shapiro","year":"1985","unstructured":"Shapiro, S., 1985b, \"Epistemic and intuitionistic arithemetic\" pp. 11\u201345 in Intensional Mathematics, S. Shapiro, ed., Amsterdam: North-Holland."},{"key":"125686_CR40","volume-title":"Wittgenstein\u2019s Tractatus","author":"E. Stenius","year":"1960","unstructured":"Stenius, E., 1960, Wittgenstein\u2019s Tractatus, Oxford: Basil Blackwell."},{"key":"125686_CR41","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1007\/BF00247187","volume":"12","author":"B.G. Sundholm","year":"1983","unstructured":"Sundholm, B.G., 1983, \"Constructions, proofs and the meaning of the logical constants,\" Journal of Philosophical Logic\n12, 151\u2013172.","journal-title":"Journal of Philosophical Logic"},{"key":"125686_CR42","volume-title":"Handbook of Philosophical Logic","author":"B.G. Sundholm","year":"1986","unstructured":"Sundholm, B.G., 1986, \"Proof theory and meaning,\" in Handbook of Philosophical Logic, Vol. III, Chapter III:8, D. Gabbay and F. Guenthner, eds., Dordrecht: Reidel."},{"key":"125686_CR43","first-page":"47","volume":"16","author":"B.G. Sundholm","year":"1993","unstructured":"Sundholm, B.G., 1993, \"Questions of proof,\" Manuscrito(Campinas) 16, 47\u201370.","journal-title":"Manuscrito"},{"key":"125686_CR44","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1007\/BF00763510","volume":"13","author":"B.G. Sundholm","year":"1994","unstructured":"Sundholm, B.G., 1994a, \"Existence, proof and truth-making: A perspective on the intuitionisitc conception of truth,\" TOPOI\n13, 117\u2013126.","journal-title":"TOPOI"},{"key":"125686_CR45","doi-asserted-by":"crossref","first-page":"294","DOI":"10.5840\/monist199477315","volume":"77","author":"B.G. Sundholm","year":"1994","unstructured":"Sundholm, B.G., 1994b, \u2019Proof-theoretical semantics and Fregean identity-criteria for propositions,\" The Monist\n77, 294\u2013314.","journal-title":"The Monist"},{"key":"125686_CR46","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1080\/01445348808837126","volume":"9","author":"C. Thiel","year":"1988","unstructured":"Thiel, C., 1988, \"Die Kontroverse um die intuitionistische Logik vor ihre Axiomatisierung durch Heyting im Jahre 1930,\" History and Philosophy of Logic\n9, 67\u201375.","journal-title":"History and Philosophy of Logic"},{"key":"125686_CR47","volume-title":"Constructivism in Mathematics","author":"A.S. Troelstra","year":"1988","unstructured":"Troelstra, A.S. and van Dalen, D., 1988, Constructivism in Mathematics, Vols. I, II, Amsterdam: North-Holland."},{"key":"125686_CR48","volume-title":"Principia Mathematica","author":"A.N. Whitehead","year":"1910","unstructured":"Whitehead, A.N. and Russell, B., 1910, Principia Mathematica, Vol. I, Cambridge: Cambridge University Press."},{"key":"125686_CR49","volume-title":"Tractatus Logico-Philosophicus","author":"L. Wittgenstein","year":"1922","unstructured":"Wittgenstein, L., 1922, Tractatus Logico-Philosophicus, London: Routledge and Kegan Paul."}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008266418092.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008266418092\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008266418092.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T10:24:24Z","timestamp":1749723864000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008266418092"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,4]]},"references-count":49,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1997,4]]}},"alternative-id":["125686"],"URL":"https:\/\/doi.org\/10.1023\/a:1008266418092","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"value":"0925-8531","type":"print"},{"value":"1572-9583","type":"electronic"}],"subject":[],"published":{"date-parts":[[1997,4]]}}}