{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:27:11Z","timestamp":1742912831363,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642022609"},{"type":"electronic","value":"9783642022616"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-02261-6_20","type":"book-chapter","created":{"date-parts":[[2009,6,6]],"date-time":"2009-06-06T00:28:49Z","timestamp":1244248129000},"page":"242-255","source":"Crossref","is-referenced-by-count":5,"title":["Ludics and Its Applications to Natural Language Semantics"],"prefix":"10.1007","author":[{"given":"Alain","family":"Lecomte","sequence":"first","affiliation":[]},{"given":"Myriam","family":"Quatrini","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"20_CR1","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1093\/logcom\/2.3.297","volume":"2, 3","author":"J.-M. Andr\u00e9oli","year":"1992","unstructured":"Andr\u00e9oli, J.-M.: Logic Programming with Focusing Proofs in Linear Logic. The Journal of Logic and Computation\u00a02, 3, 297\u2013347 (1992)","journal-title":"The Journal of Logic and Computation"},{"unstructured":"Curien, P.-L.: Introduction to linear logic and ludics, part I and II, to appear, \n                    \n                      http:\/\/www.pps.jussieu.fr\/~curien\/LL-ludintroI.pdf","key":"20_CR2"},{"unstructured":"Ducrot, O.: Le dire et le dit, Editions de Minuit, Paris (1984)","key":"20_CR3"},{"doi-asserted-by":"crossref","unstructured":"Fleury, M.-R., Quatrini, M.: First order in Ludics. Mathematical Structures in Computer Science\u00a014(2), 189\u2013213","key":"20_CR4","DOI":"10.1017\/S0960129503004134"},{"unstructured":"Girard, J.-Y.: On the Meaning of Logical Rules-I in Computational Logic. In: Berger, U., Schwichtenberg, H. (eds.). Springer, Heidelberg (1999)","key":"20_CR5"},{"key":"20_CR6","first-page":"301","volume":"11","author":"J.-Y. Girard","year":"2001","unstructured":"Girard, J.-Y.: Locus Solum Mathematical Structures in Computer. Science\u00a011, 301\u2013506 (2001)","journal-title":"Science"},{"key":"20_CR7","doi-asserted-by":"publisher","first-page":"131","DOI":"10.2178\/bsl\/1052669286","volume":"09","author":"J.-Y. Girard","year":"2003","unstructured":"Girard, J.-Y.: From Foundations to Ludics. Bulletin of Symbolic Logic\u00a009, 131\u2013168 (2003)","journal-title":"Bulletin of Symbolic Logic"},{"key":"20_CR8","volume-title":"Le Point Aveugle","author":"J.-Y. Girard","year":"2006","unstructured":"Girard, J.-Y.: Le Point Aveugle, vol.\u00a0I, II. Hermann, Paris (2006)"},{"unstructured":"Hamblin Fallacies, C.-L.: Vale Press, Newport News (republished, 2004)","key":"20_CR9"},{"doi-asserted-by":"crossref","unstructured":"Hintikka, J., Kulas, J.: The Game of Language: Studies in Game Theoretical Semantics and its Applications. D. Reidel (1983)","key":"20_CR10","DOI":"10.1007\/978-94-010-9847-2"},{"key":"20_CR11","volume-title":"Handbook of Logic and Language","author":"J. Hintikka","year":"1997","unstructured":"Hintikka, J., Sandu, G.: Game Theoretical Semantics. In: Van Benthem, J., ter Meulen, A. (eds.) Handbook of Logic and Language, ch.\u00a06, Elsevier, Amsterdam (1997)"},{"unstructured":"Martin-L\u00f6f, P.: Intuitionistic Type Theory, Bibliopolis, Naples (1984)","key":"20_CR12"},{"key":"20_CR13","doi-asserted-by":"publisher","DOI":"10.1163\/9780080548524","volume-title":"Game Theory and Linguistic Meaning","author":"A.-V. Pietarinen","year":"2007","unstructured":"Pietarinen, A.-V.: Game Theory and Linguistic Meaning. Elsevier, Amsterdam (2007)"},{"key":"20_CR14","volume-title":"Type-Theoretical Grammar","author":"A. Ranta","year":"1994","unstructured":"Ranta, A.: Type-Theoretical Grammar. Oxford University Press, Oxford (1994)"},{"unstructured":"Schopenhauer, A.: The Art of Always Being Right","key":"20_CR15"},{"key":"20_CR16","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1007\/978-94-009-5203-4_8","volume-title":"Handbook of Philosophical Logic","author":"G. Sundholm","year":"1986","unstructured":"Sundholm, G.: Proof Theory and Meaning. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol.\u00a0III, pp. 471\u2013506. D. Reidel, Dordrechtz (1986)"},{"unstructured":"Tron\u00e7on, S.: Dynamique des d\u00e9monstrations et th\u00e9orie de l\u2019interaction, PhD thesis, Universit\u00e9 d\u2019Aix-Marseille (2006)","key":"20_CR17"},{"key":"20_CR18","volume-title":"Philosophische Untersuchungen","author":"L. Wittgenstein","year":"1953","unstructured":"Wittgenstein, L.: Philosophische Untersuchungen. Blackwell, Malden (1953)"}],"container-title":["Lecture Notes in Computer Science","Logic, Language, Information and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02261-6_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T12:22:43Z","timestamp":1558268563000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02261-6_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642022609","9783642022616"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02261-6_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}