{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T12:49:49Z","timestamp":1775825389820,"version":"3.50.1"},"publisher-location":"Cham","reference-count":34,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031860539","type":"print"},{"value":"9783031860546","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-3-031-86054-6_1","type":"book-chapter","created":{"date-parts":[[2025,4,16]],"date-time":"2025-04-16T07:13:52Z","timestamp":1744787632000},"page":"1-22","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Vagueness and\u00a0the\u00a0Connectives"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6054-9052","authenticated-orcid":false,"given":"Wesley H.","family":"Holliday","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,4,17]]},"reference":[{"key":"1_CR1","doi-asserted-by":"publisher","unstructured":"Aguilera, J.P., Bydz\u0306ovsk\u00fd, J.: Fundamental logic is decidable. ACM Trans. Comput. Logic 25(3), 17:1\u201317:14 (2024). https:\/\/doi.org\/10.1145\/3665328","DOI":"10.1145\/3665328"},{"issue":"2","key":"1_CR2","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/s11225-009-9171-8","volume":"91","author":"A Almeida","year":"2009","unstructured":"Almeida, A.: Canonical extensions and relational representations of lattices with negation. Stud. Logica. 91(2), 171\u2013199 (2009). https:\/\/doi.org\/10.1007\/s11225-009-9171-8","journal-title":"Stud. Logica."},{"issue":"4","key":"1_CR3","doi-asserted-by":"publisher","first-page":"823","DOI":"10.2307\/1968621","volume":"37","author":"G Birkhoff","year":"1936","unstructured":"Birkhoff, G., von Neumann, J.: The logic of quantum mechanics. Ann. Math. 37(4), 823\u2013843 (1936)","journal-title":"Ann. Math."},{"issue":"2","key":"1_CR4","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/s10992-019-09507-x","volume":"49","author":"S Bobzien","year":"2020","unstructured":"Bobzien, S., Rumfitt, I.: Intuitionism and the Modal Logic of Vagueness. J. Philos. Log. 49(2), 221\u2013248 (2020). https:\/\/doi.org\/10.1007\/s10992-019-09507-x","journal-title":"J. Philos. Log."},{"issue":"47","key":"1_CR5","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1387\/theoria.418","volume":"18","author":"JP Burgess","year":"2003","unstructured":"Burgess, J.P.: Which modal models are the right ones (for logical necessity)? Theoria 18(47), 145\u2013158 (2003). https:\/\/doi.org\/10.1387\/theoria.418","journal-title":"Theoria"},{"key":"1_CR6","doi-asserted-by":"publisher","DOI":"10.1090\/mmono\/067","volume-title":"Mathematical Intuitionism: Introduction to Proof Theory, Translations of Mathematical Monographs","author":"AG Dragalin","year":"1988","unstructured":"Dragalin, A.G.: Mathematical Intuitionism: Introduction to Proof Theory, Translations of Mathematical Monographs, vol. 67. American Mathematical Society, Providence, RI (1988)"},{"key":"1_CR7","doi-asserted-by":"publisher","unstructured":"Dummett, M.A.E., Lemmon, E.J.: Modal logics between S4 and S5. Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik 5, 250\u2013264 (1959). https:\/\/doi.org\/10.1002\/malq.19590051405","DOI":"10.1002\/malq.19590051405"},{"key":"1_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/11828563_11","volume-title":"Relations and Kleene Algebra in Computer Science","author":"W Dzik","year":"2006","unstructured":"Dzik, W., Orlowska, E., van Alten, C.: Relational representation theorems for general lattices with negations. In: Schmidt, R.A. (ed.) RelMiCS 2006. LNCS, vol. 4136, pp. 162\u2013176. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11828563_11"},{"key":"1_CR9","doi-asserted-by":"publisher","unstructured":"Dzik, W., Orlowska, E., van Alten, C.: Relational representation theorems for lattices with negations: a survey. Lect. Notes Artif. Intell. 4342, 245\u2013266 (2006). https:\/\/doi.org\/10.1007\/11964810_12","DOI":"10.1007\/11964810_12"},{"key":"1_CR10","unstructured":"Feferman, S.: Is the continuum hypothesis a definite mathematical problem? (2011). https:\/\/math.stanford.edu\/~feferman\/papers\/IsCHdefinite.pdf"},{"key":"1_CR11","doi-asserted-by":"publisher","unstructured":"Field, H.: No fact of the matter. Australas. J. Philos. 81(4), 457\u2013480 (2003). https:\/\/doi.org\/10.1080\/713659756","DOI":"10.1080\/713659756"},{"key":"1_CR12","doi-asserted-by":"publisher","DOI":"10.1093\/oso\/9780197514955.001.0001","volume-title":"Vagueness: A Global Approach","author":"K Fine","year":"2020","unstructured":"Fine, K.: Vagueness: A Global Approach. Oxford University Press, New York (2020)"},{"key":"1_CR13","doi-asserted-by":"publisher","unstructured":"Fine, K.: In defense of a global view of vagueness: response to Andreas Ditter\u2019s \u2018Fine on the possibility of vagueness\u2019. In: Faroldi, F., Van De\u00a0Putte, F. (eds.) Kit Fine on Truthmakers, Relevance, and Non-classical Logic, Outstanding Contributions to Logic, vol.\u00a026. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-29415-0_32","DOI":"10.1007\/978-3-031-29415-0_32"},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Gentzen, G.: Die Widerspruchsfreiheit der reinen Zahlentheorie. Mathematische Annalen 112, 493\u2013565 (1936). English translation in [31], pp.\u00a0132-213","DOI":"10.1007\/BF01565428"},{"key":"1_CR15","volume-title":"Collected Works","author":"K G\u00f6del","year":"1986","unstructured":"G\u00f6del, K.: Collected Works. Oxford University Press, New York (1986)"},{"key":"1_CR16","unstructured":"G\u00f6del, K.: Zur intuitionistischen Arithmetik und Zahlentheorie. Ergebnisse eines Mathematischen Kolloquiums 4, 34\u201338 (1933). English translation in [15], pp.\u00a0286-295"},{"key":"1_CR17","doi-asserted-by":"publisher","unstructured":"Goldblatt, R.I.: Semantic analysis of orthologic. J. Philos. Logic 3(1), 19\u201335 (1974). https:\/\/doi.org\/10.1007\/BF00652069","DOI":"10.1007\/BF00652069"},{"key":"1_CR18","doi-asserted-by":"publisher","first-page":"596","DOI":"10.1016\/S1385-7258(64)50066-9","volume":"26","author":"A Grzegorczyk","year":"1964","unstructured":"Grzegorczyk, A.: A philosophically plausible formal interpretation of intuitionistic logic. Indag. Math. 26, 596\u2013601 (1964)","journal-title":"Indag. Math."},{"issue":"2","key":"1_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s00012-021-00711-y","volume":"82","author":"WH Holliday","year":"2021","unstructured":"Holliday, W.H.: Three roads to complete lattices: orders, compatibility, polarity. Algebra Universalis 82(2), 1\u201314 (2021). https:\/\/doi.org\/10.1007\/s00012-021-00711-y","journal-title":"Algebra Universalis"},{"key":"1_CR20","unstructured":"Holliday, W.H.: Compatibility and accessibility: lattice representations for semantics of non-classical and modal logics. In: Duque, D.F., Palmigiano, A. (eds.) Advances in Modal Logic, Vol.\u00a014, pp. 507\u2013529. College Publications, London (2022). arXiv:2201.07098"},{"issue":"1","key":"1_CR21","doi-asserted-by":"publisher","first-page":"36","DOI":"10.3390\/logics1010004","volume":"1","author":"WH Holliday","year":"2023","unstructured":"Holliday, W.H.: A fundamental non-classical logic. Logics 1(1), 36\u201379 (2023). https:\/\/doi.org\/10.3390\/logics1010004","journal-title":"Logics"},{"key":"1_CR22","unstructured":"Holliday, W.H.: Modal logic, fundamentally. In: Ciabattoni, A., Gabelaia, D., Sedl\u00e1r, I. (eds.) Advances in Modal Logic, vol.\u00a015, pp. 423\u2013446. College Publications, London (2024). arXiv:2403.14043"},{"key":"1_CR23","unstructured":"Holliday, W.H., Mandelkern, M.: Compatibility, compossibility, and epistemic modality. In: Proceedings of the 23rd Amsterdam Colloquium, pp. 120\u2013126 (2022)"},{"key":"1_CR24","doi-asserted-by":"publisher","unstructured":"Holliday, W.H., Mandelkern, M.: The orthologic of epistemic modals. J. Philos. Logic 53, 831\u2013907 (2024). https:\/\/doi.org\/10.1007\/s10992-024-09746-7, arXiv:2203.02872","DOI":"10.1007\/s10992-024-09746-7"},{"key":"1_CR25","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/s11050-011-9079-5","volume":"20","author":"N Klinedinst","year":"2012","unstructured":"Klinedinst, N., Rothschild, D.: Connectives without truth-tables. Nat. Lang. Seman. 20, 137\u2013175 (2012). https:\/\/doi.org\/10.1007\/s11050-011-9079-5","journal-title":"Nat. Lang. Seman."},{"key":"1_CR26","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1016\/S0049-237X(08)71685-9","volume-title":"Formal Systems and Recursive Functions","author":"SA Kripke","year":"1965","unstructured":"Kripke, S.A.: Semantical analysis of intuitionistic logic I. In: Crossley, J.N., Dummett, M.A.E. (eds.) Formal Systems and Recursive Functions, pp. 92\u2013130. North-Holland, Amsterdam (1965)"},{"issue":"5","key":"1_CR27","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2023.103245","volume":"174","author":"G Massas","year":"2023","unstructured":"Massas, G.: B-frame duality. Ann. Pure Appl. Logic 174(5), 103245 (2023). https:\/\/doi.org\/10.1016\/j.apal.2023.103245","journal-title":"Ann. Pure Appl. Logic"},{"issue":"9","key":"1_CR28","doi-asserted-by":"publisher","first-page":"462","DOI":"10.2307\/2026276","volume":"82","author":"V McGee","year":"1985","unstructured":"McGee, V.: A counterexample to modus ponens. J. Philos. 82(9), 462\u2013471 (1985). https:\/\/doi.org\/10.2307\/2026276","journal-title":"J. Philos."},{"issue":"2\u20134","key":"1_CR29","doi-asserted-by":"publisher","first-page":"319","DOI":"10.3233\/FI-1993-182-417","volume":"17","author":"J Rebagliato","year":"1993","unstructured":"Rebagliato, J., Verd\u00fa, V.: On the algebraization of some Gentzen systems. Fund. Inform. 17(2\u20134), 319\u2013338 (1993). https:\/\/doi.org\/10.3233\/FI-1993-182-417","journal-title":"Fund. Inform."},{"issue":"1","key":"1_CR30","doi-asserted-by":"publisher","first-page":"1","DOI":"10.21136\/CPMF.1938.124080","volume":"67","author":"M Stone","year":"1938","unstructured":"Stone, M.: Topological representation of distributive lattices and Brouwerian logics. \u010casopis pro p\u011bstov\u00e1n\u00ed matematiky a fysiky 67(1), 1\u201325 (1938)","journal-title":"\u010casopis pro p\u011bstov\u00e1n\u00ed matematiky a fysiky"},{"key":"1_CR31","volume-title":"The Collected Papers of Gerhard Gentzen","year":"1969","unstructured":"Szabo, M.E. (ed.): The Collected Papers of Gerhard Gentzen. North-Holland Publishing Company, Amsterdam (1969)"},{"key":"1_CR32","volume-title":"Constructivism in Mathematics","author":"AS Troelstra","year":"1988","unstructured":"Troelstra, A.S., van Dalen, D.: Constructivism in Mathematics, vol. I. North-Holland, Amsterdam (1988)"},{"key":"1_CR33","volume-title":"Vagueness","author":"T Williamson","year":"1994","unstructured":"Williamson, T.: Vagueness. Routledge, New York, NY (1994)"},{"issue":"437","key":"1_CR34","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1093\/mind\/110.437.45","volume":"110","author":"C Wright","year":"2001","unstructured":"Wright, C.: On being in a quandary: relativism, vagueness, logical revisionism. Mind 110(437), 45\u201398 (2001). https:\/\/doi.org\/10.1093\/mind\/110.437.45","journal-title":"Mind"}],"container-title":["Lecture Notes in Computer Science","The Connectives in Logic and Language"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-86054-6_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,16]],"date-time":"2025-04-16T07:13:56Z","timestamp":1744787636000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-86054-6_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031860539","9783031860546"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-86054-6_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"17 April 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"TLLM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Beijing","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"China","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 March 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31 March 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"tllm2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/tsinghualogic.net\/JRC\/tllm\/2024connectives\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}