{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T11:49:25Z","timestamp":1759146565588},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2009,2,11]],"date-time":"2009-02-11T00:00:00Z","timestamp":1234310400000},"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":[[2010,2]]},"DOI":"10.1007\/s00500-009-0402-8","type":"journal-article","created":{"date-parts":[[2009,2,10]],"date-time":"2009-02-10T16:32:45Z","timestamp":1234283565000},"page":"273-284","source":"Crossref","is-referenced-by-count":19,"title":["Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics"],"prefix":"10.1007","volume":"14","author":[{"given":"Francesc","family":"Esteva","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Llu\u00eds","family":"Godo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carles","family":"Noguera","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,2,11]]},"reference":[{"key":"402_CR1","doi-asserted-by":"crossref","first-page":"604","DOI":"10.1016\/j.fss.2005.10.005","volume":"157","author":"L B\u011bhounek","year":"2006","unstructured":"B\u011bhounek L, Cintula P (2006) Fuzzy logics as the logics of chains. Fuzzy Sets Syst 157:604\u2013610","journal-title":"Fuzzy Sets Syst"},{"key":"402_CR2","unstructured":"Blok WJ, Pigozzi D (1989) Algebraizable logics. Mem Am Math Soc 396, vol 77"},{"key":"402_CR3","unstructured":"Cignoli R (2000) Notas para el curso \u00c1lgebras de la l\u00f3gica borrosa. Department of Mathematics, F.C.E. y N., University of Buenos Aires (in English)"},{"key":"402_CR5","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 (2000) Basic fuzzy logic is the logic of continuous t-norms and their residua. Soft Comput 4:106\u2013112","journal-title":"Soft Comput"},{"key":"402_CR4","doi-asserted-by":"crossref","unstructured":"Cignoli R, Esteva F, Godo L (2007) On Lukasiewicz logic with truth constants. In: Castillo O et\u00a0al (eds) Theoretical advances and applications of fuzzy logic and soft computing ASC 42. Springer, Heidelberg, pp 869\u2013875","DOI":"10.1007\/978-3-540-72434-6_88"},{"key":"402_CR6","doi-asserted-by":"crossref","unstructured":"Cintula P, Esteva F, Gispert J, Godo L, Montagna F, Noguera C (2009) Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies. Ann Pure Appl Logic (to appear)","DOI":"10.1016\/j.apal.2009.01.012"},{"key":"402_CR7","first-page":"141","volume":"4","author":"F Esteva","year":"1980","unstructured":"Esteva F, Domingo X (1980) Sobre negaciones fuertes y d\u00e9biles en [0,1]. Stochastica 4:141\u2013166","journal-title":"Stochastica"},{"key":"402_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"},{"key":"402_CR8","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 of some axiomatic extensions of monoidal t-norm based logic. Stud Log 71:199\u2013226","journal-title":"Stud Log"},{"key":"402_CR11","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1023\/B:STUD.0000032084.12744.e3","volume":"76","author":"F Esteva","year":"2004","unstructured":"Esteva F, Godo L, Montagna F (2004) Equational characterization of the subvarieties of BL generated by t-norm algebras. Stud Log 76:161\u2013200","journal-title":"Stud Log"},{"key":"402_CR12","first-page":"9","volume":"12","author":"F Esteva","year":"2006","unstructured":"Esteva F, Godo L, Noguera C (2006a) On rational weak nilpotent minimum logics. J Multiple Valued Log Soft Comput 12:9\u201332","journal-title":"J Multiple Valued Log Soft Comput"},{"key":"402_CR13","unstructured":"Esteva F, Godo L, Noguera C (2006b) Real, rational and finite chain semantics for fuzzy logics, Actas del XIII congreso espa\u00f1ol sobre tecnolog\u00ed as y l\u00f3gica fuzzy ESTYLF 2006. Ciudad Real, pp 83\u201388"},{"key":"402_CR9","doi-asserted-by":"crossref","first-page":"597","DOI":"10.1016\/j.fss.2006.11.010","volume":"158","author":"F Esteva","year":"2007","unstructured":"Esteva F, Gispert J, Godo L, Noguera C (2007a) Adding truth-constants to logics of a continuous t-norm: axiomatization and completeness results. Fuzzy Sets Syst 158:597\u2013618","journal-title":"Fuzzy Sets Syst"},{"key":"402_CR15","first-page":"233","volume":"14","author":"F Esteva","year":"2007","unstructured":"Esteva F, Godo L, Noguera C (2007b) On completeness results for predicate \u0141ukasiewicz, Product, G\u00f6del, and Nilpotent minimum logics expanded with truth-constants. Mathw Soft Comput 14:233\u2013246","journal-title":"Mathw Soft Comput"},{"key":"402_CR14","doi-asserted-by":"crossref","unstructured":"Esteva F, Godo L, Noguera C (2009) On expansions of t-norm based logics with truth-constants. In: Gottwald S, H\u00e1jek P, H\u00f6hle U, Klement EP (eds) Fuzzy logics and related structures (to appear)","DOI":"10.1016\/j.fss.2009.09.002"},{"key":"402_CR16","first-page":"37","volume":"2","author":"YS Gurevich","year":"1963","unstructured":"Gurevich YS, Kokorin AI (1963) Universal equivalence of ordered abelian groups. Algebra Log 2:37\u201339 (in Russian)","journal-title":"Algebra Log"},{"key":"402_CR17","doi-asserted-by":"crossref","unstructured":"H\u00e1jek P (1998) Metamathematics of fuzzy logic. Trends in logic-studia logica library, vol 4. Kluwer, Dordrecht","DOI":"10.1007\/978-94-011-5300-3"},{"key":"402_CR18","doi-asserted-by":"crossref","first-page":"677","DOI":"10.1016\/j.fss.2005.12.008","volume":"157","author":"P H\u00e1jek","year":"2006","unstructured":"H\u00e1jek P (2006) Computational complexity of t-norm based propositional fuzzy logics with rational truth-constants. Fuzzy Sets Syst 157:677\u2013682","journal-title":"Fuzzy Sets Syst"},{"key":"402_CR19","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1023\/A:1015122331293","volume":"70","author":"S Jenei","year":"2002","unstructured":"Jenei S, Montagna F (2002) A proof of standard completeness for Esteva and Godo\u2019s logic MTL. Stud Log 70:183\u2013192","journal-title":"Stud Log"},{"key":"402_CR20","doi-asserted-by":"crossref","first-page":"189","DOI":"10.5486\/PMD.1965.12.1-4.19","volume":"12","author":"CH Ling","year":"1965","unstructured":"Ling CH (1965) Representation of associative functions. Publ Math Debrecen 12:189\u2013212","journal-title":"Publ Math Debrecen"},{"key":"402_CR21","doi-asserted-by":"crossref","first-page":"117","DOI":"10.2307\/1969668","volume":"65","author":"PS Mostert","year":"1957","unstructured":"Mostert PS, Shields AL (1957) On the structure of semigroups on a compact manifold with boundary. Ann Math 65:117\u2013143","journal-title":"Ann Math"},{"key":"402_CR22","first-page":"47","volume":"26","author":"V Nov\u00e1k","year":"1990","unstructured":"Nov\u00e1k V (1990a) On the syntactico-semantical completeness of first-order fuzzy logic. Part I. Syntax and semantics. Kybernetika 26:47\u201366","journal-title":"Kybernetika"},{"key":"402_CR23","first-page":"134","volume":"26","author":"V Nov\u00e1k","year":"1990","unstructured":"Nov\u00e1k V (1990b) On the syntactico-semantical completeness of first-order fuzzy logic. Part II. Main results. Kybernetika 26:134\u2013154","journal-title":"Kybernetika"},{"key":"402_CR24","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1002\/malq.200710054","volume":"54","author":"C Noguera","year":"2008","unstructured":"Noguera C, Esteva F, Gispert J (2008) On triangular norm based axiomatic extensions of the weak Nilpotent minimum logic. Math Log Q 54:387\u2013409","journal-title":"Math Log Q"},{"key":"402_CR25","doi-asserted-by":"crossref","unstructured":"Pavelka J (1979) On fuzzy logic I, II, III. Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik 25:45\u201352, 119\u2013134, 447\u2013464","DOI":"10.1002\/malq.19790252510"},{"key":"402_CR26","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1093\/logcom\/exi075","volume":"16","author":"P Savick\u00fd","year":"2006","unstructured":"Savick\u00fd P, Cignoli R, Esteva F, Godo L, Noguera C (2006) On product logic with truth-constants. J Log Comput 16:205\u2013225","journal-title":"J Log Comput"},{"key":"402_CR27","volume-title":"Mathematics behind fuzzy logic","author":"E Turunen","year":"1999","unstructured":"Turunen E (1999) Mathematics behind fuzzy logic. Springer, Heidelberg"}],"container-title":["Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-009-0402-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00500-009-0402-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-009-0402-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,23]],"date-time":"2023-05-23T23:15:12Z","timestamp":1684883712000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00500-009-0402-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,2,11]]},"references-count":27,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2010,2]]}},"alternative-id":["402"],"URL":"https:\/\/doi.org\/10.1007\/s00500-009-0402-8","relation":{},"ISSN":["1432-7643","1433-7479"],"issn-type":[{"value":"1432-7643","type":"print"},{"value":"1433-7479","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,2,11]]}}}