{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T02:49:50Z","timestamp":1771642190297,"version":"3.50.1"},"reference-count":33,"publisher":"Oxford University Press (OUP)","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Logic Computation"],"published-print":{"date-parts":[[2017,2]]},"DOI":"10.1093\/logcom\/exv051","type":"journal-article","created":{"date-parts":[[2015,8,12]],"date-time":"2015-08-12T00:19:56Z","timestamp":1439338796000},"page":"21-40","source":"Crossref","is-referenced-by-count":14,"title":["Unifying logics via context-sensitiveness"],"prefix":"10.1093","volume":"27","author":[{"given":"Mario","family":"Piazza","sequence":"first","affiliation":[]},{"given":"Gabriele","family":"Pulcini","sequence":"additional","affiliation":[]}],"member":"286","published-online":{"date-parts":[[2015,8,10]]},"reference":[{"key":"2017012307250553000_27.1.21.1","doi-asserted-by":"crossref","unstructured":"Arieli O. Avron A. Nonmonotonic and paraconsistent reasoning: from basic entailments to plausible relations. In Proceedings of the Ecsqaru'99, LNAI, p. 11\u201321. Springer, 1999.","DOI":"10.1007\/3-540-48747-6_2"},{"key":"2017012307250553000_27.1.21.2","unstructured":"A. Avron and I. Lev. A formula-preferential base for paraconsistent and plausible reasoning systems. In Proceedings of the Workshop on Inconsistency in Data and Knowledge (KRR-4) International Joint Conference on AI (Ijcai 2001), pp. 60\u201370, 2001."},{"key":"2017012307250553000_27.1.21.3","doi-asserted-by":"publisher","DOI":"10.1007\/s11787-006-0012-5"},{"key":"2017012307250553000_27.1.21.4","doi-asserted-by":"crossref","unstructured":"Batens D. New arguments for adaptive logics as unifying frame for the defeasible handling of inconsistency. In Paraconsistency: Logic and Applications, K. Tanaka et alii, ed., p. 101\u2013122. 2013.","DOI":"10.1007\/978-94-007-4438-7_7"},{"key":"2017012307250553000_27.1.21.5","doi-asserted-by":"publisher","DOI":"10.1023\/A:1005208616441"},{"key":"2017012307250553000_27.1.21.6","unstructured":"B\u00e9ziau J.-Y. The future of paraconsistent logic. Logical Studies, 1\u201317, 1999."},{"key":"2017012307250553000_27.1.21.7","unstructured":"B\u00e9ziau J.-Y. From paraconsistent to universal logic. Sorites, 5\u201332, 2001."},{"key":"2017012307250553000_27.1.21.8","unstructured":"M. A. Bl\u00e4tke, M. Heiner, and W. Marwan. Petri nets in system biology. Technical Report, Otto-von-Guericke University Magdeburg, 2011."},{"key":"2017012307250553000_27.1.21.9","unstructured":"A. Bochman. Two paradigms of nonmonotonic reasoning. In International Symposium on Artificial Intelligence and Mathematics (ISAIM 2006), 2006."},{"key":"2017012307250553000_27.1.21.10","doi-asserted-by":"publisher","DOI":"10.1145\/505372.505374"},{"key":"2017012307250553000_27.1.21.11","doi-asserted-by":"publisher","DOI":"10.1016\/j.jal.2012.09.002"},{"key":"2017012307250553000_27.1.21.12","doi-asserted-by":"crossref","unstructured":"Boniolo G. D'Agostino M. Piazza M. Pulcini G. Adding logic to the toolbox of molecular biology. European Journal for Philosophy of Science, forthcoming.","DOI":"10.1007\/s13194-015-0118-9"},{"key":"2017012307250553000_27.1.21.13","unstructured":"Carnielli W. Coniglio M. E. Combining logics. In The Stanford Encyclopedia of Philosophy. Spring 2014 edition, 2014."},{"key":"2017012307250553000_27.1.21.14","unstructured":"Carnielli W. Rodrigues A. What contradictions say (and what they say not). CLE e-Prints, 2, 2012."},{"key":"2017012307250553000_27.1.21.15","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/8.5.665"},{"key":"2017012307250553000_27.1.21.16","unstructured":"Curry H. B. A Theory of Formal Deducibility. Notre Dame University Press, 1950."},{"key":"2017012307250553000_27.1.21.17","doi-asserted-by":"publisher","DOI":"10.1016\/j.jal.2014.08.001"},{"key":"2017012307250553000_27.1.21.18","doi-asserted-by":"publisher","DOI":"10.1007\/BF00289519"},{"key":"2017012307250553000_27.1.21.19","doi-asserted-by":"crossref","unstructured":"U. Engberg and G. Winskel. Petri nets as models of linear logic. In CAAP'90, p. 147\u2013161. (LNCS 431) Springer, 1990.","DOI":"10.7146\/dpb.v19i301.6682"},{"key":"2017012307250553000_27.1.21.20","unstructured":"Estrada-Gonz\u00e1lez L. Olmedo-Garc\u00eda C. Can paraconsistency replace non-monotonicity? In LA-NMR, p. 217\u2013224, 2009."},{"key":"2017012307250553000_27.1.21.21","doi-asserted-by":"publisher","DOI":"10.1007\/BF01201353"},{"key":"2017012307250553000_27.1.21.22","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(87)90045-4"},{"key":"2017012307250553000_27.1.21.23","first-page":"119","article-title":"Der minimalkalk\u00fcl, ein reduzierter intuitionistischer formalismus","volume":"4","author":"Johansson","year":"1936","journal-title":"Compositio Mathematica"},{"key":"2017012307250553000_27.1.21.24","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(94)00060-G"},{"key":"2017012307250553000_27.1.21.25","unstructured":"Kleene S. C. Introduction to Metamathematics. North-Holland Publishing Co, 1952."},{"key":"2017012307250553000_27.1.21.26","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/11.1.69"},{"key":"2017012307250553000_27.1.21.27","doi-asserted-by":"publisher","DOI":"10.1007\/1-4020-3092-4_3"},{"key":"2017012307250553000_27.1.21.28","doi-asserted-by":"publisher","DOI":"10.1007\/s10472-005-1808-3"},{"key":"2017012307250553000_27.1.21.29","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/6.5.709"},{"key":"2017012307250553000_27.1.21.30","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1093\/oso\/9780198537472.003.0004","article-title":"Default logic","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming","volume":"3","author":"Poole","year":"1994"},{"key":"2017012307250553000_27.1.21.31","unstructured":"W. Reisig. Petri Nets: An Introduction. Vol. 4 of Monographs in Theoretical Computer Science. An EATCS Series. Springer, 1985."},{"key":"2017012307250553000_27.1.21.32","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(80)90014-4"},{"key":"2017012307250553000_27.1.21.33","unstructured":"Szabo M. , ed. The Collected Papers of Gerhard Gentzen. North-Holland, 1969."}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/27\/1\/21\/9688448\/exv051.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,10]],"date-time":"2024-06-10T13:45:35Z","timestamp":1718027135000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article-lookup\/doi\/10.1093\/logcom\/exv051"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,8,10]]},"references-count":33,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2017,1,23]]},"published-print":{"date-parts":[[2017,2]]}},"alternative-id":["10.1093\/logcom\/exv051"],"URL":"https:\/\/doi.org\/10.1093\/logcom\/exv051","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,8,10]]}}}