{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,11]],"date-time":"2024-08-11T23:29:44Z","timestamp":1723418984812},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"8","license":[{"start":{"date-parts":[[2009,9,12]],"date-time":"2009-09-12T00:00:00Z","timestamp":1252713600000},"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":[[2009,12]]},"DOI":"10.1007\/s00153-009-0145-3","type":"journal-article","created":{"date-parts":[[2009,9,11]],"date-time":"2009-09-11T14:31:13Z","timestamp":1252679473000},"page":"719-736","source":"Crossref","is-referenced-by-count":6,"title":["Supersound many-valued logics and Dedekind-MacNeille completions"],"prefix":"10.1007","volume":"48","author":[{"given":"Matteo","family":"Bianchi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Franco","family":"Montagna","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,9,12]]},"reference":[{"key":"145_CR1","unstructured":"Aglian\u00f3 P., Montagna F. (2003). Varieties of BL-algebras I: general properties. J. Pure Appl. Algebra 181(2\u20133): 105\u2013129 doi: 10.1016\/S0022-4049(02 )00329-8 11"},{"key":"145_CR2","doi-asserted-by":"crossref","unstructured":"Chang, C.C.: Algebraic analysis of many-valued logics. Trans. Am. Math. Soc. 88, 467\u2013490 (1958). http:\/\/www.jstor.org\/stable\/1993227 8","DOI":"10.1090\/S0002-9947-1958-0094302-9"},{"key":"145_CR3","unstructured":"Cignoli, R., Torrens, A.: An algebraic analysis of product logic. Mult. Valued Logic 5(1), 45\u201365 (2000) 8"},{"key":"145_CR4","doi-asserted-by":"crossref","unstructured":"Cintula, P., Esteva, F., Gispert, J., Godo, L., Montagna, F., Noguera, C.: Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies. Ann. Pure. Appl. Logic 160(1), 53\u201381 (2009). doi: 10.1016\/j.apal.2009.01.012 5, 17","DOI":"10.1016\/j.apal.2009.01.012"},{"key":"145_CR5","unstructured":"Cintula, P., H\u00e1jek, P.: Triangular norm predicate fuzzy logics. Submitted for Publication (2009). A preprint is available on http:\/\/www.cs.cas.cz\/cintula\/CintulaHajek-predik 4, 5"},{"key":"145_CR6","unstructured":"Dummett, M.: A propositional calculus with denumerable matrix. J. Symb. Logic 24(2), 97\u2013106 (1959). http:\/\/www.jstor.org\/stable\/2964753 2"},{"key":"145_CR7","doi-asserted-by":"crossref","unstructured":"Esteva, F., Gispert, J., Godo, L., Montagna, F.: On the standard and rational completeness of some axiomatic extensions of the monoidal T-norm logic. Stud. Logica 71(2), 199\u2013226 (2002). doi: 10.1023\/A:1016548805869 2, 6","DOI":"10.1023\/A:1016548805869"},{"key":"145_CR8","unstructured":"Esteva, F., Godo, L.: Monoidal t-norm based logic: towards a logic for left-continuous t-norms. Fuzzy Syst. 124(3), 271\u2013288 (2001). doi: 10.1016\/S0165-0114(01 )00098-7 1, 2, 3, 6, 7"},{"key":"145_CR9","doi-asserted-by":"crossref","unstructured":"Esteva, F., Godo, L., H\u00e1jek, P.: A complete many-valued logics with product-conjunction. Arch. Math. Logic 35(3), 191\u2013208 (1996). doi: 10.1007\/BF01268618 2","DOI":"10.1007\/BF01268618"},{"key":"145_CR10","doi-asserted-by":"crossref","unstructured":"Esteva, F., Godo, L., H\u00e1jek, P., Navara, M.: Residuated fuzzy logics with an involutive negation. Arch. Math. Logic 4(2), 103\u2013124 (2000). doi: 10.1007\/s001530050006 2","DOI":"10.1007\/s001530050006"},{"key":"145_CR11","unstructured":"G\u00f6del, K.: On the intuitionistic propositional calculus (1932). In: Feferman, S., Jr. Connolly, J.W.D., Goldfarb, W., Parsons, C., Sieg, W. (eds.) Kurt G\u00f6del Collected Works, vol. 1, Publications: 1929\u20131936. Paperback edn., Oxford University Press, Oxford (2001). ISBN:9780195147209 2"},{"key":"145_CR12","unstructured":"H\u00e1jek P.: Metamathematics of Fuzzy logic. In: Trends in Logic, vol. 4. Paperback edn., Kluwer Academic Publishers (2002). ISBN: 9781402003707 1, 2, 4, 6, 7, 8, 10"},{"key":"145_CR13","unstructured":"H\u00e1jek, P.: Observations on the monoidal t-norm logic. Fuzzy Syst. 132(1), 107\u2013112 (2002). doi: 10.1016\/S0165-0114(02 )00057-X 2"},{"key":"145_CR14","unstructured":"H\u00e1jek, P., Paris, J.B., Shepherdson, J.C.: Rational pavelka predicate logic is a conservative extension of \u0141ukasiewicz predicate logic. J. Symb. Logic 65(2), 669\u2013682 (2000). http:\/\/www.jstor.org\/stable\/2586560 1, 5, 7, 17"},{"key":"145_CR15","unstructured":"H\u00e1jek, P., Shepherdson, J.C.: A note on the notion of truth in fuzzy logic. Ann. Pure Appl. Logic 109(1-2), 65\u201369 (2001). doi: 10.1016\/S0168-0072(01 )00041-0 1, 5, 7, 17"},{"key":"145_CR16","doi-asserted-by":"crossref","unstructured":"Hor\u010d\u00edk, R., Montagna, F., Noguera, C.: On weakly cancellative Fuzzy logics. J. Logic Comput. 16(4), 423\u2013450 (2006). doi: 10.1093\/logcom\/exl002 3","DOI":"10.1093\/logcom\/exl002"},{"key":"145_CR17","unstructured":"\u0141ukasiewicz, J., Tarski, A. : Investigations into the sentential calculus. In: Borkowski, L. (ed.) Jan \u0141ukasiewicz Selected Works Studies in Logic and the Foundations of Mathematics, pp. . North Holland Publishing\u2013Amsterdam Polish Scientific, Warszawa (1970). ISBN:720422523 2"},{"key":"145_CR18","unstructured":"Labuschagne, C., van Alten, C.: On the MacNeille completion of MTL-chains. In: Proceedings of the Ninth International Conference on Intelligent Technologies, October 7\u20139, Samui, Thailand (2008) 1, 6, 7, 9"},{"key":"145_CR19","doi-asserted-by":"crossref","unstructured":"Montagna, F., Ono, H.: Kripke semantics, undecidability and standard completeness for Esteva and Godo\u2019s logic MTL\u2200. Stud. Logica 71(2), 227\u2013245 (2002). doi: 10.1023\/A:1016500922708 6","DOI":"10.1023\/A:1016500922708"},{"key":"145_CR20","doi-asserted-by":"crossref","unstructured":"Montagna, F., Sacchetti, L.: Kripke-style semantics for many-valued logics. Math. Logic Q. 49(6), 629\u2013641 (2003). doi: 10.1002\/malq.200310068 6","DOI":"10.1002\/malq.200310068"},{"key":"145_CR21","unstructured":"Noguera, C.: Algebraic study of axiomatic extensions of triangular norm based fuzzy logics. Ph.D. thesis, IIIA-CSIC (2006). Available on http:\/\/www.carlesnoguera.cat\/files\/NogueraPhDThesis.pdf 2"},{"key":"145_CR22","unstructured":"van Alten, C.J.: Preservation theorems for MTL-chains. Submitted for publication (2009) 1, 6, 7, 9"},{"key":"145_CR23","doi-asserted-by":"crossref","unstructured":"Wang, S.: A Fuzzy logic for the revised drastic product t-norm. Soft Comput. A Fus. Found. Methodol. Appl. 11(6), 585\u2013590 (2007). doi: 10.1007\/s00500-006-0134-y 3, 6","DOI":"10.1007\/s00500-006-0134-y"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-009-0145-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-009-0145-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-009-0145-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T19:36:43Z","timestamp":1558640203000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-009-0145-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,9,12]]},"references-count":23,"journal-issue":{"issue":"8","published-print":{"date-parts":[[2009,12]]}},"alternative-id":["145"],"URL":"https:\/\/doi.org\/10.1007\/s00153-009-0145-3","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,9,12]]}}}