{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T01:41:58Z","timestamp":1743039718743,"version":"3.40.3"},"publisher-location":"Cham","reference-count":8,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319255903"},{"type":"electronic","value":"9783319255910"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-25591-0_40","type":"book-chapter","created":{"date-parts":[[2015,12,14]],"date-time":"2015-12-14T15:55:51Z","timestamp":1450108551000},"page":"506-512","source":"Crossref","is-referenced-by-count":1,"title":["Modelling Equivalent Definitions of Concepts"],"prefix":"10.1007","author":[{"given":"Daniele","family":"Porello","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,12,15]]},"reference":[{"key":"40_CR1","doi-asserted-by":"crossref","unstructured":"Kalyvianaki, E., Moschovakis, Y.N.: Two aspects of situated meaning. In: Logics for Linguistic Structures, pp. 57\u201386. Mouton de Gruyter (2008)","DOI":"10.1515\/9783110211788.57"},{"key":"40_CR2","unstructured":"Masolo, C., Vieu, L., Bottazzi, E., Catenacci, C., Ferrario, R., Gangemi, A., Guarino, N.: Social roles and their descriptions. In: Proceedings of the 6th International Conference on the Principles of Knowledge Representation and Reasoning (KR-2004), pp. 267\u2013277 (2004)"},{"key":"40_CR3","doi-asserted-by":"crossref","unstructured":"Montague, R.: The proper treatment of quntification in ordinary english. In: Formal Semantics: The Essential Readings, pp. 17\u201334, Blackwell, Oxford (1973, 2008)","DOI":"10.1002\/9780470758335.ch1"},{"key":"40_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/978-3-642-31555-8_2","volume-title":"The Logic of Categorial Grammars","author":"Richard Moot","year":"2012","unstructured":"Moot, Richard, Retor\u00e9, Christian: A logic for categorial grammars: lambek\u2019s syntactic calculus. In: Moot, Richard, Retor\u00e9, Christian (eds.) The Logic of Categorial Grammars. LNCS, vol. 6850, pp. 23\u201363. Springer, Heidelberg (2012)"},{"key":"40_CR5","doi-asserted-by":"crossref","unstructured":"Moschovakis, Y.N.: Sense and denotation as algorithm and value. In: Oikkonen, J., V\u00e4\u00e4n\u00e4nen, J. (eds.) Logic Colloquium \u201990: ASL Summer Meeting in Helsinki, vol. 2, pp. 210\u2013249. Springer, Heidelberg (1993)","DOI":"10.1017\/9781316718254.015"},{"key":"40_CR6","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1007\/s10988-005-6920-7","volume":"29","author":"YN Moschovakis","year":"2006","unstructured":"Moschovakis, Y.N.: A logical calculus of meaning and synonymy. Linguist. Philos. 29, 27\u201389 (2006)","journal-title":"Linguist. Philos."},{"key":"40_CR7","volume-title":"A logic of meaning and synonymy: Course notes","author":"YN Moschovakis","year":"2010","unstructured":"Moschovakis, Y.N.: A logic of meaning and synonymy: Course notes. ESSLLI, Copenhagen (2010)"},{"key":"40_CR8","unstructured":"Penco, C., Porello, D.: Sense as proof. In: New Essays in Logic and Philosophy. College Publications, London (2010)"}],"container-title":["Lecture Notes in Computer Science","Modeling and Using Context"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-25591-0_40","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,16]],"date-time":"2023-08-16T04:35:32Z","timestamp":1692160532000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-25591-0_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319255903","9783319255910"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-25591-0_40","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}