{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T19:00:20Z","timestamp":1766084420983},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"7-8","license":[{"start":{"date-parts":[[2008,9,25]],"date-time":"2008-09-25T00:00:00Z","timestamp":1222300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2008,11]]},"DOI":"10.1007\/s00153-008-0105-3","type":"journal-article","created":{"date-parts":[[2008,9,24]],"date-time":"2008-09-24T07:23:26Z","timestamp":1222241006000},"page":"741-763","source":"Crossref","is-referenced-by-count":5,"title":["\u0141\u03a0 logic with fixed points"],"prefix":"10.1007","volume":"47","author":[{"given":"Luca","family":"Spada","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2008,9,25]]},"reference":[{"key":"105_CR1","doi-asserted-by":"crossref","unstructured":"Aho, A.V., Ulmann, J.D.: Universality of data retrieval languages. In: 6th ACM symposium on principles of programming languages, pp. 110\u2013117 (1979)","DOI":"10.1145\/567752.567763"},{"key":"105_CR2","doi-asserted-by":"crossref","unstructured":"Bigard, A., Keimel, K., Wolfenstein, S.: Groupes at Anneaux Reticul\u00e9s. Lectures Notes in Mathematics, vol. 608. Kluwer, Dordrecht (1977)","DOI":"10.1007\/BFb0067004"},{"key":"105_CR3","doi-asserted-by":"crossref","unstructured":"Blok, W.J., Pigozzi, D.: Algebraizable logics. Memoirs of Am. Math. Soc. 396(77) (1989)","DOI":"10.1090\/memo\/0396"},{"issue":"1","key":"105_CR4","doi-asserted-by":"crossref","first-page":"26","DOI":"10.2178\/jsl\/1174668382","volume":"71","author":"A. Beckmann","year":"2007","unstructured":"Beckmann A., Preining N.: Linear Kripke frames and G\u00f6del logic. J. Symbol. Logic 71(1), 26\u201344 (2007)","journal-title":"J. Symbol. Logic"},{"key":"105_CR5","doi-asserted-by":"crossref","unstructured":"Cauchy, A.: In: Oevres (2), vol. 9, Chapter Sur la resolution des equations numeriques et sur la theorie de l\u2019elimination, pp. 87\u2013161. Gauthier-Villars, Paris (1891)","DOI":"10.1017\/CBO9780511702686.007"},{"key":"105_CR6","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.: Basic fuzzy logic is the logic of t-norms and their residua. Soft Comput. 4, 106\u2013112 (2000)","journal-title":"Soft Comput."},{"key":"105_CR7","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1090\/S0002-9947-1958-0094302-9","volume":"88","author":"C.C. Chang","year":"1958","unstructured":"Chang C.C.: Algebraic analysis of many valued logic. Trans. Am. Math. Soc 88, 467\u2013490 (1958)","journal-title":"Trans. Am. Math. Soc"},{"issue":"8","key":"105_CR8","doi-asserted-by":"crossref","first-page":"575","DOI":"10.1007\/s00500-004-0400-9","volume":"9","author":"P. Cintula","year":"2005","unstructured":"Cintula P.: A note on the definition of L\u03a0 algebras. Soft Comput. 9(8), 575\u2013578 (2005)","journal-title":"Soft Comput."},{"key":"105_CR9","doi-asserted-by":"crossref","first-page":"65","DOI":"10.2178\/bsl\/1182353853","volume":"8","author":"A. Dawar","year":"2002","unstructured":"Dawar A., Gurevich Y.: Fixed points logics. Bull. Symbol. Logic 8, 65\u201390 (2002)","journal-title":"Bull. Symbol. Logic"},{"key":"105_CR10","first-page":"219","volume":"6","author":"F. Esteva","year":"1999","unstructured":"Esteva F., Godo L.: Putting together \u0141ukasiewiczand product logic. Mathw Soft Comput. 6, 219\u2013234 (1999)","journal-title":"Mathw Soft Comput."},{"key":"105_CR11","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1007\/s001530050173","volume":"40","author":"F. Esteva","year":"2001","unstructured":"Esteva F., Godo L., Montagna F.: The L\\Pi and L $${{\\rm\\Pi\\frac{1}{2}}}$$ logics: two complete fuzzy systems joining \u0141ukasiewiczand product logics. Arch. Math. Logic 40, 39\u201367 (2001)","journal-title":"Arch. Math. Logic"},{"key":"105_CR12","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1007\/s00153-004-0253-z","volume":"44","author":"T. Flaminio","year":"2005","unstructured":"Flaminio T., Montagna F.: A logical and algebraic treatment of conditional probability. Arch. Math. Logic 44, 245\u2013262 (2005)","journal-title":"Arch. Math. Logic"},{"issue":"1\u20133","key":"105_CR13","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1007\/s11225-006-8305-5","volume":"83","author":"N. Galatos","year":"2006","unstructured":"Galatos N., Ono H.: Algebraization, parametrized local deduction theorem and interpolation for substructural logics over fl. Stud. Logica 83(1\u20133), 279\u2013308 (2006)","journal-title":"Stud. Logica"},{"key":"105_CR14","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1007\/s005000050043","volume":"2","author":"P. H\u00e1jek","year":"1998","unstructured":"H\u00e1jek P.: Basic fuzzy logic and BL algebras. Soft Comput. 2, 124\u2013128 (1998)","journal-title":"Soft Comput."},{"key":"105_CR15","doi-asserted-by":"crossref","unstructured":"H\u00e1jek, P.: Metamathematics of Fuzzy Logic. Trends in Logic, Studia Logica Library, vol. 4. Kluwer, Berlin (1998)","DOI":"10.1007\/978-94-011-5300-3"},{"issue":"5","key":"105_CR16","first-page":"811","volume":"10","author":"P. H\u00e1jek","year":"2000","unstructured":"H\u00e1jek P., Godo L., Esteva F.: Reasoning about probability in fuzzy logic. Neural Network World 10(5), 811\u2013824 (2000)","journal-title":"Neural Network World"},{"key":"105_CR17","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.: Results on the propositional mu-calculus. Theor. Comp. Sci. 27, 333\u2013354 (1983)","journal-title":"Theor. Comp. Sci."},{"issue":"2","key":"105_CR18","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1093\/logcom\/exl044","volume":"17","author":"E. Marchioni","year":"2007","unstructured":"Marchioni E., Montagna F.: Complexity and definability issues in \u0141 $${{\\rm \\Pi\\frac{1}{2}}}$$ . J. Logic Comput. 17(2), 311\u2013331 (2007)","journal-title":"J. Logic Comput."},{"key":"105_CR19","doi-asserted-by":"crossref","first-page":"186","DOI":"10.2307\/2271899","volume":"40","author":"R. McKenzie","year":"1975","unstructured":"McKenzie R.: On spectra, and the negative solution of the decision problem for identities having a finite nontrivial mode. J. Symbol. Logic 40, 186\u2013196 (1975)","journal-title":"J. Symbol. Logic"},{"key":"105_CR20","unstructured":"McKenzie, R., McNulty, G., Taylor, W.: Algebras, Lattices, Varieties. Wadsworth and Brooks\/Cole, Monterey (1987)"},{"key":"105_CR21","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1023\/A:1008322226835","volume":"9","author":"F. Montagna","year":"2000","unstructured":"Montagna F.: An algebraic approach to propositional fuzzy logic. J. Logic Lang. Inf. 9, 91\u2013124 (2000)","journal-title":"J. Logic Lang. Inf."},{"issue":"1\u20132","key":"105_CR22","doi-asserted-by":"crossref","first-page":"148","DOI":"10.1016\/j.apal.2005.11.001","volume":"149","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 149(1\u20132), 148\u2013179 (2006)","journal-title":"Ann. Pure Appl. Logic"},{"key":"105_CR23","volume-title":"Elementary Induction on Abstract Structures","author":"Y.N. Moschovakis","year":"1974","unstructured":"Moschovakis Y.N.: Elementary Induction on Abstract Structures. North Holland, Amsterdam (1974)"},{"issue":"6","key":"105_CR24","doi-asserted-by":"crossref","first-page":"629","DOI":"10.1002\/malq.200310068","volume":"49","author":"F. Montagna","year":"2003","unstructured":"Montagna F., Sacchetti L.: Kripke-style semantics for many-valued logics. Math. Logic Quart. 49(6), 629\u2013641 (2003)","journal-title":"Math. Logic Quart."},{"key":"105_CR25","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/s00500-003-0338-3","volume":"9\/3","author":"F. Montagna","year":"2005","unstructured":"Montagna F., Spada L.: Continuous approximations of MV-algebras with product and product residuation. Soft Comput. 9\/3, 149\u2013154 (2005)","journal-title":"Soft Comput."},{"issue":"2","key":"105_CR26","doi-asserted-by":"crossref","first-page":"596","DOI":"10.2307\/2275410","volume":"59","author":"D. Mundici","year":"1994","unstructured":"Mundici D.: If-then-else and rule extraction from two sets of rules. J. Symbol. Logic 59(2), 596\u2013602 (1994)","journal-title":"J. Symbol. Logic"},{"key":"105_CR27","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1006\/aama.1998.0631","volume":"22","author":"D. Mundici","year":"1999","unstructured":"Mundici D.: Tensor product and the Loomis Sikorski theorem for MV algebras. Adv. Appl. Math. 22, 227\u2013248 (1999)","journal-title":"Adv. Appl. Math."},{"key":"105_CR28","doi-asserted-by":"crossref","first-page":"285","DOI":"10.2140\/pjm.1955.5.285","volume":"5","author":"A. Tarski","year":"1955","unstructured":"Tarski A.: A lattice-theoretical fixed point theorem and its applications. Pac. J. Math. 5, 285\u2013309 (1955)","journal-title":"Pac. J. Math."}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-008-0105-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-008-0105-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-008-0105-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T19:36:42Z","timestamp":1558640202000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-008-0105-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,9,25]]},"references-count":28,"journal-issue":{"issue":"7-8","published-print":{"date-parts":[[2008,11]]}},"alternative-id":["105"],"URL":"https:\/\/doi.org\/10.1007\/s00153-008-0105-3","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,9,25]]}}}