{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T17:23:54Z","timestamp":1725902634360},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662553855"},{"type":"electronic","value":"9783662553862"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-662-55386-2_6","type":"book-chapter","created":{"date-parts":[[2017,6,28]],"date-time":"2017-06-28T11:24:53Z","timestamp":1498649093000},"page":"80-91","source":"Crossref","is-referenced-by-count":2,"title":["Proof Theory and Ordered Groups"],"prefix":"10.1007","author":[{"given":"Almudena","family":"Colacito","sequence":"first","affiliation":[]},{"given":"George","family":"Metcalfe","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,6,29]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-009-2871-8","volume-title":"Lattice-Ordered Groups: An Introduction","author":"ME Anderson","year":"1988","unstructured":"Anderson, M.E., Feil, T.H.: Lattice-Ordered Groups: An Introduction. Springer, Heidelberg (1988)"},{"key":"6_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-8130-3","volume-title":"A Course in Universal Algebra","author":"S Burris","year":"1981","unstructured":"Burris, S., Sankappanavar, H.P.: A Course in Universal Algebra. Springer, Heidelberg (1981)"},{"issue":"3","key":"6_CR3","doi-asserted-by":"crossref","first-page":"266","DOI":"10.1016\/j.apal.2011.09.003","volume":"163","author":"A Ciabattoni","year":"2012","unstructured":"Ciabattoni, A., Galatos, N., Terui, K.: Algebraic proof theory for substructural logics: cut-elimination and completions. Ann. Pure Appl. Logic 163(3), 266\u2013290 (2012)","journal-title":"Ann. Pure Appl. Logic"},{"issue":"3","key":"6_CR4","doi-asserted-by":"crossref","first-page":"693","DOI":"10.1016\/j.apal.2016.10.012","volume":"168","author":"A Ciabattoni","year":"2017","unstructured":"Ciabattoni, A., Galatos, N., Terui, K.: Algebraic proof theory: hypersequents and hypercompletions. Ann. Pure Appl. Logic 168(3), 693\u2013737 (2017)","journal-title":"Ann. Pure Appl. Logic"},{"key":"6_CR5","volume-title":"Algebraic foundations of many-valued reasoning","author":"R Cignoli","year":"1999","unstructured":"Cignoli, R., D\u2019Ottaviano, I.M.L., Mundici, D.: Algebraic foundations of many-valued reasoning. Kluwer, Berlin (1999)"},{"issue":"10","key":"6_CR6","doi-asserted-by":"crossref","first-page":"1529","DOI":"10.1016\/j.jsc.2009.04.004","volume":"44","author":"A Clay","year":"2009","unstructured":"Clay, A., Smith, L.H.: Corrigendum to [19]. J. Symb. Comput. 44(10), 1529\u20131532 (2009)","journal-title":"J. Symb. Comput."},{"key":"6_CR7","doi-asserted-by":"crossref","DOI":"10.1515\/9781400884179","volume-title":"Linear Programming and Extensions","author":"GB Dantzig","year":"1963","unstructured":"Dantzig, G.B.: Linear Programming and Extensions. Princeton University, Press (1963)"},{"key":"6_CR8","volume-title":"Partially Ordered Algebraic Systems","author":"L Fuchs","year":"1963","unstructured":"Fuchs, L.: Partially Ordered Algebraic Systems. Pergamon Press, Oxford (1963)"},{"issue":"167","key":"6_CR9","doi-asserted-by":"crossref","first-page":"707","DOI":"10.1016\/j.apal.2016.04.004","volume":"8","author":"N Galatos","year":"2016","unstructured":"Galatos, N., Metcalfe, G.: Proof theory for lattice-ordered groups. Ann. Pure Appl. Logic 8(167), 707\u2013724 (2016)","journal-title":"Ann. Pure Appl. Logic"},{"key":"6_CR10","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1307\/mmj\/1028998976","volume":"10","author":"WC Holland","year":"1963","unstructured":"Holland, W.C.: The lattice-ordered group of automorphisms of an ordered set. Mich. Math. J. 10, 399\u2013408 (1963)","journal-title":"Mich. Math. J."},{"key":"6_CR11","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1090\/S0002-9939-1976-0406902-0","volume":"57","author":"WC Holland","year":"1976","unstructured":"Holland, W.C.: The largest proper variety of lattice-ordered groups. Proc. Am. Math. Soc. 57, 25\u201328 (1976)","journal-title":"Proc. Am. Math. Soc."},{"issue":"1","key":"6_CR12","first-page":"99","volume":"5","author":"WC Holland","year":"1979","unstructured":"Holland, W.C., McCleary, S.H.: Solvability of the word problem in free lattice-ordered groups. Houston J. Math. 5(1), 99\u2013105 (1979)","journal-title":"Houston J. Math."},{"issue":"9","key":"6_CR13","doi-asserted-by":"crossref","first-page":"1559","DOI":"10.1016\/j.jpaa.2009.11.015","volume":"214","author":"P Jipsen","year":"2010","unstructured":"Jipsen, P., Montagna, F.: Embedding theorems for classes of GBL-algebras. J. Pure Appl. Algebra 214(9), 1559\u20131575 (2010)","journal-title":"J. Pure Appl. Algebra"},{"key":"6_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-8304-6","volume-title":"The Theory of Lattice-Ordered Groups","author":"VM Kopytov","year":"1994","unstructured":"Kopytov, V.M., Medvedev, N.Y.: The Theory of Lattice-Ordered Groups. Kluwer, Alphen aan den Rijn (1994)"},{"issue":"3","key":"6_CR15","doi-asserted-by":"crossref","first-page":"578","DOI":"10.1145\/1071596.1071600","volume":"6","author":"G Metcalfe","year":"2005","unstructured":"Metcalfe, G., Olivetti, N., Gabbay, D.: Sequent and hypersequent calculi for abelian and \u0141ukasiewicz logics. ACM Trans. Comput. Log. 6(3), 578\u2013613 (2005)","journal-title":"ACM Trans. Comput. Log."},{"key":"6_CR16","volume-title":"Proof Theory for Fuzzy Logics","author":"G Metcalfe","year":"2008","unstructured":"Metcalfe, G., Olivetti, N., Gabbay, D.: Proof Theory for Fuzzy Logics. Springer, Heidelberg (2008)"},{"issue":"1","key":"6_CR17","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1016\/j.jpaa.2007.01.019","volume":"214","author":"F Montagna","year":"2010","unstructured":"Montagna, F., Tsinakis, C.: Ordered groups with a conucleus. J. Pure Appl. Algebra 214(1), 71\u201388 (2010)","journal-title":"J. Pure Appl. Algebra"},{"issue":"1","key":"6_CR18","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2372087","volume":"71","author":"BH Neumann","year":"1949","unstructured":"Neumann, B.H.: On ordered groups. Am. J. Math. 71(1), 1\u201318 (1949)","journal-title":"Am. J. Math."},{"issue":"6","key":"6_CR19","doi-asserted-by":"crossref","first-page":"1285","DOI":"10.1016\/j.jsc.2005.05.005","volume":"40","author":"LH Smith","year":"2005","unstructured":"Smith, L.H.: On ordering free groups. J. Symb. Comput. 40(6), 1285\u20131290 (2005)","journal-title":"J. Symb. Comput."},{"issue":"3","key":"6_CR20","doi-asserted-by":"crossref","first-page":"738","DOI":"10.2178\/jsl\/1191333839","volume":"72","author":"K Terui","year":"2007","unstructured":"Terui, K.: Which structural rules admit cut elimination? \u2013 An algebraic criterion. J. Symbolic Logic 72(3), 738\u2013754 (2007)","journal-title":"J. Symbolic Logic"},{"key":"6_CR21","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1007\/BF01398232","volume":"151","author":"EC Weinberg","year":"1963","unstructured":"Weinberg, E.C.: Free abelian lattice-ordered groups. Math. Ann. 151, 187\u2013199 (1963)","journal-title":"Math. Ann."}],"container-title":["Lecture Notes in Computer Science","Logic, Language, Information, and Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-55386-2_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,7,3]],"date-time":"2017-07-03T10:27:38Z","timestamp":1499077658000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-55386-2_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783662553855","9783662553862"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-55386-2_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}