{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:27:59Z","timestamp":1761611279008},"reference-count":13,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2011,3,29]],"date-time":"2011-03-29T00:00:00Z","timestamp":1301356800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2012,8]]},"DOI":"10.1007\/s11229-011-9907-7","type":"journal-article","created":{"date-parts":[[2011,3,28]],"date-time":"2011-03-28T09:11:02Z","timestamp":1301303462000},"page":"887-898","source":"Crossref","is-referenced-by-count":42,"title":["The epistemic significance of valid inference"],"prefix":"10.1007","volume":"187","author":[{"given":"Dag","family":"Prawitz","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,3,29]]},"reference":[{"key":"9907_CR1","volume-title":"Meaning and argument, a theory of meaning centred on immediate argumental role","author":"C. Cozzo","year":"1994","unstructured":"Cozzo C. (1994) Meaning and argument, a theory of meaning centred on immediate argumental role. Almqvist and Wiksell International, Stockholm"},{"key":"9907_CR2","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1111\/j.1755-2567.2008.00026.x","volume":"74","author":"C. Cozzo","year":"2008","unstructured":"Cozzo C. (2008) On the Copernican turn in semantics. Theoria 74: 295\u2013317","journal-title":"Theoria"},{"key":"9907_CR3","volume-title":"Mathematisch Grundlagenforschung, Intuitionismus, Beweistheorie","author":"A. Heyting","year":"1934","unstructured":"Heyting A. (1934) Mathematisch Grundlagenforschung, Intuitionismus, Beweistheorie. Springer, Berlin"},{"key":"9907_CR4","first-page":"479","volume-title":"To H.B. Curry: Essays on combinatory logic, lambda calculus and formalism","author":"W. Howard","year":"1980","unstructured":"Howard W. (1980) The formula-as-types notion of construction. In: Seldin J. (eds) To H.B. Curry: Essays on combinatory logic, lambda calculus and formalism. Academic Press, London, pp 479\u2013490"},{"key":"9907_CR5","volume-title":"Intuitionistic type theory","author":"P. Martin-L\u00f6f","year":"1984","unstructured":"Martin-L\u00f6f P. (1984) Intuitionistic type theory. Bibliopolis, Napoli"},{"key":"9907_CR6","unstructured":"Martin-L\u00f6f, P. (1985). On the meanings of the logical constants and the justifications of the logical laws. In Atti degli Incontri di Logica Matematica: Scuola di Specializzazione in Logica Matematica (Vol. 2, pp. 203\u2013281). Italy: Dipartimento di Matematica, Universit\u00e0 di Siena. Republished in Nordic Journal of Philosophical Logic, 1, 11\u201360 (1996)."},{"key":"9907_CR7","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) Analytical and synthetic judgements in type theory. In: Parrini P. (eds) Kant and contemporary epistemology. Kluwer Academic Publishers, Dordrecht, pp 87\u201399"},{"key":"9907_CR8","unstructured":"Prawitz, D. (1965). Natural deduction, a proof-theoretical study. Stockholm: Almqvist and Wiksell. Reprinted by Dover Publications, New York, 2005."},{"key":"9907_CR9","unstructured":"Prawitz, D. (1970). Constructive semantics. In Proceedings of the 1st Scandinavian logic symposium \u00c5bo 1968 (pp. 96\u2013114). Uppsala: Filosofiska F\u00f6reningen och Filosofiska Institutionen vid Uppsala Universitet."},{"key":"9907_CR10","first-page":"175","volume-title":"The logica yearbook 2008","author":"D. Prawitz","year":"2009","unstructured":"Prawitz D. (2009) Inference and knowledge. In: Pelis M. (eds) The logica yearbook 2008. College Publications, King\u2019s College London, London, pp 175\u2013192"},{"key":"9907_CR11","unstructured":"Prawitz, D. (2012). Validity of Inference. In Proceedings from the 2nd launer symposium on the occasion of the presentation of the launer prize at Bern 2006 (to appear)."},{"key":"9907_CR12","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1023\/A:1008266418092","volume":"6","author":"G. Sundholm","year":"1997","unstructured":"Sundholm G. (1997) Implicit epistemic aspects of constructive logic. Journal of Logic, Language, and Information 6: 191\u2013212","journal-title":"Journal of Logic, Language, and Information"},{"key":"9907_CR13","first-page":"26","volume-title":"The logica yearbook 1997","author":"G. Sundholm","year":"1998","unstructured":"Sundholm G. (1998) Inference versus consequence. In: Childers T. (eds) The logica yearbook 1997. Filosofia, Academy of Sciences of the Czech Republic. Reprinted with an afterword in this volume, Prague, pp 26\u201335"}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-011-9907-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11229-011-9907-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-011-9907-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T10:36:49Z","timestamp":1559385409000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-011-9907-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,3,29]]},"references-count":13,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2012,8]]}},"alternative-id":["9907"],"URL":"https:\/\/doi.org\/10.1007\/s11229-011-9907-7","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,3,29]]}}}