{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,16]],"date-time":"2025-11-16T06:09:25Z","timestamp":1763273365069},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540759386"},{"type":"electronic","value":"9783540759393"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"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":[[2007]]},"DOI":"10.1007\/978-3-540-75939-3_9","type":"book-chapter","created":{"date-parts":[[2007,10,27]],"date-time":"2007-10-27T05:47:10Z","timestamp":1193464030000},"page":"127-137","source":"Crossref","is-referenced-by-count":5,"title":["Towards the Generalization of Mundici\u2019s \u0393 Functor to IMTL Algebras: The Linearly Ordered Case"],"prefix":"10.1007","author":[{"given":"Francesc","family":"Esteva","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Llu\u00eds","family":"Godo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"Bou, F., Garcia-Cerda\u00f1a, A., Verd\u00fa, V.: On some Substructural Aspects of t-Norm Based Logics. In: Proc. of IPMU 2004, Perugia (Italy), pp. 545\u2013552 (2004)"},{"key":"9_CR2","doi-asserted-by":"publisher","first-page":"615","DOI":"10.1007\/s00153-005-0324-9","volume":"45","author":"F. Bou","year":"2006","unstructured":"Bou, F., Garcia-Cerda\u00f1a, A., Verd\u00fa, V.: On two fragments with negation and without implication of the logic of residuated lattices. Archive for Mathematical Logic\u00a045, 615\u2013647 (2006)","journal-title":"Archive for Mathematical Logic"},{"key":"9_CR3","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1090\/S0002-9947-1958-0094302-9","volume":"88","author":"C.C. Chang","year":"1958","unstructured":"Chang, C.C.: Algebraic analysis of many-valued logics. Transactions of the American Mathematical Society\u00a088, 467\u2013490 (1958)","journal-title":"Transactions of the American Mathematical Society"},{"key":"9_CR4","first-page":"74","volume":"93","author":"C.C. Chang","year":"1959","unstructured":"Chang, C.C.: A new proof of the completeness of the \u0141ukasiewicz axioms. Transactions of the American Mathematical Society\u00a093, 74\u201390 (1959)","journal-title":"Transactions of the American Mathematical Society"},{"key":"9_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-9480-6","volume-title":"Algebraic Foundations of Many-valued Reasoning","author":"R. Cignoli","year":"2000","unstructured":"Cignoli, R., D\u2019Ottaviano, I.M.L., Mundici, D.: Algebraic Foundations of Many-valued Reasoning. Kluwer, Dordrecht (2000)"},{"issue":"3","key":"9_CR6","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1017\/S1446788700036806","volume":"72","author":"A. Dvure\u010denskij","year":"2002","unstructured":"Dvure\u010denskij, A.: Pseudo MV-algebras are intervals in l-groups. J. Austr. Math. Soc.\u00a072(3), 427\u2013445 (2002)","journal-title":"J. Austr. Math. Soc."},{"key":"9_CR7","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1016\/S0165-0114(01)00098-7","volume":"124","author":"F. Esteva","year":"2001","unstructured":"Esteva, F., Godo, L.: Monoidal t-norm based Logic: Towards a logic for left-continuous t-norms. Fuzzy Sets and Systems\u00a0124, 271\u2013288 (2001)","journal-title":"Fuzzy Sets and Systems"},{"key":"9_CR8","doi-asserted-by":"publisher","first-page":"254","DOI":"10.1016\/j.jalgebra.2004.07.002","volume":"283","author":"N. Galatos","year":"2005","unstructured":"Galatos, N., Tsinakis, C.: Generalized MV-algebras. Journal of Algebra\u00a0283, 254\u2013291 (2005)","journal-title":"Journal of Algebra"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Gris\u0306in, V.N.: Predicate and set theoretic calculi on logic without contraction. Math. USSR Izv.\u00a018(1), 42\u201359 (1982)","DOI":"10.1070\/IM1982v018n01ABEH001382"},{"key":"9_CR10","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/978-94-011-0215-5_5","volume-title":"Non-Classical Logics and Their Applications to Fuzzy Subsets","author":"U. H\u00f6hle","year":"1995","unstructured":"H\u00f6hle, U.: Commutative, residuated l-monoids. In: H\u00f6hle, U., Klement, E.P. (eds.) Non-Classical Logics and Their Applications to Fuzzy Subsets, pp. 53\u2013106. Kluwer Acad. Publ., Dordrecht (1995)"},{"key":"9_CR11","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1016\/0022-1236(86)90015-7","volume":"65","author":"D. Mundici","year":"1968","unstructured":"Mundici, D.: Interpretation of AF C*-algebras in \u0141ukasiewicz sentential calculus. Journal of Functional Analysis\u00a065, 15\u201363 (1968)","journal-title":"Journal of Functional Analysis"}],"container-title":["Lecture Notes in Computer Science","Algebraic and Proof-theoretic Aspects of Non-classical Logics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75939-3_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T02:01:19Z","timestamp":1556935279000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75939-3_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540759386","9783540759393"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75939-3_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}