{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T07:16:47Z","timestamp":1648883807096},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2016,10,7]],"date-time":"2016-10-07T00:00:00Z","timestamp":1475798400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Soft Comput"],"published-print":{"date-parts":[[2017,1]]},"DOI":"10.1007\/s00500-016-2346-0","type":"journal-article","created":{"date-parts":[[2016,10,7]],"date-time":"2016-10-07T08:41:40Z","timestamp":1475829700000},"page":"69-77","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Complexity of some language fragments of fuzzy logics"],"prefix":"10.1007","volume":"21","author":[{"given":"Zuzana","family":"Hanikov\u00e1","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,10,7]]},"reference":[{"issue":"1","key":"2346_CR1","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1007\/s11225-007-9078-1","volume":"87","author":"P Aglian\u00f2","year":"2007","unstructured":"Aglian\u00f2 P, Ferreirim IMA, Montagna F (2007) Basic hoops: an algebraic study of continuous t-norms. Stud Logica 87(1):73\u201398","journal-title":"Stud Logica"},{"issue":"2\u20133","key":"2346_CR2","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/S0022-4049(02)00329-8","volume":"181","author":"P Aglian\u00f2","year":"2003","unstructured":"Aglian\u00f2 P, Montagna F (2003) Varieties of BL-algebras I: general properties. J Pure Appl Algebra 181(2\u20133):105\u2013129","journal-title":"J Pure Appl Algebra"},{"issue":"1\u20133","key":"2346_CR3","first-page":"3","volume":"113","author":"M Baaz","year":"2002","unstructured":"Baaz M, H\u00e1jek P, Montagna F, Veith H (2002) Complexity of t-tautologies. Ann Pure Appl Log 113(1\u20133):3\u201311","journal-title":"Ann Pure Appl Log"},{"key":"2346_CR4","unstructured":"Bezhanishvili N, Galatos N, Spada L (2015) Canonical formulas for k-potent commutative, integral, residuated lattices. arXiv:1509.07980"},{"key":"2346_CR5","first-page":"1","volume-title":"Handbook of mathematical fuzzy logic","author":"L B\u011bhounek","year":"2011","unstructured":"B\u011bhounek L, Cintula P, H\u00e1jek P (2011) Introduction to mathematical fuzzy logic. In: Cintula P, H\u00e1jek P, Noguera C (eds) Handbook of mathematical fuzzy logic, vol 1. College Publications, London, pp 1\u2013101"},{"issue":"3","key":"2346_CR6","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1007\/s000120200000","volume":"48","author":"WJ Blok","year":"2002","unstructured":"Blok WJ, van Alten CJ (2002) The finite embeddability property for residuated lattices, pocrims and BCK-algebras. Algebra Universalis 48(3):253\u2013271","journal-title":"Algebra Universalis"},{"key":"2346_CR7","doi-asserted-by":"crossref","first-page":"879","DOI":"10.1145\/1634.1639","volume":"31","author":"PA Bloniarz","year":"1984","unstructured":"Bloniarz PA, Hunt HB III, Rosenkrantz DJ (1984) Algebraic structures with hard equivalence and minimization problems. J ACM 31:879\u2013904","journal-title":"J ACM"},{"key":"2346_CR8","first-page":"5","volume":"43","author":"W Buzskowski","year":"2008","unstructured":"Buzskowski W (2008) On the complexity of some substructural logics. Rep Math Log 43:5\u201324","journal-title":"Rep Math Log"},{"issue":"4","key":"2346_CR9","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1007\/s001530200144","volume":"42","author":"R Cignoli","year":"2003","unstructured":"Cignoli R, Torrens A (2003) H\u00e1jek basic fuzzy logic and \u0141ukasiewicz infinite-valued logic. Arch Math Logic 42(4):361\u2013370","journal-title":"Arch Math Logic"},{"key":"2346_CR10","doi-asserted-by":"crossref","unstructured":"Cignoli R, Torrens A (2006) Free algebras in varieties of Glivenko MTL-algebras satisfying the equation $$2(x^2) = (2x)^2$$ 2 ( x 2 ) = ( 2 x ) 2 . Stud Logica 83(1\u20133):157\u2013181","DOI":"10.1007\/s11225-006-8302-8"},{"issue":"2","key":"2346_CR11","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1093\/logcom\/exn052","volume":"19","author":"P Cintula","year":"2009","unstructured":"Cintula P, H\u00e1jek P (2009) Complexity issues in axiomatic extensions of \u0141ukasiewicz logic. J Log Comput 19(2):245\u2013260","journal-title":"J Log Comput"},{"issue":"1\u20133","key":"2346_CR12","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1016\/j.apal.2007.09.002","volume":"150","author":"P Cintula","year":"2007","unstructured":"Cintula P, H\u00e1jek P, Hor\u010d\u00edk R (2007) Formal systems of fuzzy logic and their fragments. Ann Pure Appl Log 150(1\u20133):40\u201365","journal-title":"Ann Pure Appl Log"},{"issue":"4","key":"2346_CR13","doi-asserted-by":"crossref","first-page":"532","DOI":"10.1093\/logcom\/13.4.532","volume":"13","author":"F Esteva","year":"2003","unstructured":"Esteva F, Godo L, H\u00e1jek P, Montagna F (2003) Hoops and fuzzy logic. J Log Comput 13(4):532\u2013555","journal-title":"J Log Comput"},{"key":"2346_CR14","volume-title":"Residuated lattices: an algebraic glimpse at substructural logics, volume 151 of studies in logic and the foundations of mathematics","author":"N Galatos","year":"2007","unstructured":"Galatos N, Jipsen P, Kowalski T, Ono H (2007) Residuated lattices: an algebraic glimpse at substructural logics, volume 151 of studies in logic and the foundations of mathematics. Elsevier, Amsterdam"},{"key":"2346_CR15","doi-asserted-by":"crossref","first-page":"264","DOI":"10.1007\/s00500-003-0270-6","volume":"8","author":"M Gehrke","year":"2004","unstructured":"Gehrke M, Walker C, Walker E (2004) Varieties generated by T-norms. Soft Comput 8:264\u2013267","journal-title":"Soft Comput"},{"key":"2346_CR16","first-page":"183","volume":"15","author":"MV Glivenko","year":"1929","unstructured":"Glivenko MV (1929) Sur quelques points de la logique de M.\u00a0Brouwer. Bulletins de la classe des sciences 15:183\u2013188","journal-title":"Bulletins de la classe des sciences"},{"key":"2346_CR17","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5300-3","volume-title":"Metamathematics of fuzzy logic, volume 4 of trends in logic","author":"P H\u00e1jek","year":"1998","unstructured":"H\u00e1jek P (1998) Metamathematics of fuzzy logic, volume 4 of trends in logic. Kluwer, Dordrecht"},{"key":"2346_CR18","first-page":"793","volume-title":"Handbook of mathematical fuzzy logic","author":"Z Hanikov\u00e1","year":"2011","unstructured":"Hanikov\u00e1 Z (2011) Computational complexity of propositional fuzzy logics. In: Cintula P, H\u00e1jek P, Noguera C (eds) Handbook of mathematical fuzzy logic, vol 2. College Publications, London, pp 793\u2013851"},{"issue":"31","key":"2346_CR19","doi-asserted-by":"crossref","first-page":"3992","DOI":"10.1016\/j.tcs.2011.04.004","volume":"412","author":"R Hor\u010d\u00edk","year":"2011","unstructured":"Hor\u010d\u00edk R, Terui K (2011) Disjunction property and complexity of substructural logics. Theoret Comput Sci 412(31):3992\u20134006","journal-title":"Theoret Comput Sci"},{"key":"2346_CR20","unstructured":"Kanovich M (1991) The multiplicative fragment of linear logic is NP-complete. Technical Report X-91-13, Institute for Logic, Language and Information, Amsterdam"},{"issue":"1","key":"2346_CR21","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1090\/S0002-9947-1994-1211411-0","volume":"342","author":"A Kisielewicz","year":"1994","unstructured":"Kisielewicz A (1994) Varieties of commutative semigroups. Trans Am Math Soc 342(1):275\u2013306","journal-title":"Trans Am Math Soc"},{"key":"2346_CR22","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1017\/S0027763000018249","volume":"72","author":"Y Komori","year":"1978","unstructured":"Komori Y (1978) Super-\u0141ukasiewicz implicational logics. Nagoya Math J 72:127\u2013133","journal-title":"Nagoya Math J"},{"key":"2346_CR23","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1016\/0001-8708(82)90048-2","volume":"46","author":"EW Mayr","year":"1982","unstructured":"Mayr EW, Meyer AR (1982) The complexity of the word problems for commutative semigroups and polynomial ideals. Adv Math 46:305\u2013329","journal-title":"Adv Math"},{"key":"2346_CR24","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1017\/S0027763000012708","volume":"31","author":"S Miura","year":"1968","unstructured":"Miura S, Nagata S (1968) Certain method for generating a series of logics. Nagoya Math J 31:125\u2013129","journal-title":"Nagoya Math J"},{"issue":"1\u20132","key":"2346_CR25","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1016\/0304-3975(87)90083-1","volume":"52","author":"D Mundici","year":"1987","unstructured":"Mundici D (1987) Satisfiability in many-valued sentential logic is NP-complete. Theoret Comput Sci 52(1\u20132):145\u2013153","journal-title":"Theoret Comput Sci"},{"key":"2346_CR26","doi-asserted-by":"crossref","first-page":"875","DOI":"10.4153\/CJM-1971-098-0","volume":"23","author":"E Nelson","year":"1971","unstructured":"Nelson E (1971) The lattice of equational classes of commutative semigroups. Can J Math 23:875\u2013895","journal-title":"Can J Math"},{"key":"2346_CR27","first-page":"50","volume":"8","author":"H Ono","year":"2010","unstructured":"Ono H (2010) Logic without the contraction rule and residuated lattices. Australas J Log 8:50\u201381","journal-title":"Australas J Log"},{"key":"2346_CR28","doi-asserted-by":"crossref","first-page":"298","DOI":"10.1016\/0021-8693(69)90058-1","volume":"11","author":"P Perkins","year":"1968","unstructured":"Perkins P (1968) Bases for equational theories of semigroups. J Algebra 11:298\u2013314","journal-title":"J Algebra"},{"issue":"1","key":"2346_CR29","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1016\/0304-3975(79)90006-9","volume":"9","author":"R Statman","year":"1979","unstructured":"Statman R (1979) Intuitionistic propositional logic is polynomial-space complete. Theoret Comput Sci 9(1):67\u201372","journal-title":"Theoret Comput Sci"}],"container-title":["Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-016-2346-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00500-016-2346-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-016-2346-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,25]],"date-time":"2017-06-25T00:34:29Z","timestamp":1498350869000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00500-016-2346-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,10,7]]},"references-count":29,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2017,1]]}},"alternative-id":["2346"],"URL":"https:\/\/doi.org\/10.1007\/s00500-016-2346-0","relation":{},"ISSN":["1432-7643","1433-7479"],"issn-type":[{"value":"1432-7643","type":"print"},{"value":"1433-7479","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,10,7]]}}}