{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T09:40:58Z","timestamp":1725529258807},"publisher-location":"Dordrecht","reference-count":66,"publisher":"Springer Netherlands","isbn-type":[{"type":"print","value":"9789048124862"},{"type":"electronic","value":"9781402028083"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-1-4020-2808-3_24","type":"book-chapter","created":{"date-parts":[[2009,3,13]],"date-time":"2009-03-13T14:51:22Z","timestamp":1236955882000},"page":"527-555","source":"Crossref","is-referenced-by-count":5,"title":["Logic of Dynamics and Dynamics of Logic: Some Paradigm Examples"],"prefix":"10.1007","author":[{"given":"Bob","family":"Coecke","sequence":"first","affiliation":[]},{"given":"David J.","family":"Moore","sequence":"additional","affiliation":[]},{"given":"Sonja","family":"Smets","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"24_CR1_24","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(93)90181-R","volume":"111","author":"S. Abramsky","year":"1993","unstructured":"Abramsky, S.: 1993, \u2018Computational Interpretations of Linear Logic\u2019, Theoretical Computer Science 111, 3\u201357.","journal-title":"Theoretical Computer Science"},{"key":"24_CR2_24","unstructured":"Abramsky, S. and B. Coecke: 2002, \u2018Physical Traces: Quantum vs. Classical Information Processing\u2019, CTCS';02 Submission."},{"key":"24_CR3_24","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1006\/inco.1994.1041","volume":"111","author":"S. Abramsky","year":"1994","unstructured":"Abramsky, S. and R. Jagadeesan: 1994, \u2018New Foundations for the Geometry of Interaction\u2019, Information and Computation 111, 53\u2013119.","journal-title":"Information and Computation"},{"key":"24_CR4_24","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1017\/S0960129500000189","volume":"3","author":"S. Abramsky","year":"1993","unstructured":"Abramsky, S. and S. Vickers: 1993, \u2018Quantales, Observational Logic and Process Semantics\u2019, Mathematical Structures in Computer Science 3, 161\u2013227.","journal-title":"Mathematical Structures in Computer Science"},{"key":"24_CR5_24","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1002\/malq.19900360405","volume":"36","author":"V. M. Abrusci","year":"1990","unstructured":"Abrusci, V. M.: 1990, \u2018Non-Commutative Intuitionistic Linear Logic\u2019, Zeit-schrift f\u00fcr Mathematische Logik & Grundlagen der Mathematik 36, 297\u2013318.","journal-title":"Zeit-schrift f\u00fcr Mathematische Logik & Grundlagen der Mathematik"},{"key":"24_CR6_24","doi-asserted-by":"publisher","first-page":"1403","DOI":"10.2307\/2275485","volume":"56","author":"V. M. Abrusci","year":"1991","unstructured":"Abrusci, V. M.: 1991, \u2018Phase Semantics and Sequent Calculus for Pure Noncommutative Classical Linear Propositional Logic\u2019, The Journal of Symbolic Logic 56, 1403\u20131451.","journal-title":"The Journal of Symbolic Logic"},{"key":"24_CR7_24","unstructured":"Aerts, D.: 1981, The One and The Many, Towards a Unification of the Quantum and the Classical Description of One and Many Physical Entities, PhD-thesis, Free University of Brussels."},{"key":"24_CR8_24","first-page":"554","volume":"71","author":"H. Amira","year":"1998","unstructured":"Amira, H., B. Coecke and I. Stubbe: 1998, \u2018How Quantales Emerge by Introducing Induction within the Operational Approach\u2019, Helvetica Physica Acta 71, 554\u2013572.","journal-title":"Helvetica Physica Acta"},{"key":"24_CR9_24","unstructured":"Baltag, A.: 1999 \u2018A Logic of Epistemic Actions\u2019, in W. van der Hoek, J. J. Meyer and C. Witteveen, (eds.), Proceedings of the Workshop on \u2018Foundations and Applications of Collective Agent Based Systems\u2019 (ESLLI'99), Utrecht University."},{"key":"24_CR10_24","doi-asserted-by":"crossref","unstructured":"Barr, M.: 1979, *-Autonomous Categories, Lecture Notes in Mathematics 752, Springer-Verlag.","DOI":"10.1007\/BFb0064579"},{"key":"24_CR11_24","unstructured":"van Benthem, J.: 1991, in S. Abramsky et al, (eds.), Language in Action: Categories, Lambdas and Dynamic Logic, Studies in Logic and Foundations of Mathematics 130, North-Holland, Amsterdam."},{"key":"24_CR12_24","doi-asserted-by":"crossref","unstructured":"van Benthem, J.: 1994, \u2018General Dynamic Logic\u2019, in: D. M. Gabbay (ed.), What is a Logical System?, pp. 107\u2013139, Studies in Logic and Computation 4, Oxford Science Publications.","DOI":"10.1093\/oso\/9780198538592.003.0004"},{"key":"24_CR13_24","doi-asserted-by":"publisher","first-page":"823","DOI":"10.2307\/1968621","volume":"37","author":"G. Birkhoff","year":"1936","unstructured":"Birkhoff, G. and J. von Neumann: 1936, \u2018The Logic of Quantum Mechanics\u2019, Annals of Mathematics 37, 823\u2013843.","journal-title":"Annals of Mathematics"},{"key":"24_CR14_24","unstructured":"Blute, R. F., I. T. Ivanov and P. Panangaden: 2001 \u2018Discrete Quantum Causal Dynamics\u2019, Preprint; arXiv: gr-qc\/0109053."},{"key":"24_CR15_24","volume-title":"Handbook of Categorical Algebra 3, Categories of Sheaves","author":"F. Borceux","year":"1994","unstructured":"Borceux, F.: 1994, Handbook of Categorical Algebra 3, Categories of Sheaves, Cambridge, Cambridge University Press."},{"key":"24_CR16_24","doi-asserted-by":"crossref","first-page":"115","DOI":"10.4153\/CMB-1970-023-6","volume":"13","author":"G. Brun","year":"1970","unstructured":"Bruns, G. and H. Lakser: 1970, \u2018Injective Hulls of Semilattices\u2019, Canadian Mathematical Bulletin 13, 115\u2013118.","journal-title":"Canadian Mathematical Bulletin"},{"key":"24_CR17_24","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1023\/A:1003677418744","volume":"39","author":"B. Coecke","year":"2000","unstructured":"Coecke, B.: 2000, \u2018Structural Characterization of Compoundness\u2019, International Journal of Theoretical Physics 39, 585\u2013594; arXiv: quant-ph\/0008054.","journal-title":"International Journal of Theoretical Physics"},{"key":"24_CR18_24","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1023\/A:1015106515413","volume":"70","author":"B. Coecke","year":"2002","unstructured":"Coecke, B.: 2002, \u2018Quantum Logic in Intuitionistic Perspective\u2019 and \u2018Disjunctive Quantum Logic in Dynamic Perspective\u2019, Studia Logica 70, 411\u2013440 and 71, 1\u201310; arXiv: math.L0\/0011208 and math.L0\/0011209.","journal-title":"Studia Logica"},{"key":"24_CR19_24","unstructured":"Coecke, B.: (nd), \u2018Do we have to Retain Cartesian Closedness in the Topos-Approaches to Quantum Theory, and, Quantum Gravity?\u2019, preprint."},{"key":"24_CR20_24","unstructured":"Coecke, B., D. J. Moore and S. Smets: (nd,a), \u2018From Operationality to Logicality: Philosophical and Formal Preliminaries\u2019, submitted."},{"key":"24_CR21_24","unstructured":"Coecke, B., D. J. Moore and S. Smets: (nd,b), \u2018From Operationality to Logicality: Syntax and Semantics\u2019, submitted."},{"key":"24_CR22_24","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1023\/A:1012377520222","volume":"14","author":"B. Coecke","year":"2001","unstructured":"Coecke, B., D. J Moore and I. Stubbe: 2001, \u2018Quantaloids Describing Causation and Propagation for Physical Properties\u2019, Foundations of Physics Letters 14, 133\u2013145; arXiv:quant-ph\/0009100.","journal-title":"Foundations of Physics Letters"},{"key":"24_CR23_24","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-94-017-1201-9","volume-title":"Current Research in Operational Quantum Logic: Algebras, Categories and Languages","author":"B. Coecke","year":"2000","unstructured":"Coecke, B., D. J. Moore and A. Wilce: 2000, \u2018Operational Quantum Logic: An Overview\u2019, in B. Coecke, D. J. Moore and A. Wilce (eds.), Current Research in Operational Quantum Logic: Algebras, Categories and Languages, Dordrecht, Kluwer Academic Publishers, pp. 1\u201336; arXiv:quant-ph\/0008019."},{"key":"24_CR24_24","doi-asserted-by":"publisher","first-page":"595","DOI":"10.1023\/A:1003629502815","volume":"39","author":"B. Coecke","year":"2000","unstructured":"Coecke, B. and S. Smets: 2000, \u2018A Logical Description for Perfect Measurements\u2019, International Journal of Theoretical Physics 39, 595\u2013603; arXiv:quant-ph\/0008017.","journal-title":"International Journal of Theoretical Physics"},{"key":"24_CR25_24","unstructured":"Coecke, B. and S. Smets: 2001, \u2018The Sasaki-Hook is not a [Static] Implicative Connective but Induces a Backward [in Time] Dynamic One that Assigns Causes\u2019, Paper submitted to International Journal of Theoretical Physics for the proceedings of IQSA V, Cesena, Italy, April 2001; arXiv:quant-ph\/0111076."},{"key":"24_CR26_24","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1023\/A:1021626704772","volume":"12","author":"B. Coecke","year":"1999","unstructured":"Coecke, B. and I. Stubbe: 1999, \u2018Operational Resolutions and State Transitions in a Categorical Setting\u2019, Foundations of Physics Letters 12, 29\u201349; arXiv: quant-ph\/0008020.","journal-title":"Foundations of Physics Letters"},{"key":"24_CR27_24","doi-asserted-by":"publisher","first-page":"777","DOI":"10.1103\/PhysRev.47.777","volume":"47","author":"A. Einstein","year":"1935","unstructured":"Einstein, A., B. Podolsky and N. Rosen: 1935, \u2018Can Quantum-Mechanical Description of Physical Reality be Considered Complete?\u2019, Physical Reviews 47, 777\u2013780.","journal-title":"Physical Reviews"},{"key":"24_CR28_24","doi-asserted-by":"publisher","first-page":"813","DOI":"10.1007\/BF01906271","volume":"13","author":"D. J. Foulis","year":"1983","unstructured":"Foulis, D. J., C. Piron, and C. H. Randall: 1983, \u2018Realism, Operationalism, and Quantum Mechanics\u2019, Foundations of Physics 13, 813\u2013841.","journal-title":"Foundations of Physics"},{"key":"24_CR29_24","doi-asserted-by":"publisher","first-page":"1667","DOI":"10.1063\/1.1665890","volume":"13","author":"D. J. Foulis","year":"1972","unstructured":"Foulis, D. J. and C. H. Randall: 1972, \u2018Operational Statistics. I. Basic Concepts\u2019, Journal of Mathematical Physics 13, 1667\u20131675.","journal-title":"Journal of Mathematical Physics"},{"key":"24_CR30_24","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/BF00741647","volume":"14","author":"D. J. Foulis","year":"1984","unstructured":"Foulis, D. J. and C. H. Randall: 1984, \u2018A Note on Misunderstandings of Piron's Axioms for Quantum Mechanics\u2019, Foundations of Physics 14, 65\u201388.","journal-title":"Foundations of Physics"},{"key":"24_CR31_24","first-page":"150","volume":"68","author":"CL.-A. Faure","year":"1995","unstructured":"Faure, CL.-A., D. J. Moore and C. Piron: 1995, \u2018Deterministic Evolutions and Schr-dinger Flows\u2019, Helvetica Physica Acta 68, 150\u2013157.","journal-title":"Helvetica Physica Acta"},{"key":"24_CR32_24","doi-asserted-by":"publisher","first-page":"1643","DOI":"10.1023\/A:1026446116428","volume":"30","author":"M. Ghins","year":"2000","unstructured":"Ghins, M.: 2000, \u2018Empirical Versus Theoretical Existence and Truth\u2019, Foundations of Physics, 30, 1643\u20131654.","journal-title":"Foundations of Physics"},{"key":"24_CR33_24","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.-Y. Girard","year":"1987","unstructured":"Girard, J.-Y.: 1987, \u2018Linear Logic\u2019, Theoretical Computer Science 50, 1\u2013102.","journal-title":"Theoretical Computer Science"},{"key":"24_CR34_24","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1090\/conm\/092\/1003197","volume":"92","author":"J.-Y. Girard","year":"1989","unstructured":"Girard, J.-Y.: 1989, \u2018Towards a Geometry of Interaction\u2019, Contemporary Mathematics 92, 69\u2013108.","journal-title":"Contemporary Mathematics"},{"key":"24_CR35_24","doi-asserted-by":"crossref","unstructured":"Girard, J.-Y.: 1995, \u2018Geometry of Interaction III: Accommodating the Additives\u2019, in J.-Y. Girard, Y. Lafont and L. Regnier, (eds.), Advances in Linear Logic, Cambridge University Press, pp. 329\u2013389.","DOI":"10.1017\/CBO9780511629150.017"},{"key":"24_CR36_24","doi-asserted-by":"crossref","first-page":"515","DOI":"10.1007\/978-3-0348-8968-1_17","volume-title":"Development of Mathematics 1950\u20132000","author":"J.-Y. Girard","year":"2000","unstructured":"Girard, J.-Y.: 2000, \u2018Du pourquoi au comment: la th\u00e9orie de la d\u00e9monstration de 1950 \u00e0 nos jours\u2019, in J.-P. Pier, (ed.), Development of Mathematics 1950\u20132000, Basel, Birkh\u00e4user Verlag, pp. 515\u2013546."},{"key":"24_CR37_24","doi-asserted-by":"crossref","unstructured":"Horwich, P.: 1997, \u2018Realism and Truth\u2019, in E. Agazzi (ed.), Realism and Quantum Physics; Poznan Studies in the Philosophy of the Sciences and the Humanities 55, 29\u201339.","DOI":"10.1163\/9789004457546_003"},{"key":"24_CR38_24","volume-title":"Foundations of Quantum Mechanics","author":"J. M. Jauch","year":"1968","unstructured":"Jauch, J. M.: 1968, Foundations of Quantum Mechanics, Reading, MA, Addison-Wesley."},{"key":"24_CR39_24","first-page":"827","volume":"36","author":"J. M. Jauch","year":"1963","unstructured":"Jauch, J. M. and C. Piron: 1963, \u2018Can Hidden Variables be Excluded in Quantum Mechanics?\u2019, Helvetica Physica Acta 36, 827\u2013837.","journal-title":"Helvetica Physica Acta"},{"key":"24_CR40_24","first-page":"842","volume":"42","author":"J. M. Jauch","year":"1969","unstructured":"Jauch, J. M. and C. Piron: 1969, \u2018On the Structure of Quantal Proposition Systems\u2019, Helvetica Physica Acta 42, 842\u2013848.","journal-title":"Helvetica Physica Acta"},{"key":"24_CR41_24","unstructured":"Johnstone, P. T.: 1982, Stone Spaces, Cambridge University Press."},{"key":"24_CR42_24","first-page":"154","volume-title":"American Mathematical Monthly","author":"J. Lambek","year":"1958","unstructured":"Lambek, J.: 1958, \u2018The Mathematics of Sentence Structure\u2019, American Mathematical Monthly 65, 154\u2013170, reprinted in: W. Buszkowski, W. Marciszewski and J. van Benthem, (eds.): 1988, Categorial Grammar, Amsterdam, John Benjamins Publishing Co."},{"key":"24_CR43_24","volume-title":"Orthomodular Lattices","author":"G. Kalmbach","year":"1983","unstructured":"Kalmbach, G.: 1983, Orthomodular Lattices, London, Academic Press."},{"key":"24_CR44_24","unstructured":"Milner, R.: 1999 Communicating and Mobile Systems: \u03c0-Calculus, Cambridge University Press."},{"key":"24_CR45_24","first-page":"658","volume":"68","author":"D. J. Moore","year":"1995","unstructured":"Moore, D. J.: 1995, \u2018Categories of Representations of Physical Systems\u2019, Helvetica Physica Acta 68, 658\u2013678.","journal-title":"Helvetica Physica Acta"},{"key":"24_CR46_24","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/S1355-2198(98)00033-1","volume":"30","author":"D. J. Moore","year":"1999","unstructured":"Moore, D. J.: 1999, \u2018On State Spaces and Property Lattices\u2019, Studies in History and Philosophy of Modern Physics 30, 61\u201383.","journal-title":"Studies in History and Philosophy of Modern Physics"},{"key":"24_CR47_24","volume-title":"Grundlagen der Quantenmechanik","author":"J. vonNeumann","year":"1932","unstructured":"von Neumann, J.: 1932, Grundlagen der Quantenmechanik, Berlin, Springer Verlag, English Translation: 1996, Mathematical Foundations of Quantum Mechanics, New Jersey, Princeton University Press."},{"key":"24_CR48_24","unstructured":"Niiniluoto, I.: 1999, Critical Scientific Realism, Oxford University Press."},{"key":"24_CR49_24","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1007\/978-94-017-1201-9_10","volume-title":"Current Research in Operational Quantum Logic: Algebras, Categories and Languages","author":"J. Paseka","year":"2000","unstructured":"Paseka, J. and J. Rosicky: 2000, \u2018Quantales\u2019, in B. Coecke, D. J. Moore and A. Wilce (eds.), Current Research in Operational Quantum Logic: Algebras, Categories and Languages, Dordrecht, Kluwer Academic Publishers, pp. 245\u2013262."},{"key":"24_CR50_24","first-page":"439","volume":"37","author":"C. Piron","year":"1964","unstructured":"Piron, C.: 1964, \u2018Axiomatique quantique (PhD-Thesis)\u2019, Helvetica Physica Acta 37, 439\u2013468, English Translation by M. Cole: \u2018Quantum Axiomatics\u2019, RB4 Technical memo 107\/106\/104, GPO Engineering Department (London).","journal-title":"Helvetica Physica Acta"},{"key":"24_CR51_24","volume-title":"Foundations of Quantum Physics","author":"C. Piron","year":"1976","unstructured":"Piron, C.: 1976, Foundations of Quantum Physics, Massachusetts, W. A. Benjamin Inc.."},{"key":"24_CR52_24","first-page":"131","volume":"3","author":"C. Piron","year":"1978","unstructured":"Piron, C.: 1978, \u2018La description d'un syst\u00e8me physique et le pr\u00e9suppos\u00e9 de la th\u00e9orie classique\u2019, Annales de la Foundation Louis de Broglie 3, 131\u2013152.","journal-title":"Annales de la Foundation Louis de Broglie"},{"key":"24_CR53_24","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1007\/BF00211379","volume":"16","author":"C. Piron","year":"1981","unstructured":"Piron, C.: 1981, \u2018Ideal Measurement and Probability in Quantum Mechanics\u2019, Erkenntnis, 16, 397\u2013 401.","journal-title":"Erkenntnis"},{"key":"24_CR54_24","first-page":"169","volume-title":"The Concept of Reality","author":"C. Piron","year":"1983","unstructured":"Piron, C.: 1983, \u2018Le Realisme en Physique Quantique: Une Approche Selon Aristote\u2019, in E. Bitsakis (ed.), The Concept of Reality, Athens, I. Zacharopoulos, pp. 169\u2013173."},{"key":"24_CR55_24","first-page":"166","volume-title":"Proc. Workshop on Physics and Computation (PhysComp'92)","author":", V. R. Prat","year":"1993","unstructured":"Pratt, V. R.: 1993, \u2018Linear Logic for Generalized Quantum Mechanics\u2019, in Proc. Workshop on Physics and Computation (PhysComp'92), Dallas, IEE, pp. 166\u2013180."},{"key":"24_CR56_24","doi-asserted-by":"publisher","first-page":"1472","DOI":"10.1063\/1.1666208","volume":"14","author":"C. H. Randall","year":"1973","unstructured":"Randall, C. H. and D. J. Foulis: 1973, \u2018Operational Statistics. II. Manuals of Operations and their Logics\u2019, Journal of Mathematical Physics 14, 1472\u20131480.","journal-title":"Journal of Mathematical Physics"},{"key":"24_CR57_24","volume-title":"Conceptual Idealism","author":"N. Rescher","year":"1973","unstructured":"Rescher, N.: 1973, Conceptual Idealism, Oxford, Basil Blackwell."},{"key":"24_CR58_24","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-009-3905-9","volume-title":"Scientific Realism, A Critical Reappraisal","author":"N. Rescher","year":"1987","unstructured":"Rescher, N.: 1987, Scientific Realism, A Critical Reappraisal, Dordrecht, D. Reidel Publishing Company."},{"key":"24_CR59_24","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-0483-8","volume-title":"Satisfying Reason, Studies in the Theory of Knowledge","author":"N. Rescher","year":"1995","unstructured":"Rescher, N.: 1995, Satisfying Reason, Studies in the Theory of Knowledge, Dordrecht, Kluwer Academic Publishers."},{"key":"24_CR60_24","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1007\/978-94-017-1201-9_11","volume-title":"Current Research in Operational Quantum Logic: Algebras, Categories and Languages","author":"P. Resende","year":"2000","unstructured":"Resende, P.: 2000, \u2018Quantales and Observational Semantics\u2019, in B. Coecke, D. J. Moore and A. Wilce (eds.), Current Research in Operational Quantum Logic: Algebras, Categories and Languages, Dordrecht, Kluwer Academic Publishers, pp. 263\u2013288."},{"key":"24_CR61_24","volume-title":"Quantales and their Applications","author":"K. I. Rosenthal","year":"1990","unstructured":"Rosenthal, K. I.: 1990, Quantales and their Applications, USA, Addison Wesley Longman Inc."},{"key":"24_CR62_24","volume-title":"The Theory of Quantaloids","author":"K. I. Rosenthal","year":"1996","unstructured":"Rosenthal, K. I.: 1996, The Theory of Quantaloids, USA, Addison Wesley Longman Inc."},{"key":"24_CR63_24","unstructured":"Smets. S.: 2001, The Logic of Physical Properties, in Static and Dynamic Perspective, PhD-thesis, Free University of Brussels."},{"key":"24_CR64_24","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1023\/A:1007871611325","volume":"13","author":"S. Sourbron","year":"2000","unstructured":"Sourbron, S.: 2000, A Note on Causal Duality, Foundations of Physics Letters 13, 357\u2013367.","journal-title":"Foundations of Physics Letters"},{"key":"24_CR65_24","first-page":"115","volume-title":"Truth","author":"A. Tarski","year":"1944","unstructured":"Tarski, A.: 1944, \u2018The Semantic Conception of Truth\u2019, Philosophy and Phenomenological Research 4; Reprinted in S. Blackburn and K. Simmons (eds.), Truth, pp. 115\u2013143, UK, Oxford University Press."},{"key":"24_CR66_24","doi-asserted-by":"publisher","first-page":"41","DOI":"10.2307\/2274953","volume":"55","author":"D. N. Yetter","year":"1990","unstructured":"Yetter, D. N.: 1990, \u2018Quantales and (Noncommutative) Linear Logic\u2019, The Journal of Symbolic Logic 55, 41\u201364.","journal-title":"The Journal of Symbolic Logic"}],"container-title":["Logic, Epistemology, and the Unity of Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4020-2808-3_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,11]],"date-time":"2024-03-11T16:44:29Z","timestamp":1710175469000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4020-2808-3_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9789048124862","9781402028083"],"references-count":66,"URL":"https:\/\/doi.org\/10.1007\/978-1-4020-2808-3_24","relation":{},"subject":[]}}