{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:17:07Z","timestamp":1740097027714,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642547881"},{"type":"electronic","value":"9783642547898"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-642-54789-8_6","type":"book-chapter","created":{"date-parts":[[2014,4,3]],"date-time":"2014-04-03T05:58:44Z","timestamp":1396504724000},"page":"90-107","source":"Crossref","is-referenced-by-count":1,"title":["A Logical Basis for Quantum Evolution and Entanglement"],"prefix":"10.1007","author":[{"given":"Richard F.","family":"Blute","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessio","family":"Guglielmi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ivan T.","family":"Ivanov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Prakash","family":"Panangaden","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lutz","family":"Stra\u00dfburger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"Nielsen, M., Chuang, I.: Quantum Computation and Quantum Information. Cambridge University Press (2000)"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Abramsky, S., Coecke, B.: A categorical semantics of quantum protocols. In: Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science 2004, pp. 415\u2013425. IEEE Computer Society (2004)","DOI":"10.1109\/LICS.2004.1319636"},{"key":"6_CR3","first-page":"179","volume":"3","author":"S. Abramsky","year":"2007","unstructured":"Abramsky, S., Coecke, B.: Physics from computer science. International Journal of Unconventional Computing\u00a03, 179\u2013197 (2007)","journal-title":"International Journal of Unconventional Computing"},{"key":"6_CR4","unstructured":"Lambek, J., Scott, P.: Introduction to Higher-order Categorical Logic. Cambridge Univ. Press (1986)"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Girard, J.Y.: Linear logic: Its syntax and semantics. In: Girard, J.Y., Lafont, Y., Regnier, L. (eds.) Advances in Linear Logic. LMS Lecture Note Series, vol.\u00a0222, pp. 1\u201342. Cambridge University Press (1995)","DOI":"10.1017\/CBO9780511629150.002"},{"key":"6_CR6","doi-asserted-by":"publisher","first-page":"2025","DOI":"10.1023\/A:1027335119549","volume":"42","author":"R. Blute","year":"2003","unstructured":"Blute, R., Ivanov, I., Panangaden, P.: Discrete quantum causal dynamics. International Journal of Theoretical Phsysics\u00a042, 2025\u20132041 (2003)","journal-title":"International Journal of Theoretical Phsysics"},{"key":"6_CR7","doi-asserted-by":"publisher","first-page":"2059","DOI":"10.1088\/0264-9381\/17\/10\/302","volume":"17","author":"F. Markopoulou","year":"2000","unstructured":"Markopoulou, F.: Quantum causal histories. Classical and Quantum Gravity\u00a017, 2059\u20132077 (2000)","journal-title":"Classical and Quantum Gravity"},{"key":"6_CR8","unstructured":"Blute, R.F., Ivanov, I.T., Panangaden, P.: Discrete quantum causal dynamics (2001), \n                  \n                    http:\/\/lanl.arxiv.org\/abs\/gr-qc\/0109053"},{"issue":"1","key":"6_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1182613.1182614","volume":"8","author":"A. Guglielmi","year":"2007","unstructured":"Guglielmi, A.: A system of interaction and structure. ACM Transactions on Computational Logic\u00a08(1), 1\u201364 (2007), \n                  \n                    http:\/\/cs.bath.ac.uk\/ag\/p\/SystIntStr.pdf","journal-title":"ACM Transactions on Computational Logic"},{"key":"6_CR10","unstructured":"Guglielmi, A.: Deep inference, \n                  \n                    http:\/\/alessio.guglielmi.name\/res\/cos"},{"key":"6_CR11","unstructured":"Sorkin, R.: Spacetime and causal sets. In: D\u2019Olivo, J., et al. (eds.) Relativity and Gravitation: Classical and Quantum. World Scientific (1991)"},{"key":"6_CR12","unstructured":"Girard, J.Y., Lafont, Y., Taylor, P.: Proofs and Types. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press (1989)"},{"key":"6_CR13","doi-asserted-by":"publisher","first-page":"663","DOI":"10.1080\/00927877508822067","volume":"3","author":"M. Szabo","year":"1975","unstructured":"Szabo, M.: Polycategories. Communications in Algebra\u00a03, 663\u2013689 (1975)","journal-title":"Communications in Algebra"},{"key":"6_CR14","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1016\/0022-4049(95)00159-X","volume":"113","author":"R. Blute","year":"1996","unstructured":"Blute, R., Cockett, J., Seely, R., Trimble, T.: Natural deduction and coherence for weakly distributive categories. Journal of Pure and Applied Algebra\u00a0113, 229\u2013296 (1996)","journal-title":"Journal of Pure and Applied Algebra"},{"issue":"4","key":"6_CR15","doi-asserted-by":"publisher","first-page":"557","DOI":"10.1305\/ndjfl\/1168352668","volume":"47","author":"K. Br\u00fcnnler","year":"2006","unstructured":"Br\u00fcnnler, K.: Locality for classical logic. Notre Dame Journal of Formal Logic\u00a047(4), 557\u2013580 (2006), \n                  \n                    http:\/\/www.iam.unibe.ch\/~kai\/Papers\/LocalityClassical.pdf","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"6_CR16","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1007\/11916277_17","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"A.F. Tiu","year":"2006","unstructured":"Tiu, A.F.: A local system for intuitionistic logic. In: Hermann, M., Voronkov, A. (eds.) LPAR 2006. LNCS (LNAI), vol.\u00a04246, pp. 242\u2013256. Springer, Heidelberg (2006)"},{"key":"6_CR17","unstructured":"Guenot, N.: Nested Deduction in Logical Foundations for Computation. Phd thesis, Ecole Polytechnique (2013)"},{"key":"6_CR18","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"388","DOI":"10.1007\/3-540-36078-6_26","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"L. Stra\u00dfburger","year":"2002","unstructured":"Stra\u00dfburger, L.: A local system for linear logic. In: Baaz, M., Voronkov, A. (eds.) LPAR 2002. LNCS (LNAI), vol.\u00a02514, pp. 388\u2013402. Springer, Heidelberg (2002)"},{"key":"6_CR19","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/S0304-3975(03)00240-8","volume":"309","author":"L. Stra\u00dfburger","year":"2003","unstructured":"Stra\u00dfburger, L.: MELL in the calculus of structures. Theoretical Computer Science\u00a0309, 213\u2013285 (2003), \n                  \n                    http:\/\/www.lix.polytechnique.fr\/~lutz\/papers\/els.pdf","journal-title":"Theoretical Computer Science"},{"key":"6_CR20","unstructured":"Br\u00fcnnler, K.: Deep sequent systems for modal logic. In: Governatori, G., Hodkinson, I., Venema, Y. (eds.) Advances in Modal Logic, vol.\u00a06, pp. 107\u2013119. College Publications (2006), \n                  \n                    http:\/\/www.aiml.net\/volumes\/volume6\/Bruennler.ps"},{"key":"6_CR21","doi-asserted-by":"crossref","unstructured":"Stra\u00dfburger, L.: Cut elimination in nested sequents for intuitionistic modal logics. In: Pfenning, F. (ed.) FOSSACS 2013. LNCS, vol.\u00a07794, pp. 209\u2013224. Springer, Heidelberg (2013)","DOI":"10.1007\/978-3-642-37075-5_14"},{"issue":"2:4","key":"6_CR22","first-page":"1","volume":"2","author":"A. Tiu","year":"2006","unstructured":"Tiu, A.: A system of interaction and structure II: The need for deep inference. Logical Methods in Computer Science\u00a02(2:4), 1\u201324 (2006), \n                  \n                    http:\/\/arxiv.org\/pdf\/cs.LO\/0512036","journal-title":"Logical Methods in Computer Science"},{"issue":"1-3","key":"6_CR23","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1016\/j.apal.2007.11.005","volume":"152","author":"O. Kahramano\u011fullar\u0131","year":"2007","unstructured":"Kahramano\u011fullar\u0131, O.: System BV is NP-complete. Annals of Pure and Applied Logic\u00a0152(1-3), 107\u2013121 (2007), \n                  \n                    http:\/\/dx.doi.org\/10.1016\/j.apal.2007.11.005","journal-title":"Annals of Pure and Applied Logic"},{"key":"6_CR24","unstructured":"Stra\u00dfburger, L.: Linear Logic and Noncommutativity in the Calculus of Structures. PhD thesis, Technische Universit\u00e4t Dresden (2003)"},{"issue":"4","key":"6_CR25","first-page":"23","volume":"12","author":"L. Stra\u00dfburger","year":"2011","unstructured":"Stra\u00dfburger, L., Guglielmi, A.: A system of interaction and structure IV: The exponentials and decomposition. ACM Trans. Comput. Log.\u00a012(4), 23 (2011)","journal-title":"ACM Trans. Comput. Log."},{"key":"6_CR26","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/s10485-010-9241-0","volume":"20","author":"R.F. Blute","year":"2012","unstructured":"Blute, R.F., Panangaden, P., Slavnov, S.: Deep inference and probabilistic coherence spaces. Applied Categorical Structures\u00a020, 209\u2013228 (2012)","journal-title":"Applied Categorical Structures"},{"key":"6_CR27","doi-asserted-by":"crossref","unstructured":"Girard, J.Y.: Between Logic and Quantic: A Tract. LMS Lecture Note Series, vol.\u00a0316, ch. 10, pp. 346\u2013381. Cambridge University Press (2004)","DOI":"10.1017\/CBO9780511550850.011"}],"container-title":["Lecture Notes in Computer Science","Categories and Types in Logic, Language, and Physics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-54789-8_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T10:06:14Z","timestamp":1558865174000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-54789-8_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642547881","9783642547898"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-54789-8_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}