{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:35:57Z","timestamp":1740123357493,"version":"3.37.3"},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"S22","license":[{"start":{"date-parts":[[2019,11,20]],"date-time":"2019-11-20T00:00:00Z","timestamp":1574208000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2019,11,20]],"date-time":"2019-11-20T00:00:00Z","timestamp":1574208000000},"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":["Synthese"],"published-print":{"date-parts":[[2021,10]]},"DOI":"10.1007\/s11229-019-02447-8","type":"journal-article","created":{"date-parts":[[2019,11,20]],"date-time":"2019-11-20T10:03:02Z","timestamp":1574244182000},"page":"5291-5313","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Two traditions in abstract valuational model theory"],"prefix":"10.1007","volume":"198","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0336-3101","authenticated-orcid":false,"given":"Rohan","family":"French","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3356-0771","authenticated-orcid":false,"given":"David","family":"Ripley","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,11,20]]},"reference":[{"key":"2447_CR1","volume-title":"Generalized Galois logics: Relational semantics of nonclassical logical calculi. Number 188 in CSLI lecture notes","author":"K Bimb\u00f3","year":"2008","unstructured":"Bimb\u00f3, K., & Dunn, J. M. (2008). Generalized Galois logics: Relational semantics of nonclassical logical calculi. Number 188 in CSLI lecture notes. Stanford: CSLI Publications."},{"key":"2447_CR2","volume-title":"Lattice theory","author":"G Birkhoff","year":"1967","unstructured":"Birkhoff, G. (1967). Lattice theory (3rd ed.). New York: American Mathematical Society.","edition":"3"},{"issue":"3\/4","key":"2447_CR3","doi-asserted-by":"publisher","first-page":"233","DOI":"10.18778\/0138-0680.46.3.4.05","volume":"46","author":"C Blasio","year":"2017","unstructured":"Blasio, C., Marcos, J., & Wansing, H. (2017). An inferentially many-valued two-dimensional notion of entailment. Bulletin of the Section of Logic, 46(3\/4), 233\u2013262.","journal-title":"Bulletin of the Section of Logic"},{"key":"2447_CR4","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/BF01196091","volume":"30","author":"C Brink","year":"1993","unstructured":"Brink, C. (1993). Power structures. Algebra Uniersalis, 30, 177\u2013216.","journal-title":"Algebra Uniersalis"},{"key":"2447_CR5","volume-title":"Formalization of logic","author":"R Carnap","year":"1943","unstructured":"Carnap, R. (1943). Formalization of logic. Cambridge, Massachusetts: Harvard University Press."},{"key":"2447_CR6","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809088","volume-title":"Introduction to lattices and order","author":"BA Davey","year":"2002","unstructured":"Davey, B. A., & Priestley, H. A. (2002). Introduction to lattices and order. Cambridge: Cambridge University Press."},{"key":"2447_CR7","doi-asserted-by":"crossref","unstructured":"Dunn, J.\u00a0M. (1991). Gaggle theory: An abstraction of Galois connections and residuation with applications to negations and various logical operators. In Logics in AI, Proceedings of European workshop JELIA 1990 (pp. 31\u201351). Berlin: LNCS.","DOI":"10.1007\/BFb0018431"},{"key":"2447_CR8","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198531920.001.0001","volume-title":"Algebraic methods in philosophical logic","author":"JM Dunn","year":"2001","unstructured":"Dunn, J. M., & Hardegree, G. M. (2001). Algebraic methods in philosophical logic. Oxford: Oxford University Press."},{"issue":"1","key":"2447_CR9","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1111\/j.1749-6632.1993.tb52513.x","volume":"704","author":"M Ern\u00e9","year":"1993","unstructured":"Ern\u00e9, M., Koslowski, J., Melton, A., & Strecker, G. (1993). A primer on Galois connections. Annals of the New York Academy of Sciences, 704(1), 103\u2013125.","journal-title":"Annals of the New York Academy of Sciences"},{"key":"2447_CR10","first-page":"41","volume":"33","author":"S Frankowski","year":"2004","unstructured":"Frankowski, S. (2004). Formalization of a plausible inference. Bulletin of the Section of Logic, 33, 41\u201352.","journal-title":"Bulletin of the Section of Logic"},{"issue":"3\u20134","key":"2447_CR11","first-page":"161","volume":"37","author":"S Frankowski","year":"2008","unstructured":"Frankowski, S. (2008). Plausible reasoning expressed by p-consequence. Bulletin of the Section of Logic, 37(3\u20134), 161\u2013170.","journal-title":"Bulletin of the Section of Logic"},{"issue":"6","key":"2447_CR12","doi-asserted-by":"publisher","first-page":"1313","DOI":"10.1007\/s11225-018-9837-1","volume":"107","author":"R French","year":"2019","unstructured":"French, R., & Ripley, D. (2019). Valuations: Bi, tri, and tetra. Studia Logica, 107(6), 1313\u20131346.","journal-title":"Studia Logica"},{"issue":"1","key":"2447_CR13","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/s10992-004-6302-6","volume":"34","author":"GM Hardegree","year":"2005","unstructured":"Hardegree, G. M. (2005). Completeness and super-valuations. Journal of Philosophical Logic, 34(1), 81\u201395.","journal-title":"Journal of Philosophical Logic"},{"key":"2447_CR14","doi-asserted-by":"publisher","first-page":"395","DOI":"10.1007\/BF00183072","volume":"29","author":"L Humberstone","year":"1988","unstructured":"Humberstone, L. (1988). Heterogeneous logic. Erkenntnis, 29, 395\u2013435.","journal-title":"Erkenntnis"},{"key":"2447_CR15","volume-title":"The connectives","author":"L Humberstone","year":"2012","unstructured":"Humberstone, L. (2012). The connectives. Cambridge, Massachusetts: MIT Press."},{"key":"2447_CR16","first-page":"49","volume":"24","author":"G Malinowski","year":"1990","unstructured":"Malinowski, G. (1990). Q-consequence operation. Reports on Mathematical Logic, 24, 49\u201359.","journal-title":"Reports on Mathematical Logic"},{"key":"2447_CR17","doi-asserted-by":"publisher","first-page":"493","DOI":"10.1090\/S0002-9947-1944-0010555-7","volume":"55","author":"O Ore","year":"1944","unstructured":"Ore, O. (1944). Galois connexions. Transactions of the American Mathematical Society, 55, 493\u2013513.","journal-title":"Transactions of the American Mathematical Society"},{"issue":"2","key":"2447_CR18","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1215\/00294527-2017-0025","volume":"59","author":"D Ripley","year":"2018","unstructured":"Ripley, D. (2018). Blurring: An approach to conflation. Notre Dame Journal of Formal Logic, 59(2), 171\u2013188.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"2447_CR19","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1090\/pspum\/025\/0363802","volume-title":"Proceedings of the Tarski symposium","author":"D Scott","year":"1974","unstructured":"Scott, D. (1974). Completeness and axiomatizability in many-valued logic. In L. Henkin (Ed.), Proceedings of the Tarski symposium (pp. 411\u2013436). Providence: American Mathematical Society."},{"key":"2447_CR20","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511565687","volume-title":"Multiple-conclusion logic","author":"DJ Shoesmith","year":"1978","unstructured":"Shoesmith, D. J., & Smiley, T. J. (1978). Multiple-conclusion logic. Cambridge: Cambridge University Press."}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-019-02447-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11229-019-02447-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-019-02447-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,27]],"date-time":"2024-07-27T11:32:04Z","timestamp":1722079924000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11229-019-02447-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,11,20]]},"references-count":20,"journal-issue":{"issue":"S22","published-print":{"date-parts":[[2021,10]]}},"alternative-id":["2447"],"URL":"https:\/\/doi.org\/10.1007\/s11229-019-02447-8","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"type":"print","value":"0039-7857"},{"type":"electronic","value":"1573-0964"}],"subject":[],"published":{"date-parts":[[2019,11,20]]},"assertion":[{"value":"31 July 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"18 October 2019","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"20 November 2019","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}