乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,12]],"date-time":"2024-09-12T10:11:54Z","timestamp":1726135914304},"publisher-location":"Cham","reference-count":10,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030860615"},{"type":"electronic","value":"9783030860622"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-86062-2_18","type":"book-chapter","created":{"date-parts":[[2021,9,20]],"date-time":"2021-09-20T22:17:10Z","timestamp":1632176230000},"page":"204-211","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Validity as Choiceless Unification"],"prefix":"10.1007","author":[{"ORCID":"http:\/\/orcid.org\/0000-0003-3033-9518","authenticated-orcid":false,"given":"Frank Thomas","family":"Sautter","sequence":"first","affiliation":[]},{"ORCID":"http:\/\/orcid.org\/0000-0002-0583-4042","authenticated-orcid":false,"given":"Bruno Ramos","family":"Mendon\u00e7a","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,9,21]]},"reference":[{"key":"18_CR1","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"530","DOI":"10.1007\/978-3-030-54249-8_50","volume-title":"Diagrammatic Representation and Inference","author":"R Bhattacharjee","year":"2020","unstructured":"Bhattacharjee, R., Moktefi, A.: Peirce\u2019s inclusion diagrams, with application to syllogisms. In: Pietarinen, A.-V., Chapman, P., Bosveld-de Smet, L., Giardino, V., Corter, J., Linker, S. (eds.) Diagrams 2020. LNCS (LNAI), vol. 12169, pp. 530\u2013533. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-54249-8_50"},{"key":"18_CR2","unstructured":"Euler, L.: Letters of Euler, Vol. I: On Different Subjects in Natural Philosophy Addressed to a German Princess. J. & J. Harper, New York (1833)"},{"key":"18_CR3","doi-asserted-by":"crossref","unstructured":"Grice, H.P.: Logic and conversation. In: Cole, P., Morgan, J.L. (eds.) Syntax and Semantics, Volume 3: Speech Acts, pp. 41\u201358. Academic Press, New York (1975)","DOI":"10.1163\/9789004368811_003"},{"volume-title":"The Collected Papers of Charles Sanders Peirce (Electronic Edition)","year":"1994","key":"18_CR4","unstructured":"Hartshorne, C., Weiss, P., Burks, A. (eds.): The Collected Papers of Charles Sanders Peirce (Electronic Edition). InteLex Corporation, Charlottesville (1994)"},{"key":"18_CR5","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1007\/978-3-319-42333-3_25","volume-title":"Diagrammatic Representation and Inference","author":"A Moktefi","year":"2016","unstructured":"Moktefi, A., Pietarinen, A.-V.: Negative terms in Euler diagrams: Peirce\u2019s solution. In: Jamnik, M., Uesaka, Y., Elzer Schwartz, S. (eds.) Diagrams 2016. LNCS (LNAI), vol. 9781, pp. 286\u2013288. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-42333-3_25"},{"key":"18_CR6","doi-asserted-by":"publisher","unstructured":"Peirce, C.S.: On logical graphs [Euler and EGs]. In: Pietarinen, A.-V. (ed.) Logic of The Future: Writings on Existential Graphs. Volume 1: History and Applications, pp. 282\u2013291. De Gruyter, Berlim (2020). https:\/\/doi.org\/10.1515\/978-3-110-6514-09_012","DOI":"10.1515\/978-3-110-6514-09_012"},{"key":"18_CR7","doi-asserted-by":"publisher","unstructured":"Peirce, C.S.: On logical graphs. In: Pietarinen, A.-V. (ed.) Logic of The Future: Writings on Existential Graphs. Volume 1: History and Applications, pp. 211\u2013261. De Gruyter, Berlim (2020). https:\/\/doi.org\/10.1515\/978-3-110-6514-09_009","DOI":"10.1515\/978-3-110-6514-09_009"},{"key":"18_CR8","unstructured":"Peirce, C.S.: Definitions for Baldwins\u2019s dictionary. In: Pietarinen, A.-V. (ed.) Logic of The Future: Writings on Existential Graphs. Volume 3: Pragmaticism and Correspondence, pp. 922\u2013949. De Gruyter, Berlim (forthcoming)"},{"key":"18_CR9","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/978-3-319-42333-3_11","volume-title":"Diagrammatic Representation and Inference","author":"A-V Pietarinen","year":"2016","unstructured":"Pietarinen, A.-V.: Extensions of Euler diagrams in Peirce\u2019s four manuscripts on logical graphs. In: Jamnik, M., Uesaka, Y., Elzer Schwartz, S. (eds.) Diagrams 2016. LNCS (LNAI), vol. 9781, pp. 139\u2013154. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-42333-3_11"},{"key":"18_CR10","doi-asserted-by":"publisher","DOI":"10.1037\/14127-000","volume-title":"Symbolic Logic","author":"J Venn","year":"1881","unstructured":"Venn, J.: Symbolic Logic. Macmillan, London (1881)"}],"container-title":["Lecture Notes in Computer Science","Diagrammatic Representation and Inference"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-86062-2_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,9]],"date-time":"2023-01-09T15:02:32Z","timestamp":1673276552000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-86062-2_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030860615","9783030860622"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-86062-2_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"21 September 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"Diagrams","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Theory and Application of Diagrams","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 September 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 September 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"diagrams2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.diagrams-conference.org\/2021\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}