{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,5]],"date-time":"2026-05-05T02:32:04Z","timestamp":1777948324117,"version":"3.51.4"},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"9","license":[{"start":{"date-parts":[[2020,2,18]],"date-time":"2020-02-18T00:00:00Z","timestamp":1581984000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,2,18]],"date-time":"2020-02-18T00:00:00Z","timestamp":1581984000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"name":"Ministerio de Ciencia, Innovaci\u00f3n y Universidades","award":["FFI2017-84805-P"],"award-info":[{"award-number":["FFI2017-84805-P"]}]},{"DOI":"10.13039\/100005156","name":"Alexander von Humboldt-Stiftung","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100005156","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2021,9]]},"DOI":"10.1007\/s11229-020-02570-x","type":"journal-article","created":{"date-parts":[[2020,2,18]],"date-time":"2020-02-18T19:02:40Z","timestamp":1582052560000},"page":"8251-8265","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":29,"title":["(I can\u2019t get no) antisatisfaction"],"prefix":"10.1007","volume":"198","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8239-5373","authenticated-orcid":false,"given":"Pablo","family":"Cobreros","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elio","family":"La Rosa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2844-129X","authenticated-orcid":false,"given":"Luca","family":"Tranchini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,2,18]]},"reference":[{"issue":"5","key":"2570_CR1","doi-asserted-by":"publisher","first-page":"551","DOI":"10.1007\/s10992-014-9342-6","volume":"44","author":"E Barrio","year":"2015","unstructured":"Barrio, E., Rosenblatt, L., & Tajer, D. (2015). The logics of strict-tolerant logic. Journal of Philosophical Logic, 44(5), 551\u2013571.","journal-title":"Journal of Philosophical Logic"},{"key":"2570_CR2","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/s10992-019-09513-z","volume":"49","author":"EA Barrio","year":"2020","unstructured":"Barrio, E. A., Pailos, F., & Szmuc, D. (2020). A hierarchy of classical and paraconsistent logics. Journal of Philosophical Logic, 49, 93\u2013120.","journal-title":"Journal of Philosophical Logic"},{"issue":"3","key":"2570_CR3","doi-asserted-by":"publisher","first-page":"143","DOI":"10.5840\/jphil2013110336","volume":"110","author":"J Beall","year":"2013","unstructured":"Beall, J., & Murzi, J. (2013). Two flavors of curry\u2019s paradox. The Journal of Philosophy, 110(3), 143\u2013165.","journal-title":"The Journal of Philosophy"},{"key":"2570_CR4","first-page":"234","volume-title":"Principles of knowledge representation and reasoning","author":"B Bennett","year":"1998","unstructured":"Bennett, B. (1998). Modal semantics for knowledge bases dealing with vague concepts. Principles of knowledge representation and reasoning (pp. 234\u2013244). Burlington: Morgan Kaufmann."},{"issue":"2","key":"2570_CR5","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1007\/s10992-010-9165-z","volume":"41","author":"P Cobreros","year":"2012","unstructured":"Cobreros, P., \u00c9gr\u00e9, P., Ripley, D., & van Rooij, R. (2012). Tolerant, classical, strict. Journal of Philosophical Logic, 41(2), 347\u2013385.","journal-title":"Journal of Philosophical Logic"},{"issue":"488","key":"2570_CR6","doi-asserted-by":"publisher","first-page":"841","DOI":"10.1093\/mind\/fzt110","volume":"122","author":"P Cobreros","year":"2013","unstructured":"Cobreros, P., \u00c9gr\u00e9, P., Ripley, D., & Van Rooij, R. (2013). Reaching transparent truth. Mind, 122(488), 841\u2013866.","journal-title":"Mind"},{"key":"2570_CR7","unstructured":"Cobreros, P., \u00c9gr\u00e9, P., Ripley, D., & Van\u00a0Rooij, R. forthcoming. Inferences and metainferences in ST. Journal of Philosophical Logic."},{"key":"2570_CR8","doi-asserted-by":"crossref","unstructured":"Da\u00a0R\u00e9, B. (2020). Structural weakening and paradoxes. (manuscript)","DOI":"10.1215\/00294527-2021-0018"},{"key":"2570_CR9","volume-title":"Graham Priest on dialetheism and paraconsistency","author":"B Dicher","year":"2019","unstructured":"Dicher, B., & Paoli, F. (2019). ST, LP, and tolerant metainferences. In C. Baskent & T. M. Ferguson (Eds.), Graham Priest on dialetheism and paraconsistency. Dordrecht: Springer."},{"key":"2570_CR10","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/s11225-016-9683-y","volume":"105","author":"A Fjellstad","year":"2017","unstructured":"Fjellstad, A. (2017). Non-classical elegance for sequent calculus enthusiasts. Studia Logica, 105, 93\u2013119.","journal-title":"Studia Logica"},{"issue":"1","key":"2570_CR11","first-page":"41","volume":"33","author":"S Frankowski","year":"2004","unstructured":"Frankowski, S. (2004). Formalization of a plausible inference. Bulletin of the Section of Logic, 33(1), 41\u201352.","journal-title":"Bulletin of the Section of Logic"},{"issue":"5","key":"2570_CR12","first-page":"113","volume":"3","author":"R French","year":"2016","unstructured":"French, R. (2016). Structural reflexivity and the paradoxes of self-reference. Ergo, an Open Access Journal of Philosophy, 3(5), 113\u2013131.","journal-title":"Ergo, an Open Access Journal of Philosophy"},{"key":"2570_CR13","volume-title":"Proof-theory and logical complexity","author":"J-Y Girard","year":"1987","unstructured":"Girard, J.-Y. (1987). Proof-theory and logical complexity. Naples: Bibliopolis."},{"key":"2570_CR14","first-page":"49","volume":"24","author":"G Malinowski","year":"1990","unstructured":"Malinowski, G. (1990). Q-consequence operation. Reports on Mathematical Logic, 24, 49\u201354.","journal-title":"Reports on Mathematical Logic"},{"key":"2570_CR15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-78160-5","volume-title":"The logic of partial information","author":"A Nait-Abdallah","year":"1995","unstructured":"Nait-Abdallah, A. (1995). The logic of partial information. Berlin: Springer."},{"issue":"3","key":"2570_CR16","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1007\/s10992-017-9438-x","volume":"47","author":"C Nicolai","year":"2018","unstructured":"Nicolai, C., & Rossi, L. (2018). Principles for object-linguistic consequence: From logical to irreflexive. Journal of Philosophical Logic, 47(3), 549\u2013577.","journal-title":"Journal of Philosophical Logic"},{"issue":"3","key":"2570_CR17","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1023\/A:1005293713265","volume":"64","author":"U Petersen","year":"2000","unstructured":"Petersen, U. (2000). Logic without contraction as based on inclusion and unrestricted abstraction. Studia Logica, 64(3), 365\u2013403.","journal-title":"Studia Logica"},{"key":"2570_CR18","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511801174","volume-title":"An introduction to non-classical logic: From if to is","author":"G Priest","year":"2008","unstructured":"Priest, G. (2008). An introduction to non-classical logic: From if to is. Cambridge: Cambridge University Press."},{"issue":"1","key":"2570_CR19","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1080\/00048402.2011.630010","volume":"91","author":"D Ripley","year":"2013","unstructured":"Ripley, D. (2013). Paradoxes and failures of cut. Australasian Journal of Philosophy, 91(1), 139\u2013164.","journal-title":"Australasian Journal of Philosophy"},{"issue":"13","key":"2570_CR20","first-page":"299","volume":"2","author":"D Ripley","year":"2015","unstructured":"Ripley, D. (2015). Comparing substructural theories of truth. Ergo, An Open Access Journal of Philosophy, 2(13), 299\u2013328.","journal-title":"Ergo, An Open Access Journal of Philosophy"},{"issue":"4","key":"2570_CR21","doi-asserted-by":"publisher","first-page":"559","DOI":"10.1215\/00294527-2019-0020","volume":"60","author":"L Rosenblatt","year":"2019","unstructured":"Rosenblatt, L. (2019). Non contractive classical logic. Notre Dame Journal of Formal Logic, 60(4), 559\u2013585.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"2570_CR22","doi-asserted-by":"publisher","unstructured":"Scambler, C. (2019). Classical logic and the strict tolerant hierarchy. Journal of Philosophical Logic. https:\/\/doi.org\/10.1007\/s10992-019-09520-0","DOI":"10.1007\/s10992-019-09520-0"},{"issue":"243","key":"2570_CR23","doi-asserted-by":"publisher","first-page":"320","DOI":"10.1111\/j.1467-9213.2010.678.x","volume":"61","author":"L Shapiro","year":"2010","unstructured":"Shapiro, L. (2010). Deflating logical consequence. The Philosophical Quarterly, 61(243), 320\u2013342.","journal-title":"The Philosophical Quarterly"},{"key":"2570_CR24","volume-title":"First order logic","author":"R Smullyan","year":"1995","unstructured":"Smullyan, R. (1995). First order logic. New York: Dover."},{"key":"2570_CR25","doi-asserted-by":"crossref","first-page":"218","DOI":"10.1093\/oso\/9780199287116.003.0014","volume-title":"Deflationism and paradox","author":"A Weir","year":"2005","unstructured":"Weir, A. (2005). Na\u00efve truth and sophisticated logic. In J. C. Beall & Bradley Armour-Garb (Eds.), Deflationism and paradox (pp. 218\u2013249). Oxford: Oxford University press."},{"issue":"3","key":"2570_CR26","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/s11225-008-9156-z","volume":"90","author":"E Zardini","year":"2008","unstructured":"Zardini, E. (2008). A model of tolerance. Studia Logica, 90(3), 337\u2013368.","journal-title":"Studia Logica"},{"issue":"4","key":"2570_CR27","doi-asserted-by":"publisher","first-page":"498","DOI":"10.1017\/S1755020311000177","volume":"4","author":"E Zardini","year":"2011","unstructured":"Zardini, E. (2011). Truth without contra(di)ction. The Review of Symbolic Logic, 4(4), 498\u2013535.","journal-title":"The Review of Symbolic Logic"}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-020-02570-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11229-020-02570-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-020-02570-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,31]],"date-time":"2024-07-31T19:30:46Z","timestamp":1722454246000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11229-020-02570-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,2,18]]},"references-count":27,"journal-issue":{"issue":"9","published-print":{"date-parts":[[2021,9]]}},"alternative-id":["2570"],"URL":"https:\/\/doi.org\/10.1007\/s11229-020-02570-x","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,2,18]]},"assertion":[{"value":"11 July 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"6 February 2020","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"18 February 2020","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}