{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T19:06:48Z","timestamp":1766084808862,"version":"3.48.0"},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2025,11,4]],"date-time":"2025-11-04T00:00:00Z","timestamp":1762214400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,11,4]],"date-time":"2025-11-04T00:00:00Z","timestamp":1762214400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Log. Univers."],"published-print":{"date-parts":[[2025,12]]},"DOI":"10.1007\/s11787-025-00395-1","type":"journal-article","created":{"date-parts":[[2025,11,4]],"date-time":"2025-11-04T08:34:06Z","timestamp":1762245246000},"page":"603-618","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A Note on Fixed Points in \u0141ukasiewicz Logic"],"prefix":"10.1007","volume":"19","author":[{"given":"Abhishek","family":"De","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,11,4]]},"reference":[{"issue":"1","key":"395_CR1","doi-asserted-by":"publisher","first-page":"276","DOI":"10.2307\/2274919","volume":"56","author":"A Avron","year":"1991","unstructured":"Avron, A.: Natural 3-valued logics-characterization and proof theory. J. Symb. Log. 56(1), 276\u2013294 (1991)","journal-title":"J. Symb. Log."},{"issue":"169","key":"395_CR2","doi-asserted-by":"publisher","first-page":"465","DOI":"10.2307\/2220287","volume":"42","author":"SV Bhave","year":"1992","unstructured":"Bhave, S.V.: The liar paradox and many-valued logic. The Philosophical Quarterly 42(169), 465\u2013479 (1992)","journal-title":"The Philosophical Quarterly"},{"issue":"7","key":"395_CR3","doi-asserted-by":"publisher","first-page":"461","DOI":"10.1007\/s001530050151","volume":"38","author":"M Baaz","year":"1999","unstructured":"Baaz, M., Veith, H.: Interpolation in fuzzy logic. Arch. Math. Logic 38(7), 461\u2013489 (1999)","journal-title":"Arch. Math. Logic"},{"key":"395_CR4","doi-asserted-by":"crossref","unstructured":"Chang, C.C.: A new proof of the completeness of the \u0141ukasiewicz axioms. Trans. Am. Math. Soc. 93(1), 74\u201380 (1959)","DOI":"10.1090\/S0002-9947-1959-0122718-1"},{"issue":"1","key":"395_CR5","doi-asserted-by":"publisher","first-page":"339","DOI":"10.2307\/2586541","volume":"65","author":"P H\u00e1jek","year":"2000","unstructured":"H\u00e1jek, P., Paris, J., Shepherdson, J.: The liar paradox and fuzzy logic. J. Symb. Log. 65(1), 339\u2013346 (2000)","journal-title":"J. Symb. Log."},{"issue":"1","key":"395_CR6","first-page":"39","volume":"9","author":"PS Krzystek","year":"1977","unstructured":"Krzystek, P.S., Zachorowski, S.: Lukasiewicz logics have not the interpolation property. Reports on Mathematical Logic 9(1), 39\u201340 (1977)","journal-title":"Reports on Mathematical Logic"},{"key":"395_CR7","doi-asserted-by":"crossref","unstructured":"Litak, T.: Ruitenburg\u2019s theorem mechanized and contextualized. Preprint presented at FICS, (2024)","DOI":"10.4204\/EPTCS.435.4"},{"key":"395_CR8","first-page":"169","volume":"5","author":"J \u0141ukasiewicz","year":"1920","unstructured":"\u0141ukasiewicz, J.: O logice tr\u00f3jwarto\u015bciowej (on three-valued logic). Ruch Filozoficzny 5, 169\u2013171 (1920)","journal-title":"Ruch Filozoficzny"},{"key":"395_CR9","first-page":"235","volume":"12","author":"S Maehara","year":"1960","unstructured":"Maehara, S.: On the interpolation theorem of craig (in japanese). S\u016bgaku 12, 235 (1960)","journal-title":"S\u016bgaku"},{"issue":"1","key":"395_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/2268660","volume":"16","author":"R McNaughton","year":"1951","unstructured":"McNaughton, R.: A theorem about infinite-valued sentential logic. The Journal of Symbolic Logic 16(1), 1\u201313 (1951)","journal-title":"The Journal of Symbolic Logic"},{"key":"395_CR11","doi-asserted-by":"crossref","unstructured":"Meredith, C.A.: The dependence of an axiom of \u0141ukasiewicz. Trans. Am. Math. Soc. 87(1), 54\u201354 (1958)","DOI":"10.1090\/S0002-9947-1958-0094300-5"},{"key":"395_CR12","volume-title":"Upper-Expectation Bisimilarity and \u0141ukasiewicz $$\\mu $$-Calculus, page 335\u2013350","author":"M Mio","year":"2014","unstructured":"Mio, M.: Upper-Expectation Bisimilarity and \u0141ukasiewicz $$\\mu $$-Calculus, page 335\u2013350. Springer, Berlin Heidelberg (2014)"},{"key":"395_CR13","doi-asserted-by":"crossref","unstructured":"Metcalfe, G., Olivetti, N., Gabbay, D.: Sequent and hypersequent calculi for Abelian and \u0141ukasiewicz logics. ACM Trans. Comput. Log. 6(3), 578\u2013613 (2005)","DOI":"10.1145\/1071596.1071600"},{"issue":"1","key":"395_CR14","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1016\/j.apal.2005.11.001","volume":"141","author":"F Montagna","year":"2006","unstructured":"Montagna, F.: Interpolation and Beth\u2019s property in propositional many-valued logics: A semantic investigation. Ann. Pure Appl. Logic 141(1), 148\u2013179 (2006)","journal-title":"Ann. Pure Appl. Logic"},{"issue":"3\u20134","key":"395_CR15","first-page":"317","volume":"150","author":"M Mio","year":"2017","unstructured":"Mio, M., Simpson, A.: \u0141ukasiewicz $$\\mu $$-calculus. Fund. Inform. 150(3\u20134), 317\u2013346 (2017)","journal-title":"Fund. Inform."},{"issue":"1\/3","key":"395_CR16","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/s11225-011-9352-0","volume":"99","author":"D Mundici","year":"2011","unstructured":"Mundici, D.: Consequence and interpolation in \u0141ukasiewicz logic. Studia Logica: An International Journal for Symbolic Logic 99(1\/3), 269\u2013278 (2011)","journal-title":"Studia Logica: An International Journal for Symbolic Logic"},{"issue":"1","key":"395_CR17","doi-asserted-by":"publisher","first-page":"33","DOI":"10.2307\/2275175","volume":"57","author":"AM Pitts","year":"1992","unstructured":"Pitts, A.M.: On an interpretation of second order quantification in first order intuitionistic propositional logic. The Journal of Symbolic Logic 57(1), 33\u201352 (1992)","journal-title":"The Journal of Symbolic Logic"},{"issue":"1","key":"395_CR18","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/BF02125899","volume":"15","author":"WA Pogorzelski","year":"1964","unstructured":"Pogorzelski, W.A.: The deduction theorem for \u0141ukasiewicz many-valued propositional calculi. Stud. Logica. 15(1), 7\u201319 (1964)","journal-title":"Stud. Logica."},{"issue":"1","key":"395_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1090\/S0002-9947-1958-0094299-1","volume":"87","author":"Alan Rose","year":"1958","unstructured":"Rose, Alan, Barkley Rosser, J.: Fragments of many-valued statement calculi. Transactions of the American Mathematical Society 87(1), 1\u201353 (1958)","journal-title":"Transactions of the American Mathematical Society"},{"key":"395_CR20","doi-asserted-by":"crossref","unstructured":"Ruitenburg, W.: On the period of sequences (An(p)) in intuitionistic propositional calculus. J. Symb. Log. 49(3), 892\u2013899 (1984)","DOI":"10.2307\/2274142"},{"key":"395_CR21","volume-title":"Simpson","author":"G Stephen","year":"2009","unstructured":"Stephen, G.: Simpson. Subsystems of Second Order Arithmetic. Cambridge University Press, United Kingdom (2009)"},{"issue":"7","key":"395_CR22","doi-asserted-by":"publisher","first-page":"741","DOI":"10.1007\/s00153-008-0105-3","volume":"47","author":"L Spada","year":"2008","unstructured":"Spada, L.: \u0141$$\\pi $$ logic with fixed points. Arch. Math. Logic 47(7), 741\u2013763 (2008)","journal-title":"Arch. Math. Logic"},{"key":"395_CR23","doi-asserted-by":"crossref","unstructured":"Spada, L.: $$\\mu $$MV-algebras: An approach to fixed points in \u0141ukasiewicz logic. Fuzzy Sets and Systems 159(10), 1260\u20131267 (2008). Mathematical and Logical Foundations of Soft Computing","DOI":"10.1016\/j.fss.2007.12.010"},{"key":"395_CR24","doi-asserted-by":"crossref","unstructured":"Walukiewicz, I.: Completeness of Kozen\u2019s axiomatisation of the propositional $$\\mu $$-calculus. Inf. Comput. 157(1), 142\u2013182 (2000)","DOI":"10.1006\/inco.1999.2836"},{"key":"395_CR25","unstructured":"Zach, R.: Proof Theory of Finite-valued Logics. PhD thesis, Technische Universit\u00e4t Wien, Vienna, Austria, (1993)"}],"container-title":["Logica Universalis"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-025-00395-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11787-025-00395-1","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-025-00395-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T13:57:04Z","timestamp":1766066224000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11787-025-00395-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,4]]},"references-count":25,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2025,12]]}},"alternative-id":["395"],"URL":"https:\/\/doi.org\/10.1007\/s11787-025-00395-1","relation":{},"ISSN":["1661-8297","1661-8300"],"issn-type":[{"type":"print","value":"1661-8297"},{"type":"electronic","value":"1661-8300"}],"subject":[],"published":{"date-parts":[[2025,11,4]]},"assertion":[{"value":"15 July 2025","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"16 October 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"4 November 2025","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}