{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:21:22Z","timestamp":1740122482471,"version":"3.37.3"},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2022,10,7]],"date-time":"2022-10-07T00:00:00Z","timestamp":1665100800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,10,7]],"date-time":"2022-10-07T00:00:00Z","timestamp":1665100800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/501100001824","name":"Grantov\u00e1 Agentura \u010cesk\u00e9 Republiky","doi-asserted-by":"publisher","award":["19-12420S"],"award-info":[{"award-number":["19-12420S"]}],"id":[{"id":"10.13039\/501100001824","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J of Log Lang and Inf"],"published-print":{"date-parts":[[2023,5]]},"DOI":"10.1007\/s10849-022-09383-w","type":"journal-article","created":{"date-parts":[[2022,10,7]],"date-time":"2022-10-07T01:15:20Z","timestamp":1665105320000},"page":"275-295","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Type Polymorphism, Natural Language Semantics, and TIL"],"prefix":"10.1007","volume":"32","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1965-2159","authenticated-orcid":false,"given":"Ivo","family":"Pezlar","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,10,7]]},"reference":[{"issue":"4","key":"9383_CR1","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1145\/6041.6042","volume":"17","author":"L Cardelli","year":"1985","unstructured":"Cardelli, L., & Wegner, P. (1985). On understanding types, data abstraction, and polymorphism. ACM Computing Surveys, 17(4), 471\u2013523. https:\/\/doi.org\/10.1145\/6041.6042","journal-title":"ACM Computing Surveys"},{"issue":"3","key":"9383_CR2","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1007\/BF00351458","volume":"5","author":"G Chierchia","year":"1982","unstructured":"Chierchia, G. (1982). Nominalization and Montague grammar: A semantics without types for natural languages. Linguistics and Philosophy, 5(3), 303\u2013354. https:\/\/doi.org\/10.1007\/BF00351458","journal-title":"Linguistics and Philosophy"},{"issue":"1","key":"9383_CR3","doi-asserted-by":"publisher","first-page":"100","DOI":"10.2307\/20023640","volume":"80","author":"A Church","year":"1951","unstructured":"Church, A. (1951). The need for abstract entities in semantic analysis. Proceedings of the American Academy of Arts and Sciences, 80(1), 100\u2013112.","journal-title":"Proceedings of the American Academy of Arts and Sciences"},{"key":"9383_CR4","unstructured":"Church, A. (1956). Introduction to mathematical logic. Princeton University Press."},{"key":"9383_CR5","unstructured":"Du\u017e\u00ed, M. (1993). Frege, notional attitudes, and the problem of polymorphism. In M. Stelzner & W. Stelzner (Eds.), Logik und mathematik Frege-Kolloquium Jena (pp. 314\u2013323). de Gruyter."},{"key":"9383_CR6","doi-asserted-by":"publisher","unstructured":"Du\u017e\u00ed, M., & Fait, M. (2019). Type checking algorithm for the TIL-Script language. In T. Endrjukaite, A. Dudko, H. Jaakkola, B. Thalheim, Y. Kiyoki, & N. Yoshida (Eds.), Information modelling and knowledge bases XXX, frontiers edn. IOS Press. https:\/\/doi.org\/10.3233\/978-1-61499-933-1-219","DOI":"10.3233\/978-1-61499-933-1-219"},{"key":"9383_CR7","unstructured":"Du\u017e\u00ed, M., & Hor\u00e1k, A. (2019). Hyperintensional reasoning based on natural language knowledge base. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems. http:\/\/arxiv.org\/abs\/1906.07562."},{"key":"9383_CR8","doi-asserted-by":"publisher","unstructured":"Du\u017e\u00ed, M., Jespersen, B., & Materna, P. (2010). Procedural semantics for hyperintensional logic: Foundations and applications of Transparent Intensional Logic. Springer. https:\/\/doi.org\/10.1007\/978-90-481-8812-3","DOI":"10.1007\/978-90-481-8812-3"},{"key":"9383_CR9","doi-asserted-by":"crossref","unstructured":"Fox, C., & Lappin, S. (2005). Foundations of intensional semantics. Blackwell.","DOI":"10.1002\/9780470773543"},{"key":"9383_CR10","unstructured":"Girard, J. Y. (1972). Interpr\u00e9tation fonctionnelle et \u00c9limination des coupure de l\u2019arithm\u00e9tique d\u2019ordre sup\u00e9rieur. Ph.D thesis, Universit\u00e9 Paris VII."},{"issue":"1","key":"9383_CR11","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/s10992-019-09514-y","volume":"49","author":"M Kosterec","year":"2020","unstructured":"Kosterec, M. (2020). Substitution contradiction, its resolution and the Church\u2013Rosser Theorem in TIL. Journal of Philosophical Logic, 49(1), 121\u2013133. https:\/\/doi.org\/10.1007\/s10992-019-09514-y","journal-title":"Journal of Philosophical Logic"},{"issue":"3","key":"9383_CR12","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/s11050-008-9031-5","volume":"16","author":"F Moltmann","year":"2008","unstructured":"Moltmann, F. (2008). Intensional verbs and their intentional objects. Natural Language Semantics, 16(3), 239\u2013270. https:\/\/doi.org\/10.1007\/s11050-008-9031-5","journal-title":"Natural Language Semantics"},{"key":"9383_CR13","unstructured":"Moltmann, F. (2017). Cognitive products and the semantics of attitude verbs and deontic modals. In F. Moltmann & M. Textor (Eds.), Act-based conceptions of propositional content. (Vol. 408). Oxford University Press."},{"key":"9383_CR14","unstructured":"Pezlar, I. (2016). Investigations into Transparent Intensional Logic: A rule-based approach. Ph.D thesis, Masaryk University. https:\/\/is.muni.cz\/th\/hhhga\/pezlar_phd_thesis.pdf"},{"issue":"4","key":"9383_CR15","doi-asserted-by":"publisher","first-page":"473","DOI":"10.12775\/LLP.2017.010","volume":"26","author":"I Pezlar","year":"2017","unstructured":"Pezlar, I. (2017). Algorithmic theories of problems. A constructive and a non-constructive approach. Logic and Logical Philosophy, 26(4), 473\u2013508. https:\/\/doi.org\/10.12775\/LLP.2017.010","journal-title":"Logic and Logical Philosophy"},{"key":"9383_CR16","doi-asserted-by":"publisher","unstructured":"Pezlar, I. (2019). On two notions of computation in Transparent Intensional Logic. Axiomathes. https:\/\/doi.org\/10.1007\/s10516-018-9401-7","DOI":"10.1007\/s10516-018-9401-7"},{"issue":"5","key":"9383_CR17","doi-asserted-by":"publisher","first-page":"177","DOI":"10.2307\/2022451","volume":"53","author":"WVO Quine","year":"1956","unstructured":"Quine, W. V. O. (1956). Quantifiers and propositional attitudes. Journal of Philosophy, 53(5), 177\u2013187. https:\/\/doi.org\/10.2307\/2022451","journal-title":"Journal of Philosophy"},{"key":"9383_CR18","unstructured":"Raclavsk\u00fd, J. (2020). Belief attitudes, fine-grained hyperintensionality and type-theoretic logic. College Publications."},{"key":"9383_CR19","unstructured":"Raclavsk\u00fd, J., Kuchy\u0148ka, P., & Pezlar, I. (2015). Transparentn\u00ed intenzion\u00e1ln\u00ed logika jako characteristica universalis a calculus ratiocinator. Masaryk University Press (Munipress)."},{"key":"9383_CR20","doi-asserted-by":"crossref","unstructured":"Reynolds, J. C. (1974). Towards a theory of type structure. In Colloquium on programming, Paris, 9\u201311 April 1974 (pp. 1\u201318).","DOI":"10.1007\/3-540-06859-7_148"},{"issue":"1\/2","key":"9383_CR21","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1023\/A:1010000313106","volume":"13","author":"C Strachey","year":"2000","unstructured":"Strachey, C. (2000). Fundamental concepts in programming languages. Higher-Order and Symbolic Computation, 13(1\/2), 11\u201349. https:\/\/doi.org\/10.1023\/A:1010000313106","journal-title":"Higher-Order and Symbolic Computation"},{"key":"9383_CR22","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/BF00370346","volume":"14","author":"P Tich\u00fd","year":"1982","unstructured":"Tich\u00fd, P. (1982). Foundations of partial type theory. Reports on Mathematical Logic, 14, 59\u201372. https:\/\/doi.org\/10.1007\/BF00370346","journal-title":"Reports on Mathematical Logic"},{"key":"9383_CR23","doi-asserted-by":"crossref","unstructured":"Tich\u00fd, P. (1988). The foundations of Frege\u2019s logic. de Gruyter.","DOI":"10.1515\/9783110849264"}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-022-09383-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10849-022-09383-w\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-022-09383-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,3,28]],"date-time":"2023-03-28T10:12:50Z","timestamp":1679998370000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10849-022-09383-w"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,7]]},"references-count":23,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2023,5]]}},"alternative-id":["9383"],"URL":"https:\/\/doi.org\/10.1007\/s10849-022-09383-w","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"type":"print","value":"0925-8531"},{"type":"electronic","value":"1572-9583"}],"subject":[],"published":{"date-parts":[[2022,10,7]]},"assertion":[{"value":"24 August 2022","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"7 October 2022","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}