{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,5,16]],"date-time":"2024-05-16T17:37:30Z","timestamp":1715881050531},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2004,4,23]],"date-time":"2004-04-23T00:00:00Z","timestamp":1082678400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2004,8]]},"DOI":"10.1007\/s00153-004-0230-6","type":"journal-article","created":{"date-parts":[[2004,4,22]],"date-time":"2004-04-22T08:41:42Z","timestamp":1082623302000},"page":"795-823","source":"Crossref","is-referenced-by-count":10,"title":["On normal forms in \u0141ukasiewicz logic"],"prefix":"10.1007","volume":"43","author":[{"given":"A.","family":"Di Nola","sequence":"first","affiliation":[]},{"given":"A.","family":"Lettieri","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2004,4,23]]},"reference":[{"key":"230_CR1","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1006\/aama.1998.0581","volume":"21","author":"Aguzzoli","year":"1998","unstructured":"Aguzzoli, S.: The Complexity of McNaughton Functions of One Variable. Adv. Appl. Math. 21, 58\u201377 (1998)","journal-title":"Adv. Appl. Math."},{"key":"230_CR2","unstructured":"Aguzzoli, S.: Geometric and Proof-Theoretic Issues in Lukasiewicz Propositional Logics. PhD. thesis, University of Siena, Italy, 1998"},{"key":"230_CR3","doi-asserted-by":"crossref","first-page":"461","DOI":"10.1007\/s001530050151","volume":"38","author":"Baaz","year":"1998","unstructured":"Baaz, M., Veith, H.: Interpolation in fuzzy logic. Arch. Math. Logic 38, 461\u2013489 (1998)","journal-title":"Arch. Math. Logic"},{"key":"230_CR4","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1090\/S0002-9947-1958-0094302-9","volume":"88","author":"Chang","year":"1958","unstructured":"Chang, C.C.: Algebraic Analysis of infinite valued logic. Trans. Am. Math Soc 88, 467\u2013490 (1958)","journal-title":"Trans. Am. Math Soc"},{"key":"230_CR5","first-page":"74","volume":"93","author":"Chang","year":"1959","unstructured":"Chang, C.C.: A new proof of the completeness of the \u0141ukasiewicz axioms. Trans. Am. Math. Soc. 93, 74\u201390 (1959)","journal-title":"Trans. Am. Math. Soc."},{"key":"230_CR6","doi-asserted-by":"crossref","unstructured":"Cignoli, R., D\u2019Ottaviano, I.M.L., Mundici, D.: Algebraic Foundations of Many-Valued Reasoning. Trends in Logic, Volume~7, Kluwer, Dordrecht, 1999","DOI":"10.1007\/978-94-015-9480-6_2"},{"key":"230_CR7","unstructured":"Di Nola, A., Georgescu, G., Lettieri, A.: Exstending Probabilities to States of MV-algebras. Collegium Logicum, Annals of the Kurt Goedel Society, 1999, pp. 3\u201330"},{"key":"230_CR8","doi-asserted-by":"crossref","first-page":"667","DOI":"10.1006\/jabr.1999.8136","volume":"225","author":"Nola","year":"2000","unstructured":"Di Nola, A., Lettieri, A.: One chain generated varieties of MV-algebras. J. Algebra 225, 667\u2013697 (2000)","journal-title":"J. Algebra"},{"key":"230_CR9","unstructured":"Gerla, B.: Rational \u0141ukasiewicz logic and Divisible MV-algebras. Neural Networks World 10, (2001)"},{"key":"230_CR10","doi-asserted-by":"crossref","unstructured":"Hajek, P.: Metamathematics of Fuzzy Logic. Trends in Logic, Kluwer, Dordrecht, 1998","DOI":"10.1007\/978-94-011-5300-3"},{"key":"230_CR11","unstructured":"\u0141ukasiewicz, J., Tarski, A.: Untersuchungen uber den Aussagenkalkul, Comptes Rendus des s\u00e9ances de la Soci\u00e9t\u00e9 des Sciences et des Lettres de Varsovie, Classe III 23, 30\u201350 (1930)"},{"key":"230_CR12","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2268660","volume":"16","author":"McNaughton","year":"1951","unstructured":"McNaughton, R.: A theorem about infinite-valued sentential logic. J. Symbolic Logic 16, 1\u201313 (1951)","journal-title":"J. Symbolic Logic"},{"key":"230_CR13","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1016\/0022-1236(86)90015-7","volume":"65","author":"Mundici","year":"1986","unstructured":"Mundici, D.: Interpretation of AFC* -algebras in \u0141ukasiewicz sentential calculus. J. Funct. Anal. 65, 15\u201363 (1986)","journal-title":"J. Funct. Anal."},{"key":"230_CR14","doi-asserted-by":"crossref","first-page":"596","DOI":"10.2307\/2275410","volume":"59","author":"Mundici","year":"1994","unstructured":"Mundici, D.: A constructive proof of McNaughton\u2019s Theorem in infinite-valued logics. J. Symbolic Logic 59, 596\u2013602 (1994)","journal-title":"J. Symbolic Logic"},{"key":"230_CR15","doi-asserted-by":"crossref","unstructured":"Novak, V., Perfilieva, I., Mockor, J.: Mathematical Principles of Fuzzy Logic. Kluwer Academic Publishers, 1999","DOI":"10.1007\/978-1-4615-5217-8"},{"key":"230_CR16","doi-asserted-by":"crossref","first-page":"563","DOI":"10.2307\/2275851","volume":"60","author":"Panti","year":"1995","unstructured":"Panti, G.: A geometric proof of the completeness of the \u0141ukasiewicz calculus. J. Symbolic Logic 60, 563\u2013578 (1995)","journal-title":"J. Symbolic Logic"},{"key":"230_CR17","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1016\/S0165-0114(01)00107-5","volume":"124","author":"Perfilieva","year":"2001","unstructured":"Perfilieva, I.: Normal forms for fuzzy logic functions and their approximation ability. Fuzzy Sets and Systems 124, 371\u2013384 (2001)","journal-title":"Fuzzy Sets and Systems"},{"key":"230_CR18","first-page":"1","volume":"64","author":"Perfilieva","year":"1995","unstructured":"Perfilieva, I., Tonis, A.: Functional System in Fuzzy Logic Formal Theory. BUSEFAL 64, 1\u201353 (1995)","journal-title":"BUSEFAL"},{"key":"230_CR19","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1090\/S0002-9947-1958-0094299-1","volume":"87","author":"Rose","year":"1958","unstructured":"Rose, A., Rosser, J.B.: Fragments of many-valued sentential calculi. Trans. Am. Math. Soc. 87, 74\u201380 (1958)","journal-title":"Trans. Am. Math. Soc."},{"key":"230_CR20","unstructured":"Wagner, H.: A new resolution calculus for the infinite-valued propositional logic of \u0141ukasiewicz. To appear on Journal of Applied Non Classical Logic"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-004-0230-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-004-0230-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-004-0230-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,1]],"date-time":"2020-04-01T17:11:33Z","timestamp":1585761093000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-004-0230-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,4,23]]},"references-count":20,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2004,8]]}},"alternative-id":["230"],"URL":"https:\/\/doi.org\/10.1007\/s00153-004-0230-6","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004,4,23]]}}}