{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:28:04Z","timestamp":1761611284225},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642222207"},{"type":"electronic","value":"9783642222214"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-22221-4_14","type":"book-chapter","created":{"date-parts":[[2011,6,25]],"date-time":"2011-06-25T18:27:18Z","timestamp":1309026438000},"page":"205-218","source":"Crossref","is-referenced-by-count":3,"title":["Are (Linguists\u2019) Propositions (Topos) Propositions?"],"prefix":"10.1007","author":[{"given":"Carl","family":"Pollard","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","doi-asserted-by":"publisher","first-page":"211","DOI":"10.2307\/2214751","volume":"8","author":"R. Adams","year":"1974","unstructured":"Adams, R.: Theories of actuality. No\u00fbs\u00a08, 211\u2013231 (1974)","journal-title":"No\u00fbs"},{"key":"14_CR2","volume-title":"Meaning and Necessity","author":"R. Carnap","year":"1947","unstructured":"Carnap, R.: Meaning and Necessity. University of Chicago Press, Chicago (1947)"},{"key":"14_CR3","first-page":"1","volume":"1","author":"K. Ajdukiewicz","year":"1935","unstructured":"Ajdukiewicz, K.: Die syntaktische Konnexita \u0308t. Studia Philosophica\u00a01, 1\u201327 (1935); English translation in McCall, S. (ed.) Polish Logic, 1920-1939, 207\u2013231. Oxford University Press, Oxford","journal-title":"Studia Philosophica"},{"key":"14_CR4","doi-asserted-by":"publisher","first-page":"47","DOI":"10.2307\/410452","volume":"29","author":"Y. Bar-Hillel","year":"1953","unstructured":"Bar-Hillel, Y.: A quasi-arithmetical notation for syntactic description. Language\u00a029, 47\u201358 (1953)","journal-title":"Language"},{"key":"14_CR5","doi-asserted-by":"publisher","first-page":"56","DOI":"10.2307\/2266170","volume":"5","author":"A. Church","year":"1940","unstructured":"Church, A.: A formulation of the simple theory of types. Journal of Symbolic Logic\u00a05, 56\u201368 (1940)","journal-title":"Journal of Symbolic Logic"},{"key":"14_CR6","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/BF02314421","volume":"34","author":"M.J. Cresswell","year":"1975","unstructured":"Cresswell, M.J.: Hyperintensional logic. Studia Logica\u00a034, 25\u201348 (1975)","journal-title":"Studia Logica"},{"key":"14_CR7","first-page":"176","volume":"51","author":"R. Diaconescu","year":"1975","unstructured":"Diaconescu, R.: Axiom of choice and complementation. Proc.\u00a0Amer.\u00a0Math.\u00a0Soc.\u00a051, 176\u2013178 (1975)","journal-title":"Proc.\u00a0Amer.\u00a0Math.\u00a0Soc."},{"key":"14_CR8","unstructured":"Fox, C., Lappin, S., Pollard, C.: A higher-order fine-grained logic for intensional semantics. In: Proceedings of the Seventh International Symposium on Logic and Language, P\u00e9cs, Hungary, pp. 37\u201346 (2002)"},{"key":"14_CR9","first-page":"56","volume-title":"Translations from the Philosophical Writings of Gottlob Frege","author":"G. Frege","year":"1980","unstructured":"Frege, G.: On sense and reference. In: Geach, P., Black, M. (eds.) Translations from the Philosophical Writings of Gottlob Frege, 3rd edn., pp. 56\u201378. Basil Blackwell, Oxford (1980)","edition":"3"},{"key":"14_CR10","volume-title":"Intensional and Higher Order Modal Logic","author":"D. Gallin","year":"1975","unstructured":"Gallin, D.: Intensional and Higher Order Modal Logic. North-Holland, Amsterdam (1975)"},{"key":"14_CR11","volume-title":"Topoi: the categorial analysis of logic","author":"R. Goldblatt","year":"1983","unstructured":"Goldblatt, R.: Topoi: the categorial analysis of logic. North-Holland, Amsterdam (1983)"},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"de Groote, P.: Toward abstract categorial grammars. In: Proceedings of the 39th Annual Meeting and 10th Conference of the European Chapter of the Association for Computational Linguistics, pp. 148\u2013155 (2001)","DOI":"10.3115\/1073012.1073045"},{"key":"14_CR13","doi-asserted-by":"publisher","first-page":"81","DOI":"10.2307\/2266967","volume":"15","author":"L. Henkin","year":"1950","unstructured":"Henkin, L.: Completeness in the theory of types. Journal of Symbolic Logic\u00a015, 81\u201391 (1950)","journal-title":"Journal of Symbolic Logic"},{"key":"14_CR14","volume-title":"Stone Spaces","author":"P. Johnstone","year":"1982","unstructured":"Johnstone, P.: Stone Spaces. Cambridge University Press, Cambridge (1982)"},{"issue":"4","key":"14_CR15","doi-asserted-by":"publisher","first-page":"891","DOI":"10.2307\/2372123","volume":"73","author":"B. J\u00f3nsson","year":"1951","unstructured":"J\u00f3nsson, B., Tarski, A.: Boolean algebras with operators, part 1. American Journal of Mathematics\u00a073(4), 891\u2013939 (1951)","journal-title":"American Journal of Mathematics"},{"key":"14_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/2964568","volume":"24","author":"S. Kripke","year":"1959","unstructured":"Kripke, S.: A completeness theorem in modal logic. Journal of Symbolic Logic\u00a024, 1\u201314 (1959)","journal-title":"Journal of Symbolic Logic"},{"key":"14_CR17","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1002\/malq.19630090502","volume":"9","author":"S. Kripke","year":"1963","unstructured":"Kripke, S.: Semantic analysis of modal logic I: normal modal propositional calculi. Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik\u00a09, 67\u201396 (1963)","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"key":"14_CR18","doi-asserted-by":"publisher","first-page":"154","DOI":"10.2307\/2310058","volume":"65","author":"J. Lambek","year":"1958","unstructured":"Lambek, J.: The Mathematics of sentence structure. American Mathematical Monthly\u00a065, 154\u2013170 (1958)","journal-title":"American Mathematical Monthly"},{"key":"14_CR19","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/BF01703261","volume":"2","author":"J. Lambek","year":"1968","unstructured":"Lambek, J.: Deductive systems and categories I: Syntactic calculus and residuated categories. Mathematical Systems Theory\u00a02, 287\u2013318 (1968)","journal-title":"Mathematical Systems Theory"},{"key":"14_CR20","doi-asserted-by":"crossref","unstructured":"Lambek, J.: Deductive systems and categories II: Standard constructions and closed categories. In: Dold, A., Eckmann, B. (eds.) Category Theory, Homology Theory, and their Applications. Springer Lecture Notes in Mathematics, vol.\u00a086, pp. 76\u2013122 (1969)","DOI":"10.1007\/BFb0079385"},{"key":"14_CR21","first-page":"375","volume-title":"To H.B. Curry: Essays on Combinatorial Logic, Lambda Calculus, and Formalism","author":"J. Lambek","year":"1980","unstructured":"Lambek, J.: From \u03bb-calculus to cartesian closed categories. In: Hindley, J., Seldin, J. (eds.) To H.B. Curry: Essays on Combinatorial Logic, Lambda Calculus, and Formalism, pp. 375\u2013402. Academic Press, New York (1980)"},{"key":"14_CR22","volume-title":"Categorial Grammars and Natural Language Structures","author":"J. Lambek","year":"1988","unstructured":"Lambek, J.: Categorial and categorical grammars. In: Oehrle, R., Bach, E., Wheeler, D. (eds.) Categorial Grammars and Natural Language Structures. Reidel, Dordrecht (1988)"},{"key":"14_CR23","volume-title":"Introduction to Higher Order Categorical Logic","author":"J. Lambek","year":"1986","unstructured":"Lambek, J., Scott, P.J.: Introduction to Higher Order Categorical Logic. Cambridge University Press, Cambridge (1986)"},{"key":"14_CR24","unstructured":"Martin, S., Pollard, C.: Dynamic hyperintensional semantics: enriching contexts for type-theoretic discourse analysis. In: 15th International Conference on Formal Grammar (FG 2010), Copenhagen. Springer Lecture Notes in Artificial Intelligence, (August 2010) (in press)"},{"key":"14_CR25","unstructured":"Martin, S., Pollard, C.: Under revision. A higher-order theory of presupposition. To appear in Special Issue of Studia Logica on Logic and Natural language"},{"key":"14_CR26","first-page":"247","volume-title":"Formal Philosophy: Selected Papers of Richard Montague","author":"R. Montague","year":"1974","unstructured":"Montague, R.: The proper treatment of quantification in English. In: Thomason, R. (ed.) Formal Philosophy: Selected Papers of Richard Montague, pp. 247\u2013270. Yale University Press, New Haven (1974)"},{"issue":"4","key":"14_CR27","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1007\/s10988-004-7684-1","volume":"28","author":"R. Muskens","year":"2005","unstructured":"Muskens, R.: Sense and the computation of reference. Linguistics and Philosophy\u00a028(4), 473\u2013504 (2005)","journal-title":"Linguistics and Philosophy"},{"issue":"2","key":"14_CR28","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1093\/logcom\/exm003","volume":"18","author":"C. Pollard","year":"2008","unstructured":"Pollard, C.: Hyperintensions. Journal of Logic and Computation\u00a018(2), 257\u2013282 (2008)","journal-title":"Journal of Logic and Computation"},{"key":"14_CR29","unstructured":"Pollard, C.: Remarks on categorical semantics of natural language. Invited talk presented at the Workshop on Logic, Categories, and Semantics, Bordeaux (November 2010), http:\/\/www.ling.ohio-state.edu\/~pollard\/lcs\/remarks.pdf"},{"key":"14_CR30","volume-title":"Inquiry","author":"R. Stalnaker","year":"1984","unstructured":"Stalnaker, R.: Inquiry. Bradford Books\/MIT Press, Cambridge, MA (1984)"},{"key":"14_CR31","first-page":"37","volume":"40","author":"M. Stone","year":"1936","unstructured":"Stone, M.: The theory of representation for boolean algebras. Transactions of the American Mathematical Society\u00a040, 37\u2013111 (1936)","journal-title":"Transactions of the American Mathematical Society"},{"key":"14_CR32","first-page":"1","volume":"67","author":"M. Stone","year":"1937","unstructured":"Stone, M.: Topological representation of distributive lattices and Brouwerian logics. \u010casopis pe\u0161t.\u00a0mat.\u00a0fys.\u00a067, 1\u201325 (1937)","journal-title":"\u010casopis pe\u0161t.\u00a0mat.\u00a0fys."},{"key":"14_CR33","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/BF00351813","volume":"4","author":"R. Thomason","year":"1980","unstructured":"Thomason, R.: A model theory for propositional attitudes. Linguistics and Philosophy\u00a04, 47\u201370 (1980)","journal-title":"Linguistics and Philosophy"}],"container-title":["Lecture Notes in Computer Science","Logical Aspects of Computational Linguistics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-22221-4_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,12]],"date-time":"2019-06-12T09:29:29Z","timestamp":1560331769000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22221-4_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642222207","9783642222214"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22221-4_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}