{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,12,18]],"date-time":"2023-12-18T17:37:52Z","timestamp":1702921072868},"reference-count":10,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2006,3,3]],"date-time":"2006-03-03T00:00:00Z","timestamp":1141344000000},"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,1]]},"DOI":"10.1007\/s00500-006-0058-6","type":"journal-article","created":{"date-parts":[[2006,3,2]],"date-time":"2006-03-02T09:28:42Z","timestamp":1141291722000},"page":"123-129","source":"Crossref","is-referenced-by-count":5,"title":["Alternative Proof of Standard Completeness Theorem for MTL"],"prefix":"10.1007","volume":"11","author":[{"given":"Rostislav","family":"Hor\u010d\u00edk","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,3,3]]},"reference":[{"key":"58_CR1","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1007\/s000120200000","volume":"48","author":"WJ Blok","year":"2002","unstructured":"Blok WJ, Alten CJ (2002) The finite embeddability property for residuated lattices, pocrims and BCK-algebras. Algebra Universalis 48:253\u2013271","journal-title":"Algebra Universalis"},{"issue":"4","key":"58_CR2","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1142\/S0218196703001511","volume":"13","author":"K Blount","year":"2003","unstructured":"Blount K, Tsinakis C (2003) The structure of residuated lattices. Int J Algebra Comput 13(4):437\u2013461","journal-title":"Int J Algebra Comput"},{"issue":"3","key":"58_CR3","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 G (2001) Monoidal t-norm based logic: towards a logic for left-continuous t-norms. Fuzzy Sets Syst 124(3):271\u2013288","journal-title":"Fuzzy Sets Syst"},{"issue":"2","key":"58_CR4","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 G, Montagna F (2002) On the standard completeness of some axiomatic extensions of the monoidal t-norm logic. Studia Logica 71(2):199\u2013226","journal-title":"Studia Logica"},{"key":"58_CR5","volume-title":"Partially ordered algebraic systems","author":"L Fuchs","year":"1963","unstructured":"Fuchs L (1963) Partially ordered algebraic systems. Pergamon Press, Oxford"},{"issue":"4","key":"58_CR6","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1007\/s00153-004-0254-y","volume":"44","author":"R Hor\u010d\u00ed k","year":"2005","unstructured":"Hor\u010d\u00ed k R (2005) Standard completeness theorem for \u03a0mtl. Archive for Mathematical Logic 44(4):413\u2013424","journal-title":"Archive for Mathematical Logic"},{"key":"58_CR7","unstructured":"Hor\u010d\u00ed k R (2005) Algebraic properties of fuzzy logics. Ph. D. thesis, Czech Technical University in Prague"},{"key":"58_CR8","volume-title":"Introduction to set theory. Monographs and textbooks in pure and applied mathematics","author":"K Hrbacek","year":"1999","unstructured":"Hrbacek K, Jech T (1999) Introduction to set theory. Monographs and textbooks in pure and applied mathematics, 3rd ed. Dekker, New York","edition":"3"},{"issue":"2","key":"58_CR9","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. Studia Logica 70(2):183\u2013192","journal-title":"Studia Logica"},{"key":"58_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-9540-7","volume-title":"Triangular norms. Trends in logic Vol 8.","author":"EP Klement","year":"2000","unstructured":"Klement EP, Mesiar R, Pap E (2000) Triangular norms. Trends in logic, Vol 8. Kluwer, Dordrecht"}],"container-title":["Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-006-0058-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00500-006-0058-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-006-0058-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,28]],"date-time":"2019-05-28T21:39:47Z","timestamp":1559079587000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00500-006-0058-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,3,3]]},"references-count":10,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2007,1]]}},"alternative-id":["58"],"URL":"https:\/\/doi.org\/10.1007\/s00500-006-0058-6","relation":{},"ISSN":["1432-7643","1433-7479"],"issn-type":[{"value":"1432-7643","type":"print"},{"value":"1433-7479","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,3,3]]}}}