{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,19]],"date-time":"2025-09-19T08:59:43Z","timestamp":1758272383064},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2016,9,21]],"date-time":"2016-09-21T00:00:00Z","timestamp":1474416000000},"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-2344-2","type":"journal-article","created":{"date-parts":[[2016,9,21]],"date-time":"2016-09-21T07:48:23Z","timestamp":1474444103000},"page":"29-37","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["An expansion of Basic Logic with fixed points"],"prefix":"10.1007","volume":"21","author":[{"given":"Luca","family":"Spada","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,9,21]]},"reference":[{"key":"2344_CR1","doi-asserted-by":"crossref","first-page":"739","DOI":"10.1016\/S0049-237X(08)71120-0","volume-title":"Handbook of mathematical logic, volume 90 of studies in logic","author":"P Aczel","year":"1977","unstructured":"Aczel P (1977) An introduction to inductive definition. In: Barwise J (ed) Handbook of mathematical logic, volume 90 of studies in logic. Amsterdam, North-Holland, pp 739\u2013782"},{"key":"2344_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:105\u2013129","journal-title":"J Pure Appl Algebra"},{"key":"2344_CR3","doi-asserted-by":"crossref","unstructured":"Blok WJ, Ferreirim IMA (2000) On the structure of hoops. Algebra Univ 43:233\u2013257","DOI":"10.1007\/s000120050156"},{"key":"2344_CR4","volume-title":"Algebraic foundations of many-valued reasoning, volume 7 of trends in logic, Studia Logica library","author":"R Cignoli","year":"2000","unstructured":"Cignoli R, D\u2019Ottaviano I, Mundici D (2000) Algebraic foundations of many-valued reasoning, volume 7 of trends in logic, Studia Logica library. Kluwer Academic, Berlin"},{"key":"2344_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 t-norms and their residua. Soft Comput 4:106\u2013112","journal-title":"Soft Comput"},{"key":"2344_CR6","volume-title":"Handbook of mathematical fuzzy logic (in 2 volumes), volume 37 and 38 of studies in logic, mathematical logic and foundations","year":"2011","unstructured":"Cintula P, H\u00e0jek P, Noguera C (eds) (2011) Handbook of mathematical fuzzy logic (in 2 volumes), volume 37 and 38 of studies in logic, mathematical logic and foundations. College Publications, London"},{"key":"2344_CR7","doi-asserted-by":"crossref","first-page":"65","DOI":"10.2178\/bsl\/1182353853","volume":"8","author":"A Dawar","year":"2002","unstructured":"Dawar A, Gurevich Y (2002) Fixed points logics. Bull Symb Logic 8:65\u201390","journal-title":"Bull Symb Logic"},{"issue":"2","key":"2344_CR8","first-page":"291","volume":"40","author":"A Nola Di","year":"1991","unstructured":"Di Nola A (1991) Representation and reticulation by quotients of MV-algebras. Ric Mat 40(2):291\u2013297","journal-title":"Ric Mat"},{"key":"2344_CR9","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":"2344_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5300-3","volume-title":"Metamathematics of fuzzy logic, volume 4 of trends in logicstudia logica library","author":"P H\u00e1jek","year":"1998","unstructured":"H\u00e1jek P (1998) Metamathematics of fuzzy logic, volume 4 of trends in logicstudia logica library. Kluwer Academic, Berlin"},{"key":"2344_CR11","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1016\/S0165-0114(01)00103-8","volume":"124","author":"P H\u00e1jek","year":"2001","unstructured":"H\u00e1jek P (2001) On very true. Fuzzy Sets Systems 124:329\u2013333","journal-title":"Fuzzy Sets Systems"},{"key":"2344_CR12","first-page":"159","volume":"2","author":"P H\u00e1jek","year":"2002","unstructured":"H\u00e1jek P (2002) Some hedges for continuous t-norm logics. Neural Netw World 2:159\u2013164","journal-title":"Neural Netw World"},{"key":"2344_CR13","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 of Esteva and Godo\u2019s logic MTL. Stud Logica 70:183\u2013192","journal-title":"Stud Logica"},{"key":"2344_CR14","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1016\/0304-3975(82)90125-6","volume":"27","author":"D Kozen","year":"1983","unstructured":"Kozen D (1983) Results on the propositional mu-calculus. Theoret Comput Sci 27:333\u2013354","journal-title":"Theoret Comput Sci"},{"issue":"3","key":"2344_CR15","doi-asserted-by":"crossref","first-page":"476","DOI":"10.1093\/jigpal\/jzp089","volume":"19","author":"E Marchioni","year":"2011","unstructured":"Marchioni E, Spada L (2011) Advances in \u0141 $$\\rm \\Pi $$ \u03a0 logic with fixed points. Logic J IGPL 19(3):476\u2013489","journal-title":"Logic J IGPL"},{"key":"2344_CR16","doi-asserted-by":"publisher","unstructured":"Mio M (2014) Upper-expectation bisimilarity and \u0141ukasiewicz $$\\mu $$ \u03bc -calculus. In: Muscholl A Foundations of software science and computation structures, pp 335\u2013350. Springer Berlin. doi: 10.1007\/978-3-642-54830-7_22","DOI":"10.1007\/978-3-642-54830-7_22"},{"key":"2344_CR17","doi-asserted-by":"crossref","unstructured":"Mio M, Simpson A (2013) \u0141ukasiewicz $$\\mu $$ \u03bc -calculus. EPTCS 126, p 87","DOI":"10.4204\/EPTCS.126.7"},{"key":"2344_CR18","doi-asserted-by":"publisher","unstructured":"Montagna F (2004) Storage operators and multiplicative quantifiers in many valued logics. J Logic Comput 14(2):299\u2013322. doi: 10.1093\/logcom\/14.2.29","DOI":"10.1093\/logcom\/14.2.29"},{"key":"2344_CR19","doi-asserted-by":"crossref","unstructured":"Montagna F (2007) Notes on strong completeness in \u0141ukasiewicz, product and BL logics and in their first-order extensions. In: Aguzzoli S et al (eds) Algebraic and proof-theoretic aspects, vol 4460 of Lectures Notes in Artificial Intelligence. Springer, pp 247\u2013274","DOI":"10.1007\/978-3-540-75939-3_15"},{"issue":"1","key":"2344_CR20","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1016\/j.apal.2010.07.003","volume":"162","author":"L Santocanale","year":"2010","unstructured":"Santocanale L, Venema Y (2010) Completeness for flat modal fixpoint logics. Ann Pure Appl Logic 162(1):55\u201382","journal-title":"Ann Pure Appl Logic"},{"issue":"7\u20138","key":"2344_CR21","doi-asserted-by":"crossref","first-page":"741","DOI":"10.1007\/s00153-008-0105-3","volume":"47","author":"L Spada","year":"2008","unstructured":"Spada L (2008) \u0141 $$\\rm \\Pi $$ \u03a0 logic with fixed points. Arch Math Logic 47(7\u20138):741\u2013763","journal-title":"Arch Math Logic"},{"issue":"10","key":"2344_CR22","doi-asserted-by":"crossref","first-page":"1260","DOI":"10.1016\/j.fss.2007.12.010","volume":"159","author":"L Spada","year":"2008","unstructured":"Spada L (2008) $$\\mu $$ \u03bc MV-algebras: an approach to fixed points in \u0141ukasiewicz logic. Fuzzy Sets Syst 159(10):1260\u20131267","journal-title":"Fuzzy Sets Syst"}],"container-title":["Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-016-2344-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00500-016-2344-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-016-2344-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T19:20:04Z","timestamp":1498332004000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00500-016-2344-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,9,21]]},"references-count":22,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2017,1]]}},"alternative-id":["2344"],"URL":"https:\/\/doi.org\/10.1007\/s00500-016-2344-2","relation":{},"ISSN":["1432-7643","1433-7479"],"issn-type":[{"value":"1432-7643","type":"print"},{"value":"1433-7479","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,9,21]]}}}