{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:03:06Z","timestamp":1725559386401},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540273264"},{"type":"electronic","value":"9783540318880"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11518655_55","type":"book-chapter","created":{"date-parts":[[2010,7,15]],"date-time":"2010-07-15T14:45:39Z","timestamp":1279205139000},"page":"650-661","source":"Crossref","is-referenced-by-count":0,"title":["Brun Normal Forms for Co-atomic \u0141ukasiewicz Logics"],"prefix":"10.1007","author":[{"given":"Stefano","family":"Aguzzoli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ottavio M.","family":"D\u2019Antona","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vincenzo","family":"Marra","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"55_CR1","unstructured":"Aguzzoli, S., Marra, V.: Finitely presented MV algebras with finite automorphism group (Submitted)"},{"key":"55_CR2","unstructured":"Brentjes, A.J.: Multi\u2013dimensional continued fraction algorithms. Mathematical Centre Tracts\u00a0145 (1981)"},{"key":"55_CR3","unstructured":"Brun, V.: En generalisation av kjederbr\u00f8ken I. Skr. Vidensk. Selsk. Kristiania 6 (1919)"},{"key":"55_CR4","unstructured":"Brun, V.: En generalisation av kjederbr\u00f8ken II. Skr. Vidensk. Selsk. Kristiania 6 (1920)"},{"key":"55_CR5","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. Trans. Amer. Math. Soc.\u00a088, 467\u2013490 (1958)","journal-title":"Trans. Amer. Math. Soc."},{"key":"55_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-9480-6","volume-title":"Algebraic Foundations of Many-Valued Reasoning, Trends in Logic","author":"R. Cignoli","year":"2000","unstructured":"Cignoli, R., D\u2019Ottaviano, I.M.L., Mundici, D.: Algebraic Foundations of Many-Valued Reasoning, Trends in Logic, vol.\u00a07. Kluwer, Dordrecht (2000)"},{"key":"55_CR7","series-title":"Graduate Texts in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-4044-0","volume-title":"Combinatorial Convexity and Algebraic Geometry","author":"G. Ewald","year":"1996","unstructured":"Ewald, G.: Combinatorial Convexity and Algebraic Geometry. Graduate Texts in Mathematics, vol.\u00a0168. Springer, Berlin (1996)"},{"key":"55_CR8","unstructured":"Grigolia, R.: An algebraic analysis of \u0141ukasiewicz\u2013Tarski\u2019s n-valued logical systems. In: W\u00f3jcicki, R., Malinowski, G. (eds.) Selected Papers on \u0141ukasiewicz Sentential Calculi, Ossolineum, Wroc\u0142aw, pp. 81\u201392 (1977)"},{"key":"55_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/2268660","volume":"16","author":"R. McNaughton","year":"1951","unstructured":"McNaughton, R.: A theorem about infinite-valued sentential logic. Journal of Symbolic Logic\u00a016, 1\u201313 (1951)","journal-title":"Journal of Symbolic Logic"},{"key":"55_CR10","doi-asserted-by":"publisher","first-page":"596","DOI":"10.2307\/2275410","volume":"59","author":"D. Mundici","year":"1994","unstructured":"Mundici, D.: A constructive proof of McNaughton\u2019s Theorem in infinite-valued logics. Journal of Symbolic Logic\u00a059, 596\u2013602 (1994)","journal-title":"Journal of Symbolic Logic"},{"key":"55_CR11","doi-asserted-by":"publisher","first-page":"563","DOI":"10.2307\/2275851","volume":"60","author":"G. Panti","year":"1995","unstructured":"Panti, G.: A geometric proof of the completeness of the \u0141ukasiewicz calculus. Journal of Symbolic Logic\u00a060, 563\u2013578 (1995)","journal-title":"Journal of Symbolic Logic"},{"key":"55_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1090\/S0002-9947-1958-0094299-1","volume":"87","author":"A. Rose","year":"1958","unstructured":"Rose, A., Rosser, J.B.: Fragments of many-valued statement calculi. Trans. Amer. Math. Soc.\u00a087, 1\u201353 (1958)","journal-title":"Trans. Amer. Math. Soc."}],"container-title":["Lecture Notes in Computer Science","Symbolic and Quantitative Approaches to Reasoning with Uncertainty"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11518655_55.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:45:59Z","timestamp":1619505959000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11518655_55"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540273264","9783540318880"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/11518655_55","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}