{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T03:20:09Z","timestamp":1725852009332},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662496299"},{"type":"electronic","value":"9783662496305"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-662-49630-5_8","type":"book-chapter","created":{"date-parts":[[2016,3,21]],"date-time":"2016-03-21T05:04:32Z","timestamp":1458536672000},"page":"126-141","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Fixed-Point Elimination in the Intuitionistic Propositional Calculus"],"prefix":"10.1007","author":[{"given":"Silvio","family":"Ghilardi","sequence":"first","affiliation":[]},{"given":"Maria Jo\u00e3o","family":"Gouveia","sequence":"additional","affiliation":[]},{"given":"Luigi","family":"Santocanale","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"4","key":"8_CR1","doi-asserted-by":"publisher","first-page":"1367","DOI":"10.2178\/jsl\/1254748696","volume":"74","author":"L Alberucci","year":"2009","unstructured":"Alberucci, L., Facchini, A.: The modal \n                      \n                        \n                      \n                      $$\\mu $$\n                      \n                        \n                          \u03bc\n                        \n                      \n                    -calculus hierarchy on restricted classes of transition systems. J. Symb. Log. 74(4), 1367\u20131400 (2009)","journal-title":"J. Symb. Log."},{"issue":"2","key":"8_CR2","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/s11225-009-9170-9","volume":"91","author":"L Alberucci","year":"2009","unstructured":"Alberucci, L., Facchini, A.: On modal \n                      \n                        \n                      \n                      $$\\mu $$\n                      \n                        \n                          \u03bc\n                        \n                      \n                    -calculus and G\u00f6del-L\u00f6b logic. Studia Logica 91(2), 145\u2013169 (2009)","journal-title":"Studia Logica"},{"key":"8_CR3","volume-title":"Rudiments of $$\\mu $$ \u03bc","author":"A Arnold","year":"2001","unstructured":"Arnold, A., Niwi\u0144ski, D.: Rudiments of \n                      \n                        \n                      \n                      $$\\mu $$\n                      \n                        \n                          \u03bc\n                        \n                      \n                    -calculus. Elsevier, Amsterdam (2001)"},{"key":"8_CR4","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1017\/S0305004113000108","volume":"155","author":"A Bauer","year":"2013","unstructured":"Bauer, A., Lumsdaine, P.L.: On the Bourbaki-Witt principle in toposes. Math. Proc. Cambridge Philos. Soc. 155, 87\u201399 (2013)","journal-title":"Math. Proc. Cambridge Philos. Soc."},{"issue":"2","key":"8_CR5","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/s10703-012-0168-y","volume":"43","author":"N Bertrand","year":"2013","unstructured":"Bertrand, N., Schnoebelen, P.: Computable fixpoints in well-structured symbolic model checking. Formal Meth. Syst. Des. 43(2), 233\u2013267 (2013)","journal-title":"Formal Meth. Syst. Des."},{"key":"8_CR6","unstructured":"Bezhanishvili, N., de Jongh, D.: Intuitionistic Logic. Technical report, Institute for Logic, Language and Computation, Universiteit van Amsterdam, p. 25 (2006)"},{"issue":"1","key":"8_CR7","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1051\/ita\/2012028","volume":"47","author":"P Clairambault","year":"2013","unstructured":"Clairambault, P.: Strong functors and interleaving fixpoints in game semantics. RAIRO - Theory Inf. Appl. 47(1), 25\u201368 (2013)","journal-title":"RAIRO - Theory Inf. Appl."},{"issue":"1&2","key":"8_CR8","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1016\/0304-3975(94)00099-5","volume":"139","author":"JRB Cockett","year":"1995","unstructured":"Cockett, J.R.B., Spencer, D.: Strong categorical datatypes II: a term logic for categorical programming. Theory Comput. Sci. 139(1&2), 69\u2013113 (1995)","journal-title":"Theory Comput. Sci."},{"issue":"1","key":"8_CR9","doi-asserted-by":"publisher","first-page":"310","DOI":"10.2307\/2586539","volume":"65","author":"G D\u2019Agostino","year":"2000","unstructured":"D\u2019Agostino, G., Hollenberg, M.: Logical questions concerning the mu-calculus: interpolation. Lyndon Los-Tarski. J. Symb. Log. 65(1), 310\u2013332 (2000)","journal-title":"Lyndon Los-Tarski. J. Symb. Log."},{"issue":"50","key":"8_CR10","doi-asserted-by":"publisher","first-page":"4273","DOI":"10.1016\/j.tcs.2010.09.002","volume":"411","author":"G D\u2019Agostino","year":"2010","unstructured":"D\u2019Agostino, G., Lenzi, G.: On the \n                      \n                        \n                      \n                      $$\\mu $$\n                      \n                        \n                          \u03bc\n                        \n                      \n                    -calculus over transitive and finite transitive frames. Theory Comput. Sci. 411(50), 4273\u20134290 (2010)","journal-title":"Theory Comput. Sci."},{"key":"8_CR11","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1007\/11787181_13","volume-title":"Conceptual Structures: Inspiration and Application","author":"F Dau","year":"2006","unstructured":"Dau, F.: Some notes on proofs with alpha graphs. In: Sch\u00e4rfe, H., Hitzler, P., \u00d8hrstr\u00f8m, P. (eds.) ICCS 2006. LNCS (LNAI), vol. 4068, pp. 172\u2013188. Springer, Heidelberg (2006)"},{"key":"8_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"446","DOI":"10.1007\/978-3-319-06251-8_27","volume-title":"Relational and Algebraic Methods in Computer Science","author":"S Frittella","year":"2014","unstructured":"Frittella, S., Santocanale, L.: Fixed-point theory in the varieties \n                      \n                        \n                      \n                      $${\\cal D}_{n}$$\n                      \n                        \n                          \n                            D\n                            n\n                          \n                        \n                      \n                    . In: H\u00f6fner, P., Jipsen, P., Kahl, W., M\u00fcller, M.E. (eds.) RAMiCS 2014. LNCS, vol. 8428, pp. 446\u2013462. Springer, Heidelberg (2014)"},{"issue":"1","key":"8_CR13","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/BF01201353","volume":"39","author":"G Gentzen","year":"1935","unstructured":"Gentzen, G.: Untersuchungen \u00fcber das logische Schlie\u00dfen. I. Mathematische Zeitschrift 39(1), 176\u2013210 (1935)","journal-title":"I. Mathematische Zeitschrift"},{"key":"8_CR14","volume-title":"Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics","author":"S Ghilardi","year":"2011","unstructured":"Ghilardi, S., Zawadowski, M.: Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics, 1st edn. Springer Publishing Company, Heidelberg (2011)","edition":"1"},{"issue":"1","key":"8_CR15","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/S0168-0072(97)00012-2","volume":"88","author":"S Ghilardi","year":"1997","unstructured":"Ghilardi, S., Zawadowski, M.W.: Model completions, r-Heyting categories. Ann. Pure Appl. Log. 88(1), 27\u201346 (1997)","journal-title":"Ann. Pure Appl. Log."},{"key":"8_CR16","series-title":"Lecture Notes in Mathematics","volume-title":"Basic Concepts of Enriched Category Theory","author":"G Kelly","year":"1982","unstructured":"Kelly, G.: Basic Concepts of Enriched Category Theory. Lecture Notes in Mathematics, vol. 64. Cambridge University Press, Cambridge (1982). Republished on In: Reprints in Theory and Applications of Categories, vol. 10, pp. 1\u201313 (2005)"},{"issue":"1","key":"8_CR17","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/BF01304852","volume":"23","author":"A Kock","year":"1972","unstructured":"Kock, A.: Strong functors and monoidal monads. Archiv der Mathematik XXIII 23(1), 113\u2013120 (1972)","journal-title":"Archiv der Mathematik XXIII"},{"key":"8_CR18","doi-asserted-by":"publisher","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. Theory Comput. Sci. 27, 333\u2013354 (1983)","journal-title":"Theory Comput. Sci."},{"key":"8_CR19","unstructured":"Lehtinen, K., Quickert, S.: Deciding the first levels of the modal mu alternation hierarchy by formula construction. In: Kreutzer, S. (ed.) 24th EACSL Annual Conference on Computer Science Logic, CSL September 7\u201310, 2015, Berlin, Germany, vol. 41, pp. 457\u2013471. LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2015)"},{"issue":"5","key":"8_CR20","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/BF02261708","volume":"32","author":"SI Mardaev","year":"1993","unstructured":"Mardaev, S.I.: Least fixed points in Grzegorczyk\u2019s Logic and in the intuitionistic propositional logic. Algebra Log. 32(5), 279\u2013288 (1993)","journal-title":"Algebra Log."},{"issue":"2","key":"8_CR21","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/BF00739995","volume":"33","author":"SI Mardaev","year":"1994","unstructured":"Mardaev, S.I.: Convergence of positive schemes in our and S4 and Int. Algebra Log. 33(2), 95\u2013101 (1994)","journal-title":"Algebra Log."},{"issue":"1","key":"8_CR22","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. J. Symb. Log. 57(1), 33\u201352 (1992)","journal-title":"J. Symb. Log."},{"issue":"3","key":"8_CR23","doi-asserted-by":"publisher","first-page":"892","DOI":"10.2307\/2274142","volume":"49","author":"W Ruitenburg","year":"1984","unstructured":"Ruitenburg, W.: On the period of sequences \n                      \n                        \n                      \n                      $$(a^n (p))$$\n                      \n                        \n                          \n                            (\n                            \n                              a\n                              n\n                            \n                            \n                              (\n                              p\n                              )\n                            \n                            )\n                          \n                        \n                      \n                     in intuitionistic propositional calculus. J. Symb. Log. 49(3), 892\u2013899 (1984)","journal-title":"J. Symb. Log."},{"key":"8_CR24","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1007\/11601548_3","volume-title":"Processes, Terms and Cycles: Steps on the Road to Infinity","author":"Albert Visser","year":"2005","unstructured":"Visser, Albert: L\u00f6b\u2019s logic meets the \n                      \n                        \n                      \n                      $${\\mu }$$\n                      \n                        \n                          \u03bc\n                        \n                      \n                    -calculus. In: Middeldorp, Aart, Oostrom, Vincent, Raamsdonk, Femke, Vrijer, Roel (eds.) Processes, Terms and Cycles: Steps on the Road to Infinity. LNCS, vol. 3838, pp. 14\u201325. Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computation Structures"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-49630-5_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,23]],"date-time":"2020-03-23T21:07:02Z","timestamp":1584997622000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-49630-5_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783662496299","9783662496305"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-49630-5_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}