{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,9]],"date-time":"2026-02-09T05:03:02Z","timestamp":1770613382314,"version":"3.49.0"},"reference-count":36,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2015,6,30]],"date-time":"2015-06-30T00:00:00Z","timestamp":1435622400000},"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":["Euro Jnl Phil Sci"],"published-print":{"date-parts":[[2015,10]]},"DOI":"10.1007\/s13194-015-0118-9","type":"journal-article","created":{"date-parts":[[2015,6,29]],"date-time":"2015-06-29T05:44:34Z","timestamp":1435556674000},"page":"399-417","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Adding logic to the toolbox of molecular biology"],"prefix":"10.1007","volume":"5","author":[{"given":"Giovanni","family":"Boniolo","sequence":"first","affiliation":[]},{"given":"Marcello","family":"D\u2019Agostino","sequence":"additional","affiliation":[]},{"given":"Mario","family":"Piazza","sequence":"additional","affiliation":[]},{"given":"Gabriele","family":"Pulcini","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,6,30]]},"reference":[{"key":"118_CR1","doi-asserted-by":"crossref","unstructured":"Aliseda, A. (2006). Abductive reasoning Vol. 330. Netherlands: Springer.","DOI":"10.1007\/1-4020-3907-7"},{"key":"118_CR2","volume-title":"Logical pluralism","author":"JC Beall","year":"2006","unstructured":"Beall, J.C., & Restall, G. (2006). Logical pluralism. Oxford: Clarendon Press."},{"key":"118_CR3","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1207\/s15516709cog2203_2","volume":"22","author":"W Bechtel","year":"1998","unstructured":"Bechtel, W. (1998). Representations and cognitive explanations: assessing the dynamicist\u2019s challenge in cognitive science. Cognitive Science, 22, 295\u2013318.","journal-title":"Cognitive Science"},{"key":"118_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-07964-5","volume-title":"Interactive theorem proving and program development, Coq\u2019Art: the calculus of inductive constructions","author":"Y Bertot","year":"2004","unstructured":"Bertot, Y., & Cast\u00e9ran, P. (2004). Interactive theorem proving and program development, Coq\u2019Art: the calculus of inductive constructions. Berlin: Springer."},{"key":"118_CR5","doi-asserted-by":"crossref","unstructured":"Boniolo, G. (2009). Laws of nature: the kantian approach. In M. Bitbol, P. Kerszberg, & J. Petitot (Eds.), Constituting objectivity: transcendental perspectives on modern physics, Western Ontario series in the philosophy of science (pp. 183\u2013201). Springer.","DOI":"10.1007\/978-1-4020-9510-8_11"},{"issue":"3","key":"118_CR6","doi-asserted-by":"crossref","first-page":"e9511","DOI":"10.1371\/journal.pone.0009511","volume":"5","author":"G Boniolo","year":"2010","unstructured":"Boniolo, G., D\u2019Agostino, M., & Di Fiore, P. (2010). Zsyntax: a formal language for molecular biology with projected applications in text mining and biological prediction. PLoS ONE, 5(3), e9511.","journal-title":"PLoS ONE"},{"key":"118_CR7","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1016\/j.jal.2012.09.002","volume":"11","author":"G Boniolo","year":"2013","unstructured":"Boniolo, G., D\u2019Agostino, M., Piazza, M., & Pulcini, G. (2013). A logic of non-monotonic interactions. Journal of Applied Logic, 11, 52\u201362.","journal-title":"Journal of Applied Logic"},{"key":"118_CR8","doi-asserted-by":"crossref","first-page":"425","DOI":"10.1023\/A:1020725613540","volume":"7","author":"G Boniolo","year":"2002","unstructured":"Boniolo, G., Petrovich, C., & Pisent, G. (2002). On the philosophical status of nuclear physics. Foundations of Science, 7, 425\u2013452.","journal-title":"Foundations of Science"},{"key":"118_CR9","doi-asserted-by":"crossref","DOI":"10.1093\/0198247044.001.0001","volume-title":"How the laws of physics lie","author":"N Cartwright","year":"1983","unstructured":"Cartwright, N. (1983). How the laws of physics lie. Oxford: Oxford University Press."},{"key":"118_CR10","first-page":"137","volume":"44","author":"N Cartwright","year":"1995","unstructured":"Cartwright, N., Shomar, T., & Su\u00e1rez, M. (1995). The tool-box of science. Tools for the building of models with a superconductivity example. Pozna\u0144 Studies in the Philosophy of the Sciences and the Humanities, 44, 137\u2013149.","journal-title":"Pozna\u0144 Studies in the Philosophy of the Sciences and the Humanities"},{"key":"118_CR11","unstructured":"Chauduri, K., & Despeyroux, J. (2010). A hybrid linear logic for constrained transition systems with applications to molecular biology. Technical report, INRIA-HAL. Available at http:\/\/www-sop.inria.fr\/members\/Joelle.Despeyroux\/papers\/hyll_report.pdf ."},{"issue":"6","key":"118_CR12","doi-asserted-by":"crossref","first-page":"492","DOI":"10.1111\/j.1747-9991.2010.00286.x","volume":"5","author":"RT Cook","year":"2010","unstructured":"Cook, R.T. (2010). Let a thousand flowers bloom: a tour of logical pluralism. Philosophical Compass, 5(6), 492\u2013504.","journal-title":"Philosophical Compass"},{"key":"118_CR13","doi-asserted-by":"crossref","first-page":"584","DOI":"10.1073\/pnas.20.11.584","volume":"20","author":"H Curry","year":"1934","unstructured":"Curry, H. (1934). Functionality in combinatory logic. Proceedings of the National Academy of Science, 20, 584\u2013590.","journal-title":"Proceedings of the National Academy of Science"},{"key":"118_CR14","doi-asserted-by":"crossref","unstructured":"D\u2019Agostino, M., Gabbay, D.M., & Broda, K. (1999). Tableau methods for substructural logics. In M. D\u2019Agostino, D.M. Gabbay, R. H\u00e4hnle, & J. Posegga (Eds.), Handbook of tableaux methods (pp. 397\u2013468). Kluwer Academic.","DOI":"10.1007\/978-94-017-1754-0_7"},{"issue":"4","key":"118_CR15","doi-asserted-by":"crossref","first-page":"558","DOI":"10.1016\/j.jal.2014.08.001","volume":"12","author":"M D\u2019Agostino","year":"2014","unstructured":"D\u2019Agostino, M., Piazza, M., & Pulcini, G. (2014). A logical calculus for controlled monotonicity. Journal of Applied Logic, 12(4), 558\u2013569.","journal-title":"Journal of Applied Logic"},{"key":"118_CR16","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1016\/j.tcs.2004.03.065","volume":"325","author":"V Danos","year":"2004","unstructured":"Danos, V., & Laneve, C. (2004). Formal molecular biology. Theoretical Computer Science, 325, 69\u2013110.","journal-title":"Theoretical Computer Science"},{"key":"118_CR17","doi-asserted-by":"crossref","DOI":"10.1142\/8215","volume-title":"The functional interpretation of logical deduction","author":"RJGB de Queiroz","year":"2011","unstructured":"de Queiroz, R.J.G.B, de Oliveira, A.G., & Gabbay, D.M. (2011). The functional interpretation of logical deduction. London: Imperial College Press\/World Scientific."},{"key":"118_CR18","doi-asserted-by":"crossref","unstructured":"Gabbay, D.M. (1993). How to construct a logic for your application. In H.J. Ohlbach (Ed.), GWAI \u201892: advances in artificial intelligence of lecture notes in computer science, (Vol. 671 pp. 1\u201330). Berlin: Springer.","DOI":"10.1007\/BFb0018989"},{"key":"118_CR19","doi-asserted-by":"crossref","unstructured":"Gabbay, D.M. (1994). What is a logical system? In D.M. Gabbay (Ed.), What is a logical system? (pp. 179\u2013216). Oxford: Clarendon Press.","DOI":"10.1093\/oso\/9780198538592.001.0001"},{"key":"118_CR20","unstructured":"Giere, R.N. (2006). Scientific pluralism. University of Minnesota Press."},{"key":"118_CR21","doi-asserted-by":"crossref","unstructured":"Girard, J.-Y. (1995). Linear logic: its syntax and semantics. In J.-Y. Girard, Y. Lafont, & L. Regnier (Eds.), Advances in linear logic of London mathematical society lecture notes series, (Vol. 222 pp. 1\u201342). Cambridge University Press.","DOI":"10.1017\/CBO9780511629150.002"},{"key":"118_CR22","volume-title":"Proofs and types","author":"J-Y Girard","year":"1989","unstructured":"Girard, J.-Y., Lafont, Y., & Taylor, P. (1989). Proofs and types. Cambridge: Cambridge University Press."},{"key":"118_CR23","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"JY Girard","year":"1987","unstructured":"Girard, J.Y. (1987). Linear logic. Theoretical Computer Science, 50, 1\u2013101.","journal-title":"Theoretical Computer Science"},{"issue":"3","key":"118_CR24","doi-asserted-by":"crossref","first-page":"592","DOI":"10.1111\/j.1747-9991.2007.00087.x","volume":"2","author":"A Hamilton","year":"2007","unstructured":"Hamilton, A. (2007). Laws of biology, laws of nature: problems and (dis)solutions. Philosophy Compass, 2(3), 592\u2013610.","journal-title":"Philosophy Compass"},{"issue":"2","key":"118_CR25","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1093\/bjps\/axs001","volume":"64","author":"C Haufe","year":"2013","unstructured":"Haufe, C. (2013). From necessary chances to biological laws. British Journal for the Philosophy of Science, 64(2), 279\u2013295.","journal-title":"British Journal for the Philosophy of Science"},{"key":"118_CR26","unstructured":"Howard, W.A. (1980). The formulae-as-types notion of construction. In J.P. Seldin, & J.R. Hindley (Eds.), To H. B. Curry: essays on combinatory logic, lambda calculus and formalism (pp. 479\u2013490). London: Academic Press."},{"key":"118_CR27","doi-asserted-by":"crossref","first-page":"S72\u2014S86","DOI":"10.1086\/392810","volume":"67","author":"EF Keller","year":"2000","unstructured":"Keller, E.F. (2000). Models of and models for. Theory and practice in contemporary biology. Philosophy of Science, 67, S72\u2014S86.","journal-title":"Philosophy of Science"},{"key":"118_CR28","unstructured":"Kellert, S.H., Longino, H.E., & Waters, C.K. (Eds.) (2006). Scientific pluralism. University of Minnesota Press."},{"key":"118_CR29","volume-title":"Inference to the best explanation","author":"P Lipton","year":"2004","unstructured":"Lipton, P. (2004). Inference to the best explanation, 2nd edn. London: Routledge.","edition":"2nd edn."},{"key":"118_CR30","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1086\/664746","volume":"79","author":"J Norton","year":"2012","unstructured":"Norton, J. (2012). Approximations and idealizations: why the difference matters. Philosophy of Science, 79, 207\u2013232.","journal-title":"Philosophy of Science"},{"key":"118_CR31","doi-asserted-by":"crossref","first-page":"509","DOI":"10.2307\/2695028","volume":"66","author":"M Piazza","year":"2001","unstructured":"Piazza, M. (2001). Exchange rules. Journal of Symbolic Logic, 66, 509\u2013516.","journal-title":"Journal of Symbolic Logic"},{"issue":"5","key":"118_CR32","doi-asserted-by":"crossref","first-page":"833","DOI":"10.1007\/s10539-013-9386-y","volume":"28","author":"J Raerinne","year":"2013","unstructured":"Raerinne, J. (2013). Stability and lawlikeness. Biology and Philosophy, 28(5), 833\u2013851.","journal-title":"Biology and Philosophy"},{"key":"118_CR33","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1093\/bjps\/31.2.145","volume":"31","author":"M Redhead","year":"1980","unstructured":"Redhead, M. (1980). Models in physics. The British Journal for the Philosophy of Science, 31, 145\u2013163.","journal-title":"The British Journal for the Philosophy of Science"},{"key":"118_CR34","doi-asserted-by":"crossref","first-page":"775","DOI":"10.1007\/s11229-011-9916-6","volume":"186","author":"J Van Benthem","year":"2012","unstructured":"Van Benthem, J. (2012). The logic of empirical theories revisited. Synthese, 186, 775\u2013792.","journal-title":"Synthese"},{"key":"118_CR35","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780199933662.001.0001","volume-title":"Simulation and Similarity: using models to understand the world","author":"M Weisberg","year":"2013","unstructured":"Weisberg, M. (2013). Simulation and Similarity: using models to understand the world. Oxford: Oxford University Press."},{"key":"118_CR36","doi-asserted-by":"crossref","first-page":"S442","DOI":"10.1086\/392927","volume":"68","author":"E Winsberg","year":"2001","unstructured":"Winsberg, E. (2001). Simulations, models and theories: complex physical systems and their representation. Philosophy of Science, 68, S442\u2013S454.","journal-title":"Philosophy of Science"}],"container-title":["European Journal for Philosophy of Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13194-015-0118-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s13194-015-0118-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13194-015-0118-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,9]],"date-time":"2024-06-09T18:58:21Z","timestamp":1717959501000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s13194-015-0118-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,6,30]]},"references-count":36,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2015,10]]}},"alternative-id":["118"],"URL":"https:\/\/doi.org\/10.1007\/s13194-015-0118-9","relation":{},"ISSN":["1879-4912","1879-4920"],"issn-type":[{"value":"1879-4912","type":"print"},{"value":"1879-4920","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,6,30]]}}}