{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,27]],"date-time":"2026-03-27T19:25:26Z","timestamp":1774639526980,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540637004","type":"print"},{"value":"9783540696315","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0052155","type":"book-chapter","created":{"date-parts":[[2006,6,7]],"date-time":"2006-06-07T04:43:12Z","timestamp":1149655392000},"page":"134-148","source":"Crossref","is-referenced-by-count":2,"title":["Vagueness and type theory"],"prefix":"10.1007","author":[{"given":"Pascal","family":"Boldini","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,16]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"L. Carroll. What the tortoise said to achilles. Mind, 4, 1895.","DOI":"10.1093\/mind\/IV.14.278"},{"key":"8_CR2","unstructured":"M. Dummet. What is a theory of meaning ? In Evans and McDowell, editors, Truth and Meaning, pages 67\u2013197. Oxford University Press, 1976."},{"key":"8_CR3","volume-title":"Truth and Other Enigmas","author":"M. Dummet","year":"1978","unstructured":"M. Dummet. Truth and Other Enigmas. Duckworth, London, 1978."},{"key":"8_CR4","unstructured":"P. Engel. The norm of truth, an introduction to the philosophy of logic. Harvester Wheatsheaf. Hemel Hempstead, 1991."},{"key":"8_CR5","unstructured":"J. Goguen. The logic of inexacts concepts. Synthese, 1967."},{"key":"8_CR6","unstructured":"P. Martin-L\u00f6f. Intuitionistic type theory. Bibliopolis, 1984."},{"key":"8_CR7","unstructured":"P. Martin-L\u00f6f. On the meanings of the logical constants and the justifications of the logical laws. In Atti degli incontri di logica mathematica, volume 2, pages 203\u2013281. Universit\u00e0 di Siena, 1985."},{"key":"8_CR8","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1007\/BF00869607","volume":"76","author":"A. Ranta","year":"1988","unstructured":"A. Ranta. Propositions as games as types. Synthese, 76:377\u2013395, 1988.","journal-title":"Synthese"},{"key":"8_CR9","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/BF00627403","volume":"14","author":"A. Ranta","year":"1991","unstructured":"A. Ranta. Intuitionistic categorial grammar. Linguistics and Philosophy, 14:203\u2013239, 1991.","journal-title":"Linguistics and Philosophy"},{"key":"8_CR10","volume-title":"Type-theoretical grammar","author":"A. Ranta","year":"1994","unstructured":"A. Ranta. Type-theoretical grammar. Clarendon, Oxford, 1994."},{"key":"8_CR11","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1007\/BF00873255","volume":"79","author":"S. Shapiro","year":"1989","unstructured":"S. Shapiro. Logic, ontology, mathematical practice. Synthese, 79:13\u201350, 1989.","journal-title":"Synthese"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"G. Sundholm. Proof theory and meaning. In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, volume 3. D. Reidel, 1986.","DOI":"10.1007\/978-94-009-5203-4_8"},{"key":"8_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF00873254","volume":"79","author":"G. Sundholm","year":"1989","unstructured":"G. Sundholm. Constructive generalized quantifiers. Synthese, 79:1\u201312, 1989.","journal-title":"Synthese"},{"issue":"3","key":"8_CR14","doi-asserted-by":"crossref","first-page":"294","DOI":"10.5840\/monist199477315","volume":"77","author":"G. Sundholm","year":"1994","unstructured":"G. Sundholm. Proof-theoretical semantics and fregean identity criteria for propositions. The Monist, 77(3):294\u2013314, 1994.","journal-title":"The Monist"}],"container-title":["Lecture Notes in Computer Science","Logical Aspects of Computational Linguistics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0052155","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,10]],"date-time":"2019-02-10T21:59:26Z","timestamp":1549835966000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0052155"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540637004","9783540696315"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/bfb0052155","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1997]]}}}