{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,2]],"date-time":"2026-02-02T21:31:18Z","timestamp":1770067878801,"version":"3.49.0"},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2021,2,18]],"date-time":"2021-02-18T00:00:00Z","timestamp":1613606400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,2,18]],"date-time":"2021-02-18T00:00:00Z","timestamp":1613606400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001824","name":"Grantov\u00e1 Agentura Cesk\u00e9 Republiky","doi-asserted-by":"publisher","award":["20-18675S"],"award-info":[{"award-number":["20-18675S"]}],"id":[{"id":"10.13039\/501100001824","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2021,10]]},"DOI":"10.1007\/s11225-020-09936-9","type":"journal-article","created":{"date-parts":[[2021,2,19]],"date-time":"2021-02-19T16:49:23Z","timestamp":1613753363000},"page":"995-1017","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Inquisitive Heyting Algebras"],"prefix":"10.1007","volume":"109","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2198-4574","authenticated-orcid":false,"given":"V\u00edt","family":"Pun\u010doch\u00e1\u0159","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,2,18]]},"reference":[{"key":"9936_CR1","doi-asserted-by":"crossref","unstructured":"Bezhanishvili, N., G. Grilletti, and W. Holliday, Algebraic and Topological Semantics for Inquisitive Logic via Choice-free duality, in R. Iemhoff, M. Moortgat, and R. de Queiroz, (eds.), Logic, Language, Information, and Computation. WoLLIC 2019. Lecture Notes in Computer Science, vol. 11541, Springer, 2019, pp. 35\u201352.","DOI":"10.1007\/978-3-662-59533-6_3"},{"key":"9936_CR2","unstructured":"Ciardelli,\u00a0I., Inquisitive Semantics and Intermediate Logics, MSc thesis, University of Amsterdam, 2009."},{"key":"9936_CR3","unstructured":"Ciardelli,\u00a0I., Questions in Logic, PhD Thesis, University of Amsterdam, 2016."},{"key":"9936_CR4","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/s10992-010-9142-6","volume":"40","author":"I Ciardelli","year":"2011","unstructured":"Ciardelli,\u00a0I., and F. Roelofsen, Inquisitive Logic, Journal of Philosophical Logic 40: 55\u201394, 2011.","journal-title":"Journal of Philosophical Logic"},{"key":"9936_CR5","doi-asserted-by":"publisher","first-page":"459","DOI":"10.1111\/lnc3.12037","volume":"7","author":"I Ciardelli","year":"2013","unstructured":"Ciardelli,\u00a0I., J. Groenendijk, and F. Roelofsen, Inquisitive Semantics: A New Notion of Meaning, Language and Linguistics Compass 7: 459\u2013476, 2013.","journal-title":"Language and Linguistics Compass"},{"key":"9936_CR6","volume-title":"Inquisitive Semantics","author":"I Ciardelli","year":"2019","unstructured":"Ciardelli,\u00a0I., J. Groenendijk, and F. Roelofsen, Inquisitive Semantics, Oxford University Press, Oxford, 2019."},{"key":"9936_CR7","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1215\/00294527-2019-0033","volume":"61","author":"I Ciardelli","year":"2020","unstructured":"Ciardelli,\u00a0I., R. Iemhoff, and F. Yang, Questions and Dependency in Intuitionistic Logic, Notre Dame Journal of Formal Logic 61: 75\u2013115, 2020.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9936_CR8","unstructured":"Font, J. M., Abstract Algebraic Logic, College Publications, London, 2016."},{"key":"9936_CR9","doi-asserted-by":"crossref","unstructured":"Frittella, S., G. Greco, A. Palmigiano, and F. Yang, A Multi-type Calculus for Inquisitive Logic, in J. Va\u00e4\u00e4n\u00e4nen, \u00c5. Hirvonen, and R. de Queiroz, (eds.), Proceedings of the 23rd International Workshop on Logic, Language, Information, and Computation, Springer, 2016, pp. 215\u2013233.","DOI":"10.1007\/978-3-662-52921-8_14"},{"key":"9936_CR10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-0348-0018-1","volume-title":"Lattice Theory: Foundation","author":"G Gr\u00e4tzer","year":"2011","unstructured":"Gr\u00e4tzer, G., Lattice Theory: Foundation, Birkh\u00e4user, Basel, 2011."},{"key":"9936_CR11","doi-asserted-by":"crossref","unstructured":"Harrah, D., The Logic of Questions, in D. M. Gabbay, and F. Guenthner, (eds.), Handbook of Philosophical Logic, Vol. II: Extensions of Classical Logic, D. Reidel Publishing Company, Dordrecht, 1984, pp. 715\u2013764.","DOI":"10.1007\/978-94-009-6259-0_12"},{"key":"9936_CR12","doi-asserted-by":"publisher","first-page":"955","DOI":"10.1007\/s00153-016-0505-8","volume":"55","author":"R Iemhoff","year":"2016","unstructured":"Iemhoff,\u00a0R., and F. Yang Structural Completeness in Propositional Logics of Dependence, Archive for Mathematical Logic 55: 955\u2013975, 2016.","journal-title":"Archive for Mathematical Logic"},{"issue":"4","key":"9936_CR13","doi-asserted-by":"publisher","first-page":"543","DOI":"10.1305\/ndjfl\/1093635238","volume":"30","author":"P Miglioli","year":"1989","unstructured":"Miglioli,\u00a0P., U. Moscato,\u00a0M. Ornaghi,\u00a0S. Quazza, and G. Usberti, Some Results on Intermediate Constructive Logics, Notre Dame Journal of Formal Logic 30(4): 543\u2013562, 1989.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9936_CR14","unstructured":"Minari, P., and A. Wronski, The Property (HD) in Intermediate Logics. A Partial Solution of a Problem of H. Ono, Reports on Mathematical Logic 22: 21\u201325, 1988."},{"issue":"4","key":"9936_CR15","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1007\/s10992-015-9379-1","volume":"45","author":"V Pun\u010doch\u00e1\u0159","year":"2016","unstructured":"Pun\u010doch\u00e1\u0159, V., A Generalization of Inquisitive Semantics,  Journal of Philosophical Logic 45(4): 399\u2013428, 2016.","journal-title":"Journal of Philosophical Logic"},{"key":"9936_CR16","doi-asserted-by":"crossref","unstructured":"Pun\u010doch\u00e1\u0159, V., Substructural Inquisitive Logics, The Review of Symbolic Logic 12(2):296\u2013330, 2019.","DOI":"10.1017\/S1755020319000017"},{"key":"9936_CR17","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/BF00405383","volume":"38","author":"T Prucnal","year":"1979","unstructured":"Prucnal,\u00a0T., On Two Problems of Harvey Friedman, Studia Logica 38: 247\u2013262, 1979.","journal-title":"Studia Logica"},{"issue":"Supplement 1","key":"9936_CR18","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/s11229-013-0282-4","volume":"190","author":"F Roelofsen","year":"2013","unstructured":"Roelofsen,\u00a0F., Algebraic Foundations for the Semantic Treatment of Inquisitive Content, Synthese 190, Supplement 1: 79\u2013102, 2013.","journal-title":"Synthese"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-020-09936-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11225-020-09936-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-020-09936-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,9,21]],"date-time":"2021-09-21T16:09:48Z","timestamp":1632240588000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11225-020-09936-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,2,18]]},"references-count":18,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2021,10]]}},"alternative-id":["9936"],"URL":"https:\/\/doi.org\/10.1007\/s11225-020-09936-9","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,2,18]]},"assertion":[{"value":"12 August 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"28 December 2020","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"18 February 2021","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}