{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,20]],"date-time":"2026-01-20T09:22:22Z","timestamp":1768900942899,"version":"3.49.0"},"reference-count":60,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[2013,3,16]],"date-time":"2013-03-16T00:00:00Z","timestamp":1363392000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2014,6]]},"DOI":"10.1007\/s10992-013-9268-4","type":"journal-article","created":{"date-parts":[[2013,3,15]],"date-time":"2013-03-15T18:48:34Z","timestamp":1363373314000},"page":"439-469","source":"Crossref","is-referenced-by-count":45,"title":["Logical Consequence and the Paradoxes"],"prefix":"10.1007","volume":"43","author":[{"given":"Edwin","family":"Mares","sequence":"first","affiliation":[]},{"given":"Francesco","family":"Paoli","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,3,16]]},"reference":[{"key":"9268_CR1","first-page":"1","volume-title":"On when a disjunction is informative: Ambiguous connectives and pluralism","author":"P Allo","year":"2011","unstructured":"Allo, P. (2011). The The realism-antirealism debate in the age of alternative logics. In S. Rahman, et al. (Eds.), On when a disjunction is informative: Ambiguous connectives and pluralism (pp. 1\u201323). Berlin: Springer."},{"issue":"2","key":"9268_CR2","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/s10670-011-9356-1","volume":"77","author":"P Allo","year":"2012","unstructured":"Allo, P., & Mares, E. (2012). Informational semantics as a third alternative. Erkenntnis, 77(2), 167\u2013185.","journal-title":"Erkenntnis"},{"issue":"2","key":"9268_CR3","doi-asserted-by":"crossref","first-page":"514","DOI":"10.2307\/2275217","volume":"58","author":"G Allwein","year":"1993","unstructured":"Allwein, G., & Dunn, J.M. (1993). Kripke models for linear logic. Journal of Symbolic Logic, 58(2), 514\u2013545.","journal-title":"Journal of Symbolic Logic"},{"key":"9268_CR4","volume-title":"Entailment (Vol. 1)","author":"AR Anderson","year":"1975","unstructured":"Anderson, A.R., & Belnap, N.D. (1975). Entailment (Vol. 1). Princeton: Princeton University Press."},{"key":"9268_CR5","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/0890-5401(91)90023-U","volume":"92","author":"A Avron","year":"1991","unstructured":"Avron, A. (1991). Simple consequence relations. Information and Computation, 92, 105\u2013139.","journal-title":"Information and Computation"},{"issue":"2\u20133","key":"9268_CR6","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1016\/0304-3975(88)90037-0","volume":"57","author":"A Avron","year":"1988","unstructured":"Avron, A. (1988). The semantics and proof theory of linear logic. Theoretical Computer Science, 57(2\u20133), 161\u2013184.","journal-title":"Theoretical Computer Science"},{"key":"9268_CR7","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780199268733.001.0001","volume-title":"Spandrels of truth","author":"JC Beall","year":"2009","unstructured":"Beall, J.C. (2009). Spandrels of truth. Oxford: Oxford University Press."},{"key":"9268_CR8","unstructured":"Beall J.C., & Murzi J. (forthcoming). Two flavors of curry paradox. Journal of Philosophy. http:\/\/philpapers.org\/rec\/BEATFO-4 . Accessed 12 Mar 2013."},{"key":"9268_CR9","unstructured":"Behounek, L., Cintula, P., Horcik, R. (2009). Strong quantifiers and exponentials in deductive fuzzy logic: Presented at the Czech-Japanese joint fuzzy logic workshop, Hakusan."},{"issue":"1\u20133","key":"9268_CR10","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1007\/s11225-006-8299-z","volume":"83","author":"WJ Blok","year":"2006","unstructured":"Blok, W.J., & J\u00f3nsson, B. (2006). Equivalence of consequence operations. Studia Logica, 83(1\u20133), 91\u2013110.","journal-title":"Studia Logica"},{"key":"9268_CR11","volume-title":"Algebraizable logics","author":"WJ Blok","year":"1989","unstructured":"Blok, W.J., & Pigozzi, D. (1989). Algebraizable logics. Providence: Memoirs of the AMS."},{"key":"9268_CR12","volume-title":"Universal logic","author":"R Brady","year":"2006","unstructured":"Brady, R. (2006). Universal logic. Stanford: CSLI."},{"key":"9268_CR13","doi-asserted-by":"crossref","first-page":"115","DOI":"10.2307\/2269292","volume":"7","author":"HB Curry","year":"1942","unstructured":"Curry, H.B. (1942). The inconsistency of certain formal logics. Journal of Symbolic Logic, 7, 115\u2013117.","journal-title":"Journal of Symbolic Logic"},{"issue":"4","key":"9268_CR14","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1007\/BF00431183","volume":"16","author":"JM Dunn","year":"1987","unstructured":"Dunn, J.M. (1987). Relevant predication 1: the formal theory. Journal of Philosophical Logic, 16(4), 347\u2013381.","journal-title":"Journal of Philosophical Logic"},{"key":"9268_CR15","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1023\/A:1023027808400","volume":"32","author":"H Field","year":"2003","unstructured":"Field, H. (2003). A revenge-immune solution to the semantic paradoxes. Journal of Philosophical Logic, 32, 139\u2013177.","journal-title":"Journal of Philosophical Logic"},{"key":"9268_CR16","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780199230747.001.0001","volume-title":"Saving truth from paradox","author":"H Field","year":"2008","unstructured":"Field, H. (2008). Saving truth from paradox. Oxford: Oxford University Press."},{"key":"9268_CR17","doi-asserted-by":"crossref","unstructured":"Freytes, H. (2013). Equational type characterization for sigma complete MV algebras. Algebra Universalis. Online First.","DOI":"10.1007\/s00012-013-0220-9"},{"key":"9268_CR18","first-page":"391","volume-title":"Proceedings of the 1969 logic colloquium","author":"DM Gabbay","year":"1969","unstructured":"Gabbay, D.M. (1969). Semantic proof of the Craig interpolation theorem for intuitionistic logic and extensions, part I. In Proceedings of the 1969 logic colloquium (pp. 391\u2013401). Amsterdam: North-Holland."},{"key":"9268_CR19","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198538332.001.0001","volume-title":"Labelled deductive systems","author":"DM Gabbay","year":"1996","unstructured":"Gabbay, D.M. (1996). Labelled deductive systems. Oxford: Oxford University Press."},{"key":"9268_CR20","volume-title":"Residuated lattices: An algebraic glimpse on substructural logics","author":"N Galatos","year":"2007","unstructured":"Galatos, N., Jipsen, P., Kowalski, T., Ono, H. (2007). Residuated lattices: An algebraic glimpse on substructural logics. Amsterdam: Elsevier."},{"key":"9268_CR21","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J-Y Girard","year":"1987","unstructured":"Girard, J.-Y. (1987). Linear logic. Theoretical Computer Science, 50, 1\u2013102.","journal-title":"Theoretical Computer Science"},{"key":"9268_CR22","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/BF00652069","volume":"3","author":"R Goldblatt","year":"1974","unstructured":"Goldblatt, R. (1974). Semantic analysis of orthologic. Journal of Philosophical Logic, 3, 19\u201335.","journal-title":"Journal of Philosophical Logic"},{"key":"9268_CR23","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1070\/IM1982v018n01ABEH001382","volume":"18","author":"VN Grishin","year":"1982","unstructured":"Grishin, V.N. (1982). Predicate and set-theoretic calculi based on logics without contractions. Mathematics of the URSS Izvestija, 18, 41\u201359.","journal-title":"Mathematics of the URSS Izvestija"},{"key":"9268_CR24","unstructured":"Gyuris, V. (1999). Variations of algebraizability. PhD thesis. Chicago: The University of Illinois at Chicago."},{"issue":"6","key":"9268_CR25","doi-asserted-by":"crossref","first-page":"763","DOI":"10.1007\/s00153-005-0284-0","volume":"44","author":"P Hajek","year":"2005","unstructured":"Hajek, P. (2005). On arithmetic in Cantor-\u0141ukasiewicz fuzzy set theory. Archive for Mathematical Logic, 44(6), 763\u2013782.","journal-title":"Archive for Mathematical Logic"},{"key":"9268_CR26","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/9055.001.0001","volume-title":"The connectives","author":"L Humberstone","year":"2011","unstructured":"Humberstone, L. (2011). The connectives. Cambridge: MIT Press."},{"issue":"1","key":"9268_CR27","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1305\/ndjfl\/1143468315","volume":"47","author":"L Humberstone","year":"2006","unstructured":"Humberstone, L. (2006). Variations on a theme of Curry. Notre Dame Journal of Formal Logic, 47(1), 101\u2013131.","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"3","key":"9268_CR28","doi-asserted-by":"crossref","first-page":"828","DOI":"10.2178\/jsl\/1058448441","volume":"68","author":"R Hinnion","year":"2003","unstructured":"Hinnion, R., & Libert, T. (2003). Positive abstraction and extensionality. Journal of Symbolic Logic, 68(3), 828\u2013836.","journal-title":"Journal of Symbolic Logic"},{"issue":"13","key":"9268_CR29","first-page":"350","volume":"14","author":"CI Lewis","year":"1917","unstructured":"Lewis, C.I. (1917). The issues concerning material implication. Journal of Philosophy, 14(13), 350\u2013356.","journal-title":"Journal of Philosophy"},{"key":"9268_CR30","volume-title":"Symbolic logic","author":"CI Lewis","year":"1932","unstructured":"Lewis, C.I., & Langford, C.H. (1932). Symbolic logic. New York: Dover."},{"key":"9268_CR31","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00370329","volume":"51","author":"E Mares","year":"1992","unstructured":"Mares, E. (1992). Semantics for relevance logic with identity. Studia Logica, 51, 1\u201320.","journal-title":"Studia Logica"},{"key":"9268_CR32","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511520006","volume-title":"Relevant logic","author":"E Mares","year":"2004","unstructured":"Mares, E. (2004). Relevant logic. Cambridge: Cambridge University Press."},{"key":"9268_CR33","doi-asserted-by":"crossref","first-page":"163","DOI":"10.2178\/jsl\/1140641167","volume":"71","author":"E Mares","year":"2006","unstructured":"Mares, E., & Goldblatt, R. (2006). An alternative semantics for quantified relevant logic. Journal of Symbolic Logic, 71, 163\u2013187.","journal-title":"Journal of Symbolic Logic"},{"key":"9268_CR34","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1093\/analys\/39.3.124","volume":"39","author":"RK Meyer","year":"1979","unstructured":"Meyer, R.K., Routley, R.D., Dunn, J.M. (1979). Curry\u2019s paradox. Analysis, 39, 124\u2013128.","journal-title":"Analysis"},{"key":"9268_CR35","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1093\/logcom\/14.2.299","volume":"14","author":"F Montagna","year":"2004","unstructured":"Montagna, F. (2004). Storage operators and multiplicative quantifiers in many-valued logics. Journal of Logic and Computation, 14, 299\u2013322.","journal-title":"Journal of Logic and Computation"},{"key":"9268_CR36","volume-title":"The semantics and proof theory of the logic of bunched implications","author":"PW O\u2019Hearn","year":"2002","unstructured":"O\u2019Hearn, P.W., & Pym, D.J. (2002). The semantics and proof theory of the logic of bunched implications. Dordrecht: Kluwer."},{"key":"9268_CR37","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1093\/oso\/9780198537779.003.0010","volume-title":"Substructural logics","author":"H Ono","year":"1993","unstructured":"Ono, H. (1993). Semantics for substructural logics. In K. Dosen, & P. Schr\u00f6der-Heister (Eds.), Substructural logics (pp. 259\u2013291). Oxford: Oxford University Press."},{"key":"9268_CR38","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-3179-9","volume-title":"Substructural logics: A primer","author":"F Paoli","year":"2002","unstructured":"Paoli, F. (2002). Substructural logics: A primer. Dordrecht: Kluwer."},{"key":"9268_CR39","doi-asserted-by":"crossref","first-page":"553","DOI":"10.1080\/00048400701728574","volume":"85","author":"F Paoli","year":"2007","unstructured":"Paoli, F. (2007). Implicational paradoxes and the meaning of logical constants. Australasian Journal of Philosophy, 85, 553\u2013579.","journal-title":"Australasian Journal of Philosophy"},{"key":"9268_CR40","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1111\/j.1755-2567.1977.tb00776.x","volume":"43","author":"D Prawitz","year":"1977","unstructured":"Prawitz, D. (1977). Meaning and proof. Theoria, 43, 2\u201340.","journal-title":"Theoria"},{"key":"9268_CR41","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780199263301.001.0001","volume-title":"In contradiction","author":"G Priest","year":"2006","unstructured":"Priest, G. (2006). In contradiction. Oxford: Oxford University Press."},{"key":"9268_CR42","volume-title":"Relevant logic","author":"S Read","year":"1988","unstructured":"Read, S. (1988). Relevant logic. Oxford: Blackwell."},{"key":"9268_CR43","first-page":"463","volume-title":"Logic, language and computation: The 1994 moraga proceedings","author":"G Restall","year":"1995","unstructured":"Restall, G. (1995). Information flow and relevant logic. In J. Seligman, & D. Westerst\u00e5hl (Eds.), Logic, language and computation: The 1994 moraga proceedings (pp. 463\u2013477). Stanford: CSLI Press."},{"key":"9268_CR44","doi-asserted-by":"crossref","DOI":"10.4324\/9780203252642","volume-title":"An introduction to substructural logics","author":"G Restall","year":"2000","unstructured":"Restall, G. (2000). An introduction to substructural logics. London: Routledge."},{"key":"9268_CR45","first-page":"262","volume-title":"The revenge of the liar","author":"G Restall","year":"2008","unstructured":"Restall, G. (2008). Curry\u2019s, revenge: The costs of non-classical solutions to the paradoxes of self-reference. In J.C. Beall (Ed.), The revenge of the liar (pp. 262\u2013271). Oxford: Oxford University Press."},{"key":"9268_CR46","first-page":"81","volume-title":"Paraconsistency: Logic and applications","author":"G Restall","year":"2012","unstructured":"Restall, G. (2012). Assertion, denial, and nonclassical theories. In K. Tanaka, & et al. (Eds.), Paraconsistency: Logic and applications (pp. 81\u2013100). Berlin: Springer."},{"issue":"4","key":"9268_CR47","doi-asserted-by":"crossref","first-page":"673","DOI":"10.1093\/analys\/anq071","volume":"70","author":"G Restall","year":"2010","unstructured":"Restall, G. (2010). On t and u, and what they can do. Analysis, 70(4), 673\u2013676.","journal-title":"Analysis"},{"issue":"1","key":"9268_CR48","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1023\/A:1016391109231","volume":"71","author":"S Rogerson","year":"2002","unstructured":"Rogerson, S., & Butchart, S. (2002). Na\u00efve comprehension and contracting implications. Studia Logica, 71(1), 119\u2013132.","journal-title":"Studia Logica"},{"key":"9268_CR49","unstructured":"Schr\u00f6der-Heister, P. (2003). On the notion of assumption in logical systems. In Proceedings of GAP.5. Bielefeld."},{"key":"9268_CR50","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/s11245-012-9119-x","volume":"31","author":"P Schr\u00f6der-Heister","year":"2012","unstructured":"Schr\u00f6der-Heister, P. (2012). Proof-theoretic semantics, self-contradiction, and the format of deductive reasoning. Topoi, 31, 77\u201385.","journal-title":"Topoi"},{"key":"9268_CR51","unstructured":"Schr\u00f6der-Heister, P. (2012). Proof-theoretic semantics. Entry in E. Zalta. Stanford Encyclopaedia of Philosophy."},{"issue":"21","key":"9268_CR52","doi-asserted-by":"crossref","first-page":"787","DOI":"10.2307\/2024952","volume":"68","author":"D Scott","year":"1971","unstructured":"Scott, D. (1971). On engendering an illusion of understanding. Journal of Philosophy, 68(21), 787\u2013807.","journal-title":"Journal of Philosophy"},{"issue":"243","key":"9268_CR53","first-page":"320","volume":"61","author":"L Shapiro","year":"2011","unstructured":"Shapiro, L. (2011). Deflating logical consequence, Philosophical Quarterly, 61(243), 320\u2013342.","journal-title":"Deflating logical consequence,Philosophical Quarterly"},{"issue":"1","key":"9268_CR54","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1111\/1468-0068.00431","volume":"37","author":"S Shapiro","year":"2003","unstructured":"Shapiro, S. (2003). The guru, the logician and the deflationist: truth and logical consequence. No\u00fbs, 37(1), 113\u2013132.","journal-title":"No\u00fbs"},{"key":"9268_CR55","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511565687","volume-title":"Multiple-conclusion logic","author":"DJ Shoesmith","year":"1978","unstructured":"Shoesmith, D.J., & Smiley, T.J. (1978). Multiple-conclusion logic. Cambridge: Cambridge University Press."},{"issue":"3","key":"9268_CR56","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1305\/ndjfl\/1093957573","volume":"4","author":"T Skolem","year":"1963","unstructured":"Skolem, T. (1963). Studies on the axiom of comprehension. Notre Dame Journal of Formal Logic, 4(3), 162\u2013179.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9268_CR57","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1007\/s10992-010-9153-3","volume":"40","author":"F Steinberger","year":"2011","unstructured":"Steinberger, F. (2011). Why conclusions should remain single. Journal of Philosophical Logic, 40, 333\u2013355.","journal-title":"Journal of Philosophical Logic"},{"key":"9268_CR58","first-page":"409","volume-title":"Logic, semantics, metamathematics: Papers from 1923 to 1938","author":"A Tarski","year":"1956","unstructured":"Tarski, A. (1956). On the concept of logical consequence. In Logic, semantics, metamathematics: Papers from 1923 to 1938 (pp. 409\u2013420). Oxford: Clarendon Press."},{"key":"9268_CR59","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-56734-8","volume-title":"The logic of information structures","author":"H Wansing","year":"1993","unstructured":"Wansing, H. (1993). The logic of information structures. Berlin: Springer."},{"key":"9268_CR60","doi-asserted-by":"crossref","first-page":"498","DOI":"10.1017\/S1755020311000177","volume":"4","author":"E Zardini","year":"2011","unstructured":"Zardini, E. (2011). Truth without contra(di)ction. Review of Symbolic Logic, 4, 498\u2013535.","journal-title":"Review of Symbolic Logic"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-013-9268-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-013-9268-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-013-9268-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,7]],"date-time":"2024-05-07T13:38:03Z","timestamp":1715089083000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-013-9268-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,3,16]]},"references-count":60,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[2014,6]]}},"alternative-id":["9268"],"URL":"https:\/\/doi.org\/10.1007\/s10992-013-9268-4","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,3,16]]}}}