{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T18:18:27Z","timestamp":1694629107620},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"5-6","license":[{"start":{"date-parts":[[2007,3,14]],"date-time":"2007-03-14T00:00:00Z","timestamp":1173830400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2007,3,14]],"date-time":"2007-03-14T00:00:00Z","timestamp":1173830400000},"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":["Arch. Math. Logic"],"published-print":{"date-parts":[[2007,7]]},"DOI":"10.1007\/s00153-007-0033-7","type":"journal-article","created":{"date-parts":[[2007,3,13]],"date-time":"2007-03-13T11:00:21Z","timestamp":1173783621000},"page":"347-363","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Normal forms for fuzzy logics: a proof-theoretic approach"],"prefix":"10.1007","volume":"46","author":[{"given":"Petr","family":"Cintula","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"George","family":"Metcalfe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2007,3,14]]},"reference":[{"key":"33_CR1","unstructured":"Aguzzoli, S.: Geometric and proof-theoretic issues in \u00faukasiewicz propositional logics. Ph.D. Thesis, University of Siena, Siena (1998)"},{"issue":"4","key":"33_CR2","doi-asserted-by":"publisher","first-page":"939","DOI":"10.2307\/2273828","volume":"52","author":"A. Avron","year":"1987","unstructured":"Avron A. (1987). A constructive analysis of RM. J. Symb. Logic 52(4): 939\u2013951","journal-title":"J. Symb. Logic"},{"issue":"2","key":"33_CR3","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1023\/A:1013813806341","volume":"69","author":"A. Avron","year":"2001","unstructured":"Avron A. and Konikowska B. (2001). Decomposition proof systems for G\u00f6del\u2013Dummett logics. Studia Logica 69(2): 197\u2013219","journal-title":"Studia Logica"},{"key":"33_CR4","doi-asserted-by":"crossref","unstructured":"Baaz, M., Ferm\u00fcller, C.G.: Analytic calculi for projective logics. In: Murray, N. (ed.) Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX\u201999, Lecture Notes in Computer Science, vol. 1617, pp. 36\u201350. Springer, Saratoga Springs (1999)","DOI":"10.1007\/3-540-48754-9_8"},{"issue":"7","key":"33_CR5","doi-asserted-by":"publisher","first-page":"461","DOI":"10.1007\/s001530050151","volume":"38","author":"M. Baaz","year":"1999","unstructured":"Baaz M. and Veith H. (1999). Interpolation in fuzzy logic. Arch. Math. Logic 38(7): 461\u2013489","journal-title":"Arch. Math. Logic"},{"key":"33_CR6","doi-asserted-by":"crossref","unstructured":"Cignoli, R., D\u2019Ottaviano, I., Mundici, D.: Algebraic foundations of many-valued reasoning. Trends in Logic, vol. 7. Kluwer, Dordercht (1999)","DOI":"10.1007\/978-94-015-9480-6_2"},{"issue":"1","key":"33_CR7","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/j.fss.2003.06.001","volume":"143","author":"P. Cintula","year":"2004","unstructured":"Cintula P. and Gerla B. (2004). Semi-normal forms and functional representation of product fuzzy logic. Fuzzy Sets Syst. 143(1): 89\u2013110","journal-title":"Fuzzy Sets Syst."},{"issue":"8","key":"33_CR8","first-page":"465","volume":"22","author":"N. Dershowitz","year":"1979","unstructured":"Dershowitz N. and Manna Z. (1979). Proving termination with multiset orderings. Commun. Assoc. Comput. Mach. 22(8): 465\u2013476","journal-title":"Commun. Assoc. Comput. Mach."},{"issue":"6","key":"33_CR9","doi-asserted-by":"publisher","first-page":"795","DOI":"10.1007\/s00153-004-0230-6","volume":"43","author":"A. Di Nola","year":"2004","unstructured":"Di Nola A. and Lettieri A. (2004). On normal forms in \u0141ukasiewicz logic. Arch. Math. Logic 43(6): 795\u2013823","journal-title":"Arch. Math. Logic"},{"key":"33_CR10","doi-asserted-by":"crossref","unstructured":"H\u00e1jek, P.: Metamathematics of fuzzy logic. Trends in Logic, vol.~4. Kluwer, Dordercht (1998)","DOI":"10.1007\/978-94-011-5300-3"},{"issue":"4","key":"33_CR11","doi-asserted-by":"publisher","first-page":"532","DOI":"10.1093\/logcom\/13.4.469","volume":"13","author":"P. H\u00e1jek","year":"2003","unstructured":"H\u00e1jek P., Godo L., Esteva F. and Montagna F. (2003). Hoops and fuzzy logic. J. Logic Comput. 13(4): 532\u2013555","journal-title":"J. Logic Comput."},{"issue":"1","key":"33_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/2268660","volume":"16","author":"R. McNaughton","year":"1951","unstructured":"McNaughton R. (1951). A theorem about infinite-valued sentential logic. J. Symb. Logic 16(1): 1\u201313","journal-title":"J. Symb. Logic"},{"issue":"7","key":"33_CR13","doi-asserted-by":"publisher","first-page":"859","DOI":"10.1007\/s00153-004-0225-3","volume":"43","author":"G. Metcalfe","year":"2004","unstructured":"Metcalfe G., Olivetti N. and Gabbay D. (2004). Analytic proof calculi for product logics. Arch. Math. Logic 43(7): 859\u2013889","journal-title":"Arch. Math. Logic"},{"issue":"3","key":"33_CR14","doi-asserted-by":"publisher","first-page":"578","DOI":"10.1145\/1071596.1071600","volume":"6","author":"G. Metcalfe","year":"2005","unstructured":"Metcalfe G., Olivetti N. and Gabbay D. (2005). Sequent and hypersequent calculi for Abelian and \u0141ukasiewicz logics. ACM Trans. Comput. Logic 6(3): 578\u2013613","journal-title":"Comput. Logic"},{"issue":"2","key":"33_CR15","doi-asserted-by":"publisher","first-page":"596","DOI":"10.2307\/2275410","volume":"59","author":"D. Mundici","year":"1994","unstructured":"Mundici D. (1994). A constructive proof of McNaughton\u2019s Theorem in infinite-valued logics. J. Symb. Logic 59(2): 596\u2013602","journal-title":"J. Symb. Logic"},{"key":"33_CR16","volume-title":"Mathematical Principles of Fuzzy Logic","author":"V. Nov\u00e1k","year":"2000","unstructured":"Nov\u00e1k V., Perfilieva I. and Mo\u010dko\u0159 J. (2000). Mathematical Principles of Fuzzy Logic. Kluwer, Dordrecht"},{"key":"33_CR17","unstructured":"Robinson, J.A., Voronkov, A. (eds.): Handbook of Automated Reasoning (in 2 volumes). Elsevier and MIT Press, Amsterdam (2001)"},{"key":"33_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/1993083","volume":"87","author":"A. Rose","year":"1958","unstructured":"Rose A. and Rosser J. (1958). Fragments of many-valued statement calculi. Trans. Ame. Math. Soc. 87: 1\u201353","journal-title":"Trans. Ame. Math. Soc."}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-007-0033-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00153-007-0033-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-007-0033-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-007-0033-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,18]],"date-time":"2022-05-18T02:05:42Z","timestamp":1652839542000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00153-007-0033-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,3,14]]},"references-count":18,"journal-issue":{"issue":"5-6","published-print":{"date-parts":[[2007,7]]}},"alternative-id":["33"],"URL":"https:\/\/doi.org\/10.1007\/s00153-007-0033-7","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,3,14]]},"assertion":[{"value":"19 July 2006","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"1 November 2006","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"14 March 2007","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}