{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T01:36:18Z","timestamp":1761960978993,"version":"build-2065373602"},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2010,6,10]],"date-time":"2010-06-10T00:00:00Z","timestamp":1276128000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Appl Categor Struct"],"published-print":{"date-parts":[[2012,2]]},"DOI":"10.1007\/s10485-010-9228-x","type":"journal-article","created":{"date-parts":[[2010,6,8]],"date-time":"2010-06-08T21:51:59Z","timestamp":1276033919000},"page":"43-95","source":"Crossref","is-referenced-by-count":4,"title":["Intermutation"],"prefix":"10.1007","volume":"20","author":[{"given":"Kosta","family":"Do\u0161en","sequence":"first","affiliation":[]},{"given":"Zoran","family":"Petri\u0107","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,6,10]]},"reference":[{"key":"9228_CR1","doi-asserted-by":"crossref","first-page":"6073","DOI":"10.1063\/1.531236","volume":"36","author":"JC Baez","year":"1995","unstructured":"Baez, J.C., Dolan, J.: Higher-dimensional algebra and topological quantum field theory. J. Math. Phys. 36, 6073\u20136105 (1995)","journal-title":"J. Math. Phys."},{"key":"9228_CR2","doi-asserted-by":"crossref","first-page":"196","DOI":"10.1006\/aima.1996.0052","volume":"121","author":"JC Baez","year":"1996","unstructured":"Baez, J.C., Neuchl, M.: Higher-dimensional algebra I. Braided monoidal 2-categories. Adv. Math. 121, 196\u2013244 (1996)","journal-title":"Adv. Math."},{"key":"9228_CR3","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1016\/S0001-8708(03)00065-3","volume":"176","author":"C Balteanu","year":"2003","unstructured":"Balteanu, C., Fiedorowicz, Z., Schw\u00e4nzl, R., Vogt, R.: Iterated monoidal categories. Adv. Math. 176, 277\u2013349 (2003)","journal-title":"Adv. Math."},{"key":"9228_CR4","first-page":"1","volume-title":"Lecture Notes in Mathematics, vol. 47","author":"J B\u00e9nabou","year":"1967","unstructured":"B\u00e9nabou, J.: Introduction to bicategories, reports of the midwest category seminar. In: B\u00e9nabou, J., et al. (eds.) Lecture Notes in Mathematics, vol. 47, pp. 1\u201377. Springer, Berlin (1967)"},{"key":"9228_CR5","first-page":"86","volume-title":"Lecture Notes in Computer Science, vol. 2803","author":"K Br\u00fcnnler","year":"2003","unstructured":"Br\u00fcnnler, K.: Atomic cut elimination for classical logic, computer science logic. In: Baaz, M., Makowsky, J.A. (eds.) Lecture Notes in Computer Science, vol. 2803, pp. 86\u201397. Springer, Berlin (2003)"},{"key":"9228_CR6","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1007\/s11225-006-6605-4","volume":"82","author":"K Br\u00fcnnler","year":"2006","unstructured":"Br\u00fcnnler, K.: Cut elimination inside a deep inference system for classical predicate logic. Stud. Log. 82, 51\u201371 (2006)","journal-title":"Stud. Log."},{"key":"9228_CR7","first-page":"347","volume-title":"Lecture Notes in Computer Science, vol. 2250","author":"K Br\u00fcnnler","year":"2001","unstructured":"Br\u00fcnnler, K., Tiu, A.F.: A local system for classical logic, logic for programming, artificial intelligence and reasoning. In: Nieuwenhuis, R., Voronkov, A. (eds.) Lecture Notes in Computer Science, vol. 2250, pp. 347\u2013361. Springer, Berlin (2001)"},{"key":"9228_CR8","doi-asserted-by":"crossref","first-page":"465","DOI":"10.1145\/359138.359142","volume":"22","author":"N Dershowitz","year":"1979","unstructured":"Dershowitz, N., Manna, Z.: Proving termination with multiset orderings. Commun. ACM 22, 465\u2013476 (1979)","journal-title":"Commun. ACM"},{"key":"9228_CR9","doi-asserted-by":"crossref","first-page":"227","DOI":"10.2307\/2586761","volume":"64","author":"K Do\u0161en","year":"1999","unstructured":"Do\u0161en, K., Petri\u0107, Z.: Cartesian isomorphisms are symmetric monoidal: a justification of linear logic. J. Symb. Log. 64, 227\u2013242 (1999)","journal-title":"J. Symb. Log."},{"key":"9228_CR10","volume-title":"Proof-Theoretical Coherence","author":"K Do\u0161en","year":"2004","unstructured":"Do\u0161en, K., Petri\u0107, Z.: Proof-Theoretical Coherence. KCL (College Publications), London (2004). Revised version available at: http:\/\/www.mi.sanu.ac.rs\/~kosta\/coh.pdf"},{"key":"9228_CR11","volume-title":"Proof-Net Categories","author":"K Do\u0161en","year":"2007","unstructured":"Do\u0161en, K., Petri\u0107, Z.: Proof-Net Categories. Polimetrica, Monza (2007). Available at: http:\/\/www.mi.sanu.ac.rs\/~kosta\/pn.pdf"},{"key":"9228_CR12","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1016\/j.apal.2005.11.003","volume":"141","author":"K Do\u0161en","year":"2006","unstructured":"Do\u0161en, K., Petri\u0107, Z.: Coherence for star-autonomous categories. Ann. Pure Appl. Logic 141, 225\u2013242 (2006). Available at: http:\/\/arXiv.org\/math.CT\/0503306","journal-title":"Ann. Pure Appl. Logic"},{"key":"9228_CR13","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1016\/j.apal.2007.03.002","volume":"146","author":"K Do\u0161en","year":"2007","unstructured":"Do\u0161en, K., Petri\u0107, Z.: Medial commutativity. Ann. Pure Appl. Logic 146, 237\u2013255 (2007). Available at: http:\/\/arXiv.org\/math.CT\/0610934","journal-title":"Ann. Pure Appl. Logic"},{"key":"9228_CR14","doi-asserted-by":"crossref","first-page":"421","DOI":"10.1007\/978-3-642-99902-4_22","volume-title":"Proceedings of the Conference on Categorical Algebra, La Jolla 1965","author":"S Eilenberg","year":"1966","unstructured":"Eilenberg, S., Kelly, G.M.: Closed categories. In: Eilenberg, S., et al. (eds.) Proceedings of the Conference on Categorical Algebra, La Jolla 1965, pp. 421\u2013562. Springer, Berlin (1966)"},{"key":"9228_CR15","first-page":"1","volume":"2","author":"S Forcey","year":"2007","unstructured":"Forcey, S., Siehler, J., Seth Sowers, E.: Operads in iterated monoidal categories. J. Homotopy Relat. Struct. 2, 1\u201343 (2007). (electronic, previously entitled Combinatoric n-fold categories and n-fold operads, available at: http:\/\/arXiv.org\/math.CT\/0411561 )","journal-title":"J. Homotopy Relat. Struct."},{"key":"9228_CR16","unstructured":"Je\u017eek, J., Kepka, T.: Medial Groupoids. Rozpravy \u010ceskoslovensk\u00e9 Akademie V\u011bd, \u0158ada matematick\u00fdch a p\u0159irodn\u00edch v\u011bd, Ro\u010dnik 93, Se\u0161it 2, p. 93. Prague (1983)"},{"key":"9228_CR17","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1006\/aima.1993.1055","volume":"102","author":"A Joyal","year":"1993","unstructured":"Joyal, A., Street, R.: Braided tensor categories. Adv. Math. 102, 20\u201378 (1993)","journal-title":"Adv. Math."},{"key":"9228_CR18","doi-asserted-by":"crossref","first-page":"97\u2013140, 219","DOI":"10.1016\/0022-4049(71)90013-2","volume":"1","author":"GM Kelly","year":"1971","unstructured":"Kelly, G.M., Mac Lane, S.: Coherence in closed categories. J. Pure Appl. Algebra 1, 97\u2013140, 219 (1971)","journal-title":"J. Pure Appl. Algebra"},{"key":"9228_CR19","first-page":"473","volume":"18","author":"F Lamarche","year":"2007","unstructured":"Lamarche, F.: Exploring the gap between linear and classical logic. Theory Appl. Categ. 18, 473\u2013535 (2007)","journal-title":"Theory Appl. Categ."},{"key":"9228_CR20","volume-title":"Conceptual Mathematics: A First Introduction to Categories","author":"FW Lawvere","year":"1997","unstructured":"Lawvere, F.W., Schanuel, S.H.: Conceptual Mathematics: A First Introduction to Categories. Cambridge University Press, Cambridge (1997)"},{"key":"9228_CR21","first-page":"28","volume":"49","author":"S Mac Lane","year":"1963","unstructured":"Mac Lane, S.: Natural associativity and commutativity. Rice Univ. Stud. 49, 28\u201346 (1963)","journal-title":"Rice Univ. Stud."},{"key":"9228_CR22","volume-title":"Categories for the Working Mathematician, expanded","author":"S Mac Lane","year":"1998","unstructured":"Mac Lane, S.: Categories for the Working Mathematician, expanded 2nd edn. Springer, Berlin (1998)","edition":"2"},{"key":"9228_CR23","first-page":"217","volume":"13","author":"R Street","year":"1972","unstructured":"Street, R.: Two constructions on lax functors. Cah. Topol. G\u00e9om. Diff\u00e9r. 13, 217\u2013264 (1972)","journal-title":"Cah. Topol. G\u00e9om. Diff\u00e9r."}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-010-9228-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10485-010-9228-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-010-9228-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T14:25:57Z","timestamp":1559139957000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10485-010-9228-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,6,10]]},"references-count":23,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2012,2]]}},"alternative-id":["9228"],"URL":"https:\/\/doi.org\/10.1007\/s10485-010-9228-x","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"type":"print","value":"0927-2852"},{"type":"electronic","value":"1572-9095"}],"subject":[],"published":{"date-parts":[[2010,6,10]]}}}