{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T08:13:04Z","timestamp":1760170384524},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2007,5,23]],"date-time":"2007-05-23T00:00:00Z","timestamp":1179878400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Soft Comput"],"published-print":{"date-parts":[[2007,10,29]]},"DOI":"10.1007\/s00500-007-0184-9","type":"journal-article","created":{"date-parts":[[2007,5,23]],"date-time":"2007-05-23T07:57:30Z","timestamp":1179907050000},"page":"321-333","source":"Crossref","is-referenced-by-count":24,"title":["Strong non-standard completeness for fuzzy logics"],"prefix":"10.1007","volume":"12","author":[{"given":"Tommaso","family":"Flaminio","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2007,5,23]]},"reference":[{"issue":"6","key":"184_CR1","doi-asserted-by":"crossref","first-page":"1356","DOI":"10.4153\/CJM-1986-069-0","volume":"38","author":"LP Belluce","year":"1986","unstructured":"Belluce LP (1986) Semisimple MV-algebras of infinite-valued logic and bold fuzzy set theory. Can J Math 38(6):1356\u20131379","journal-title":"Can J Math"},{"key":"184_CR2","doi-asserted-by":"crossref","unstructured":"Blok WJ, Pigozzi D (1989) Algebraizable logics. Memb Am Math Soc 396(77)","DOI":"10.1090\/memo\/0396"},{"key":"184_CR3","volume-title":"A course in Universal Algebra","author":"S Burrus","year":"1980","unstructured":"Burrus S, Sankappanavar HP (1980) A course in Universal Algebra. Springer, Heidelberg"},{"key":"184_CR4","volume-title":"Model theory","author":"CC Chang","year":"1973","unstructured":"Chang CC, Keisler HJ (1973) Model theory. North-Holland, Amsterdam"},{"key":"184_CR5","doi-asserted-by":"crossref","first-page":"449","DOI":"10.1007\/s00153-002-0152-0","volume":"42","author":"P Cintula","year":"2003","unstructured":"Cintula P (2003) Advances in the \u0141\u03a0 and \u0141\u03a01\/2 logics. Arch Math Logic 42:449\u2013468","journal-title":"Arch Math Logic"},{"key":"184_CR6","doi-asserted-by":"crossref","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 IML, Mundici D (2000a) Algebraic Foundations of Many-valued Reasoning. Kluwer, Dordrecht"},{"key":"184_CR7","doi-asserted-by":"crossref","first-page":"106","DOI":"10.1007\/s005000000044","volume":"4","author":"R Cignoli","year":"2000","unstructured":"Cignoli R, Esteva F, Godo L, Torrens A (2000b) Basic fuzzy logic is the logic of continuous t-norms and their residua. Soft Comput 4:106\u2013112","journal-title":"Soft Comput"},{"key":"184_CR8","volume-title":"Fuzzy Logic","author":"A Di Nola","year":"1993","unstructured":"Di Nola A (1993) MV-algebras in the treatment of uncertainty. In: Lowen R, Rubens M (eds) Fuzzy Logic. Kluwer, Dordrecht"},{"key":"184_CR9","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1007\/978-94-017-1652-9_11","volume-title":"Fuzzy sets, logics, and reasoning about knowledge","author":"A Di Nola","year":"1999","unstructured":"Di Nola A, Georgescu G, Lettieri A (1999) Conditional states in finite-valued logic. In: Klement EP, Dubois D, Prade H (eds) Fuzzy sets, logics, and reasoning about knowledge. Kluwer, Dordrecht, pp 161\u2013174"},{"key":"184_CR10","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1016\/S0165-0114(01)00098-7","volume":"124","author":"F Esteva","year":"2001","unstructured":"Esteva F, Godo L (2001) Monoidal t-norm based logic: towards a logic for left-continuous t-norms. Fuzzy Sets Syst 124:271\u2013288","journal-title":"Fuzzy Sets Syst"},{"issue":"5","key":"184_CR11","first-page":"811","volume":"10","author":"F Esteva","year":"2000","unstructured":"Esteva F, Godo L, H\u00e1jek P (2000) Reasoning about probability using fuzzy logic. Neural Netw World 10(5):811\u2013824","journal-title":"Neural Netw World"},{"key":"184_CR12","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1007\/s001530050173","volume":"40","author":"F Esteva","year":"2001","unstructured":"Esteva F, Godo L, Montagna F (2001) \u0141\u03a0 and \u0141\u03a01\/2: two complete fuzzy systems joining \u0141ukasiewicz and Product logics. Arch Math Logic 40:39\u201367","journal-title":"Arch Math Logic"},{"key":"184_CR13","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1023\/A:1016548805869","volume":"71","author":"F Esteva","year":"2002","unstructured":"Esteva F, Gispert J, Godo L, Montagna F (2002) On the standard and rational completeness for some axiomatic extension of the monoidal t-norm logic. Studia Logica 71:199\u2013226","journal-title":"Studia Logica"},{"key":"184_CR14","doi-asserted-by":"crossref","unstructured":"Flaminio T (2005) A zero-layer based fuzzy probabilistic logic for conditional probability. In: Llu\u00eds Godo (ed) Lecture Notes in Artificial Intelligence, vol 3571, 8th European Conference on Symbolic and Quantitaive Approaches on Reasoning under Uncertainty ECSQARU\u201905, Barcelona, Spain, July 2005, pp 714\u2013725","DOI":"10.1007\/11518655_60"},{"key":"184_CR15","doi-asserted-by":"crossref","unstructured":"Flaminio T (2007) NP-containment for the coherence tests of assessment of conditional probability: a fuzzy-logical approach. Arch Math Logic (in press)","DOI":"10.1007\/s00153-007-0045-3"},{"key":"184_CR16","doi-asserted-by":"crossref","unstructured":"Flaminio T, Godo L (2006) A logic for reasoning about the probability of fuzzy events. Fuzzy Sets Syst (in press)","DOI":"10.1016\/j.fss.2006.11.008"},{"key":"184_CR17","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1007\/s00153-004-0253-z","volume":"44","author":"T Flaminio","year":"2005","unstructured":"Flaminio T, Montagna F (2005) A logical and algebraic treatment of conditional probability. Arch Math Logic 44:245\u2013262","journal-title":"Arch Math Logic"},{"key":"184_CR18","unstructured":"Gerla B (2001) Many-valed Logics of Continuous t-norms and their functional representation. Ph.D. Thesis, University of Milan"},{"key":"184_CR19","first-page":"81","volume-title":"Selected Papers on \u0141ukasiewicz Sentencial Calculi","author":"R Grigolia","year":"1977","unstructured":"Grigolia R (1977) Algebraic analysis of \u0141ukasiewicz-Tarski n-valued logical systems. In: W\u00f3jcicki R, Malinowski G (Eds) Selected Papers on \u0141ukasiewicz Sentencial Calculi. Polish Academy of Science, Ossolineum, Wroc\u0142aw, pp 81\u201391"},{"key":"184_CR20","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5300-3","volume-title":"Metamathematics fo fuzzy logic","author":"P H\u00e1jek","year":"1998","unstructured":"H\u00e1jek P (1998) Metamathematics fo fuzzy logic, Kluwer, Dordrecht"},{"key":"184_CR21","first-page":"237","volume-title":"Proceedings of uncertainty in artificial intelligence UAI\u201995","author":"P H\u00e1jek","year":"1995","unstructured":"H\u00e1jek P, Godo L, Esteva F (1995) Probability and fuzzy logic. In: Besnard, Hanks (eds) Proceedings of uncertainty in artificial intelligence UAI\u201995. Morgan Kaufmann, San Francisco, pp 237\u2013244"},{"key":"184_CR22","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1007\/s00153-004-0254-y","volume":"44","author":"R Hor\u010d\u00edk","year":"2005","unstructured":"Hor\u010d\u00edk R (2005) Standard completeness theorem for \u03a0MTL logic. Arch Math Logic 44:413\u2013424","journal-title":"Arch Math Logic"},{"key":"184_CR23","doi-asserted-by":"crossref","unstructured":"Hor\u010d\u00edk R (2007) On the failure of standard completeness in \u03a0MTL for infinite theories. Fuzzy Sets Syst (in press)","DOI":"10.1016\/j.fss.2006.11.009"},{"key":"184_CR24","doi-asserted-by":"crossref","first-page":"477","DOI":"10.1007\/s00153-004-0214-6","volume":"43","author":"R Hor\u010d\u00edk","year":"2004","unstructured":"Hor\u010d\u00edk R, Cintula P (2004) Product \u0141ukasiewicz logic. Arch Math Logic 43:477\u2013503","journal-title":"Arch Math Logic"},{"key":"184_CR25","unstructured":"Hurd AE, Loeb PA (1985) An introduction to nonstandard real analysis. Academic, Orlando"},{"key":"184_CR26","doi-asserted-by":"crossref","unstructured":"Jenei S, Montagna F (2002) A proof of standard completeness for Esteva and Godo\u2019s logic MTL. Studia Logica 70:183\u2013192","DOI":"10.1023\/A:1015122331293"},{"issue":"2","key":"184_CR27","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1016\/j.fss.2004.04.010","volume":"149","author":"T Kroupa","year":"2005","unstructured":"Kroupa T (2005) Conditional probability on MV-algebras. Fuzzy Sets Syst 149(2):369\u2013381","journal-title":"Fuzzy Sets Syst"},{"key":"184_CR28","doi-asserted-by":"crossref","first-page":"2771","DOI":"10.1016\/j.fss.2006.06.015","volume":"157","author":"T Kroupa","year":"2006","unstructured":"Kroupa T (2006) Every state on semisimple MV-algebra is integral. Fuzzy Sets Syst 157:2771\u20132782","journal-title":"Fuzzy Sets Syst"},{"key":"184_CR29","doi-asserted-by":"crossref","unstructured":"Marchioni E, Godo L (2004) A logic for reasoning about coherent conditional probability: a fuzzy modal logic approach. In: Alferes JJ, Leite J (eds) Lecture Notes in Artificial Intelligence, vol 3229. 9th European Conference on Logic in Artificial Intelligence JELIA\u201904. Lisbon, Portugal, September 2004, pp 213\u2013225","DOI":"10.1007\/978-3-540-30227-8_20"},{"issue":"3","key":"184_CR30","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1016\/S0022-4049(00)00169-9","volume":"164","author":"F Montagna","year":"2001","unstructured":"Montagna F, Panti G (2001) Adding structures to MV-algebras. J Pure Appl Algebra 164(3):365\u2013387","journal-title":"J Pure Appl Algebra"},{"key":"184_CR31","doi-asserted-by":"crossref","first-page":"423","DOI":"10.1093\/logcom\/exl002","volume":"16","author":"F Montagna","year":"2006","unstructured":"Montagna F, Noguera C, Hor\u010d\u00edk R (2006) On weakly cancellative fuzzy logics. J Logic Comput 16:423\u2013450","journal-title":"J Logic Comput"},{"issue":"1","key":"184_CR32","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1007\/BF01053035","volume":"55","author":"D Mundici","year":"1995","unstructured":"Mundici D (1995) Averaging the truth-value in \u0141ukasiewicz logic. Studia Logica 55(1):113\u2013127","journal-title":"Studia Logica"},{"key":"184_CR33","unstructured":"Noguera C (2006) Algebraic study of axiomatic extensions of triangular norm based fuzzy logics. Ph.D. Thesis, Barcelona"},{"key":"184_CR34","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1002\/malq.19790250304","volume":"25","author":"J Pavelka","year":"1979","unstructured":"Pavelka J (1979) On fuzzy logic I, II, III. Zeitschr f Math Logik Grundl Math 25:45\u201352, 119\u2013134, 447\u2013464","journal-title":"Zeitschr f Math Logik Grundl Math"},{"key":"184_CR35","doi-asserted-by":"crossref","DOI":"10.1515\/9781400884223","volume-title":"Non-standard analysis","author":"A Robinson","year":"1996","unstructured":"Robinson A (1996) Non-standard analysis. North-Holland, Amsterdam"}],"container-title":["Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-007-0184-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00500-007-0184-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-007-0184-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T01:39:51Z","timestamp":1559093991000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00500-007-0184-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,5,23]]},"references-count":35,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2007,10,29]]}},"alternative-id":["184"],"URL":"https:\/\/doi.org\/10.1007\/s00500-007-0184-9","relation":{},"ISSN":["1432-7643","1433-7479"],"issn-type":[{"value":"1432-7643","type":"print"},{"value":"1433-7479","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,5,23]]}}}