{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T01:23:02Z","timestamp":1755220982385,"version":"3.43.0"},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2002,9,1]],"date-time":"2002-09-01T00:00:00Z","timestamp":1030838400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2002,9,1]],"date-time":"2002-09-01T00:00:00Z","timestamp":1030838400000},"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":["Synthese"],"published-print":{"date-parts":[[2002,9]]},"DOI":"10.1023\/a:1020332703930","type":"journal-article","created":{"date-parts":[[2003,3,15]],"date-time":"2003-03-15T08:44:30Z","timestamp":1047717870000},"page":"213-237","source":"Crossref","is-referenced-by-count":13,"title":["Feasibility In Logic"],"prefix":"10.1007","volume":"132","author":[{"given":"Jacques","family":"Dubucs","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"5087092_CR1","first-page":"107","volume-title":"L. E. J. Brouwer, Collected Works. I. Philosophy and Foundations of Mathematics","author":"L. E. J. Brouwer","year":"1908","unstructured":"Brouwer, L. E. J.: 1908, \u2018De onbetrouwbaarheid der logische principes\u2019, Engl. transl. \u00abThe Unreliability of the Logical Principles\u00bb, in E. Heyting (ed.), L. E. J. Brouwer, Collected Works. I. Philosophy and Foundations of Mathematics, North-Holland, Amsterdam (1980), pp. 107\u2013111."},{"key":"5087092_CR2","volume-title":"Introduction to Mathematical Logic","author":"A. Church","year":"1956","unstructured":"Church, A.: 1956, Introduction to Mathematical Logic, Princeton University Press, Princeton, 6th edn (1970).","edition":"6th edn"},{"key":"5087092_CR3","volume-title":"Proof and Know-ledge in Mathematics","author":"M. Detlefsen","year":"1992","unstructured":"Detlefsen, M.: 1992, \u2018Brouwerian Intuitionism\u2019, in M. Detlefsen (ed.), Proof and Know-ledge in Mathematics, Routledge, London and New York."},{"key":"5087092_CR4","doi-asserted-by":"crossref","first-page":"362","DOI":"10.1305\/ndjfl\/1093635154","volume":"30","author":"K. Dosen","year":"1989","unstructured":"Dosen, K.: 1989, \u2018Logical Constants as Punctuation Marks\u2019, Notre Dame Journal of Formal Logic\n30, 362\u2013379.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"5087092_CR5","volume-title":"The Seas of Language","author":"M. A. E. Dummett","year":"1993","unstructured":"Dummett, M. A. E.: 1993, The Seas of Language, Clarendon Press, Oxford."},{"key":"5087092_CR6","volume-title":"Truth and Other Enigmas","author":"M. A. E. Dummett","year":"1978","unstructured":"Dummett, M. A. E.: 1978, Truth and Other Enigmas, Duckworth, London."},{"key":"5087092_CR7","first-page":"132","volume-title":"The Collected Papers of Gerhard Gentzen","author":"G. Gentzen","year":"1936","unstructured":"Gentzen, G.: 1936, \u2018Die Widerspruchsfreiheit der reinen Zahlentheorie\u2019, Engl. transl. \u00ab The Consistency of Elementary Number Theory\u00bb, in M. E. Szabo (ed.), The Collected Papers of Gerhard Gentzen, North-Holland, Amsterdam (1969), pp. 132\u2013213."},{"key":"5087092_CR8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J. Y. Girard","year":"1987","unstructured":"Girard, J. Y.: 1987, \u2018Linear Logic\u2019, Theoretical Computer Science bf 50, 1\u2013102.","journal-title":"Theoretical Computer Science"},{"key":"5087092_CR9","volume-title":"Introduction to Automata Theory, Languages, and Computation","author":"J. E. Hopcroft","year":"1979","unstructured":"Hopcroft, J. E. and J. F. Ullman: 1979, Introduction to Automata Theory, Languages, and Computation, Addison-Wesley, Reading, MA."},{"key":"5087092_CR10","first-page":"414","volume-title":"From Frege to G\u00f6del","author":"A. N. Kolmogorov","year":"1925","unstructured":"Kolmogorov, A. N.: 1925, \u2018On the Principle of Excludded Middle\u2019, in J. van Heijenoort (ed.), From Frege to G\u00f6del, Harvard University Press, Cambridge, 2nd edn (1971), pp. 414\u2013437.","edition":"2nd edn"},{"key":"5087092_CR11","volume-title":"A Deduction Model of Belief","author":"K. Konolige","year":"1986","unstructured":"Konolige, K.: 1986, A Deduction Model of Belief, Morgan Kaufmann, Los Altos, CA."},{"key":"5087092_CR12","first-page":"19","volume-title":"Reference, Truth, and Reality","author":"C. McGinn","year":"1980","unstructured":"McGinn, C.: 1980, \u2018Truth and Use\u2019, in M. Platts (ed.), Reference, Truth, and Reality, Routledge & Kegan Paul, London, pp. 19\u201340."},{"key":"5087092_CR13","series-title":"Acta Stockholmiensis. Studies in Philosophy","volume-title":"Natural Deduction. A Proof-Theoretical Study","author":"D. Prawitz","year":"1965","unstructured":"Prawitz, D.: 1965, Natural Deduction. A Proof-Theoretical Study, Acta Stockholmiensis. Studies in Philosophy 3, Almqvist & Wiksell, Stockholm."},{"key":"5087092_CR14","volume-title":"Proceedings of the Second Scandinavian Logic Symposium","author":"Stockholm","year":"1975","unstructured":"Stockholm, Prawitz, D.: 1975, \u2018Ideas and Results in Proof Theory\u2019, in J. E. Fenstad (ed.), Proceedings of the Second Scandinavian Logic Symposium, North-Holland, Amsterdam."},{"key":"5087092_CR15","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1007\/BF00247187","volume":"12","author":"G. Sundholm","year":"1983","unstructured":"Sundholm, G.: 1983, \u2018Constructions, Proofs, and the Meaning of Logical Constants\u2019, Journal of Philosophical Logic\n12, 151\u2013172.","journal-title":"Journal of Philosophical Logic"},{"key":"5087092_CR16","volume-title":"Anti-Realism and Logic","author":"N. Tennant","year":"1987","unstructured":"Tennant, N.: 1987, Anti-Realism and Logic, Clarendon Press, Oxford."},{"key":"5087092_CR17","volume-title":"Wittgenstein on the Foundations of Mathematics","author":"C. Wright","year":"1980","unstructured":"Wright, C.: 1980, Wittgenstein on the Foundations of Mathematics, Londres, Duckworth, London."},{"key":"5087092_CR18","first-page":"209","volume-title":"Subject, Thought, and Context","author":"C. Wright","year":"1986","unstructured":"Wright, C.: 1986, \u2018A Cogent Argument Against Private Language?\u2019, in Ph. Pettit and J. McDowell (eds.), Subject, Thought, and Context, Clarendon Press, Oxford, pp. 209\u2013266."},{"key":"5087092_CR19","volume-title":"Realism, Meaning, and Truth","author":"C. Wright","year":"1987","unstructured":"Wright, C.: 1987, Realism, Meaning, and Truth, Basil Blackwell, Oxford."},{"key":"5087092_CR20","first-page":"85","volume":"41","author":"E. Zermelo","year":"1932","unstructured":"Zermelo, E.: 1932, \u2018\u00d1ber Stufen der Quantifikation und die Logik des Unendlichen\u2019, Jahresbericht der Deutschen Mathematiker-Vereinigung\n41, 85\u201388.","journal-title":"Jahresbericht der Deutschen Mathematiker-Vereinigung"}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1020332703930.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1020332703930\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1020332703930.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:59:05Z","timestamp":1754632745000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1020332703930"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,9]]},"references-count":20,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2002,9]]}},"alternative-id":["5087092"],"URL":"https:\/\/doi.org\/10.1023\/a:1020332703930","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"type":"print","value":"0039-7857"},{"type":"electronic","value":"1573-0964"}],"subject":[],"published":{"date-parts":[[2002,9]]}}}