{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,2,25]],"date-time":"2023-02-25T07:27:17Z","timestamp":1677310037664},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2021,10,18]],"date-time":"2021-10-18T00:00:00Z","timestamp":1634515200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,10,18]],"date-time":"2021-10-18T00:00:00Z","timestamp":1634515200000},"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":["Stud Logica"],"published-print":{"date-parts":[[2022,4]]},"DOI":"10.1007\/s11225-021-09970-1","type":"journal-article","created":{"date-parts":[[2021,10,19]],"date-time":"2021-10-19T02:51:21Z","timestamp":1634611881000},"page":"405-427","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Frobenius Quantales, Serre Quantales and the Riemann\u2013Roch Theorem"],"prefix":"10.1007","volume":"110","author":[{"given":"Wolfgang","family":"Rump","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,10,18]]},"reference":[{"key":"9970_CR1","doi-asserted-by":"publisher","first-page":"276","DOI":"10.1090\/S0002-9904-1959-10344-X","volume":"65","author":"MF Atiyah","year":"1959","unstructured":"Atiyah, M. F., and F. Hirzebruch, Riemann\u2013Roch theorems for differentiable manifolds, Bulletin of the American Mathematical Society 65:276\u2013281, 1959.","journal-title":"Bulletin of the American Mathematical Society"},{"key":"9970_CR2","doi-asserted-by":"crossref","unstructured":"Barr, M., $$\\ast $$-Autonomous categories. With an appendix by Po Hsiang Chu, vol. 752 of Lecture Notes in Mathematics, Springer, Berlin, 1979.","DOI":"10.1007\/BFb0064579"},{"issue":"3\u20134","key":"9970_CR3","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/BF02392091","volume":"143","author":"P Baum","year":"1979","unstructured":"Baum, P., W. Fulton, and R. MacPherson, Riemann\u2013Roch and topological K-theory for singular varieties, Acta Mathematica 143(3\u20134):155\u2013192, 1979.","journal-title":"Acta Mathematica"},{"key":"9970_CR4","doi-asserted-by":"publisher","first-page":"298","DOI":"10.2307\/1968871","volume":"43","author":"G Birkhoff","year":"1942","unstructured":"Birkhoff, G., Lattice ordered groups, Annals of Mathematics 43:298\u2013331, 1942.","journal-title":"Annals of Mathematics"},{"key":"9970_CR5","doi-asserted-by":"crossref","unstructured":"Chevalley, C., Introduction to the Theory of Algebraic Functions of One Variable, Mathematical Surveys, vol. 6 of Mathematical Surveys and Monographs, American Mathematical Society, New York, 1951.","DOI":"10.1090\/surv\/006"},{"key":"9970_CR6","unstructured":"Chu, P. H., Constructing *-autonomous categories, in M. Barr, *-Autonomous categories. With an appendix by Po Hsiang Chu, vol. 752 of Lecture Notes in Mathematics, Springer, Berlin, 1979, pp. 102\u2013138."},{"key":"9970_CR7","doi-asserted-by":"crossref","unstructured":"Eklund, P., J. Guti\u00e9rrez Garc\u00eda, U. H\u00f6hle, and J. Kortelainen, Semigroups in complete lattices, Quantales, modules and related topics, vol. 54 of Developments in Mathematics, Springer, Cham, 2018.","DOI":"10.1007\/978-3-319-78948-4"},{"key":"9970_CR8","doi-asserted-by":"publisher","first-page":"452","DOI":"10.1090\/S0002-9947-1946-0018635-9","volume":"60","author":"O Frink","year":"1946","unstructured":"Frink, O., Complemented modular lattices and projective spaces of infinite dimension, Transactions of The American Mathematical Society 60:452\u2013467, 1946.","journal-title":"Transactions of The American Mathematical Society"},{"issue":"3","key":"9970_CR9","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1007\/BF01231343","volume":"110","author":"H Gillet","year":"1992","unstructured":"Gillet, H., and C. Soul\u00e9, An arithmetic Riemann\u2013Roch theorem, Inventiones Mathematicae 110(3):473\u2013543, 1992.","journal-title":"Invent. Math."},{"key":"9970_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J-Y Girard","year":"1987","unstructured":"Girard, J.-Y., Linear logic, Theoretical Computer Science 50(1):1\u2013102, 1987.","journal-title":"Theoretical Computer Science"},{"key":"9970_CR11","volume-title":"Seminar lectures","author":"J-Y Girard","year":"1987","unstructured":"Girard, J.-Y., Seminar lectures, Le Groupe Interuniversitaire en \u00c9tudes Category\u00e9goriques, McGill University, Montr\u00e9al, 1987."},{"key":"9970_CR12","volume-title":"General lattice theory","author":"G Gr\u00e4tzer","year":"1998","unstructured":"Gr\u00e4tzer, G., General lattice theory, 2nd ed., Birkh\u00e4user Verlag, Basel, 1998.","edition":"2"},{"key":"9970_CR13","unstructured":"Grothendieck, A., Classes de faisceaux et th\u00e9or\u00e8me de Riemann\u2013Roch (1957), in SGA 6, Springer-Verlag, 1971, pp. 20\u201371."},{"key":"9970_CR14","volume-title":"Topological methods in algebraic geometry, Third enlarged edition, vol. 131 of Die Grundlehren der Mathematischen Wissenschaften","author":"F Hirzebruch","year":"1966","unstructured":"Hirzebruch, F., Topological methods in algebraic geometry, Third enlarged edition, vol. 131 of Die Grundlehren der Mathematischen Wissenschaften, Springer-Verlag, New York, 1966."},{"key":"9970_CR15","doi-asserted-by":"publisher","first-page":"331","DOI":"10.2307\/1969863","volume":"57","author":"K Iwasawa","year":"1953","unstructured":"Iwasawa, K., On the rings of valuation vectors, Annals of Mathematics 57:331\u2013356, 1953.","journal-title":"Annals of Mathematics"},{"key":"9970_CR16","volume-title":"Topologisch lineare R\u00e4ume, I","author":"G K\u00f6the","year":"1969","unstructured":"K\u00f6the, G., Topologisch lineare R\u00e4ume, I, Springer-Verlag, Berlin-New York, 1966 (english translation by D. J. H. Garling, 1969)."},{"key":"9970_CR17","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-5740-0","volume-title":"Introduction to algebraic and abelian functions","author":"S Lang","year":"1982","unstructured":"Lang, S., Introduction to algebraic and abelian functions, 2nd. ed., Springer Verlag, New York-Berlin, 1982.","edition":"2"},{"key":"9970_CR18","unstructured":"Mulvey, C. J.,&, Second topology conference (Taormina, 1984), Rendiconti del Circolo Matematico di Palermo Series 2 Supplemento 12:99\u2013104, 1986."},{"key":"9970_CR19","volume-title":"Algebraic number theory, Translated from the 1992 German original, vol. 322 of Grundlehren der Mathematischen Wissenschaften","author":"J Neukirch","year":"1999","unstructured":"Neukirch, J., Algebraic number theory, Translated from the 1992 German original, vol. 322 of Grundlehren der Mathematischen Wissenschaften, Springer-Verlag, Berlin, 1999."},{"key":"9970_CR20","unstructured":"Reiner, I., Maximal orders, Corrected reprint of the 1975 original, With a foreword by M. J. Taylor, vol. 28 of London Mathematical Society Monographs, New Series, The Clarendon Press, Oxford University Press, Oxford, 2003."},{"key":"9970_CR21","first-page":"115","volume":"54","author":"B Riemann","year":"1857","unstructured":"Riemann, B., Theorie der Abel\u2019schen Functionen, Journal f\u00fcr die reine und angewandte Mathematik 54:115\u2013155, 1857.","journal-title":"Journal f\u00fcr die reine und angewandte Mathematik"},{"key":"9970_CR22","first-page":"372","volume":"64","author":"G Roch","year":"1865","unstructured":"Roch, G., \u00dcber die Anzahl der willk\u00fcrlichen Constanten in algebraischen Functionen, Journal f\u00fcr die reine und angewandte Mathematik 64:372\u2013376, 1865.","journal-title":"Journal f\u00fcr die reine und angewandte Mathematik"},{"key":"9970_CR23","unstructured":"Rosenthal, K. I., Quantales and their applications, vol. 234 of Pitman Research Notes in Mathematics Series, Longman Scientific & Technical, Harlow; copublished in the United States with JohnWiley & Sons, Inc., New York, 1990."},{"issue":"1","key":"9970_CR24","first-page":"3","volume":"31","author":"KI Rosenthall","year":"1990","unstructured":"Rosenthall, K. I., A note on Girard quantales, Cahiers Topologie G\u00e9om. Diff\u00e9rentielle Cat\u00e9g.\u00a031(1):3\u201311, 1990.","journal-title":"Cahiers Topologie G\u00e9om. Diff\u00e9rentielle Cat\u00e9g."},{"issue":"1","key":"9970_CR25","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF01174341","volume":"33","author":"FK Schmidt","year":"1931","unstructured":"Schmidt, F. K., Analytische Zahlentheorie in K\u00f6rpern der Charakteristik $$p$$, Mathematische Zeitschrift 33(1):1\u201332, 1931.","journal-title":"Mathematische Zeitschrift"},{"key":"9970_CR26","doi-asserted-by":"crossref","unstructured":"Schmidt, F. K., Zur arithmetischen Theorie der algebraischen Funktionen I. Beweis des Riemann\u2013Rochschen Satzes f\u00fcr algebraische Funktionen mit beliebigem Konstantenk\u00f6rper, Mathematische Zeitschrift 41:415\u2013438, 1936.","DOI":"10.1007\/BF01180431"},{"key":"9970_CR27","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/BF02564268","volume":"29","author":"J-P Serre","year":"1955","unstructured":"Serre, J.-P., Un th\u00e9or\u00e8me de dualit\u00e9, Commentarii Mathematici Helvetici 29:9\u201326, 1955.","journal-title":"Comment. Math. Helv."},{"issue":"4","key":"9970_CR28","doi-asserted-by":"publisher","first-page":"347","DOI":"10.2307\/2369956","volume":"30","author":"O Veblen","year":"1908","unstructured":"Veblen, O., and J. W. Young, A Set of Assumptions for Projective Geometry, American Journal of Mathematics 30(4):347\u2013380, 1908.","journal-title":"American Journal of Mathematics"},{"key":"9970_CR29","doi-asserted-by":"crossref","unstructured":"Weil, A., Zur algebraischen Theorie der algebraischen Funktionen, Journal f\u00fcr die reine und angewandte Mathematik 179:129\u2013133, 1938.","DOI":"10.1515\/crll.1938.179.129"},{"key":"9970_CR30","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1007\/BF01448015","volume":"110","author":"E Witt","year":"1934","unstructured":"Witt, E., Riemann\u2013Rochser Satz und z-Funktionen im Hyperkomp1exen, Mathematische Annalen 110:12\u201328, 1934.","journal-title":"Mathematische Annalen"},{"issue":"1","key":"9970_CR31","doi-asserted-by":"publisher","first-page":"41","DOI":"10.2307\/2274953","volume":"55","author":"DN Yetter","year":"1990","unstructured":"Yetter, D. N., Quantales and (noncommutative) linear logic, Journal of Symbolic Logic 55(1):41\u201364, 1990.","journal-title":"J. Symbolic Logic"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-021-09970-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11225-021-09970-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-021-09970-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,21]],"date-time":"2022-03-21T11:32:12Z","timestamp":1647862332000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11225-021-09970-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,10,18]]},"references-count":31,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2022,4]]}},"alternative-id":["9970"],"URL":"https:\/\/doi.org\/10.1007\/s11225-021-09970-1","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,10,18]]},"assertion":[{"value":"9 March 2021","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"3 September 2021","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"18 October 2021","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}