{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,9]],"date-time":"2026-02-09T18:42:39Z","timestamp":1770662559176,"version":"3.49.0"},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2012,5,26]],"date-time":"2012-05-26T00:00:00Z","timestamp":1337990400000},"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":[[2012,8]]},"DOI":"10.1007\/s10992-012-9234-6","type":"journal-article","created":{"date-parts":[[2012,5,25]],"date-time":"2012-05-25T10:33:33Z","timestamp":1337942013000},"page":"671-709","source":"Crossref","is-referenced-by-count":10,"title":["Consequence Mining"],"prefix":"10.1007","volume":"41","author":[{"given":"Denis","family":"Bonnay","sequence":"first","affiliation":[]},{"given":"Dag","family":"Westerst\u00e5hl","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2012,5,26]]},"reference":[{"issue":"3","key":"9234_CR1","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1007\/s11050-010-9064-4","volume":"19","author":"M Abrus\u00e1n","year":"2011","unstructured":"Abrus\u00e1n, M. (2011). Presuppositional and negative islands: A semantic account. Natural Language Semantics, 19(3), 257\u2013321.","journal-title":"Natural Language Semantics"},{"key":"9234_CR2","first-page":"3","volume-title":"Situation theory and its applications Vol. 1","author":"P Aczel","year":"1990","unstructured":"Aczel, P. (1990). Replacement systems and the axiomatization of situation theory. In R. Cooper, K. Mukai, & J.\u00a0Perry (Eds.), Situation theory and its applications (Vol. 1, pp. 3\u201333). Stanford: CLSI Publications.","edition":"1"},{"issue":"2","key":"9234_CR3","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1111\/j.1755-2567.1950.tb00899.x","volume":"16","author":"Y Bar-Hillel","year":"1950","unstructured":"Bar-Hillel, Y. (1950). Bolzano\u2019s definition of analytic propositions. Theoria, 16(2), 91\u2013117.","journal-title":"Theoria"},{"key":"9234_CR4","doi-asserted-by":"crossref","unstructured":"Bolzano, B. (1837). Theory of science. Edited by J. Berg. D. Reidel: Dordrecht (1973)","DOI":"10.1093\/oseo\/instance.00079564"},{"key":"9234_CR5","doi-asserted-by":"crossref","first-page":"229","DOI":"10.2307\/2214931","volume":"19","author":"D Bonevac","year":"1985","unstructured":"Bonevac, D. (1985). Quantity and quantification. No\u00fbs, 19, 229\u2013247.","journal-title":"No\u00fbs"},{"issue":"1","key":"9234_CR6","doi-asserted-by":"crossref","first-page":"29","DOI":"10.2178\/bsl\/1208358843","volume":"14","author":"D Bonnay","year":"2008","unstructured":"Bonnay, D. (2008). Logicality and invariance. Bulletin of Symbolic Logic, 14(1), 29\u201368.","journal-title":"Bulletin of Symbolic Logic"},{"key":"9234_CR7","first-page":"193","volume-title":"Amsterdam colloquium 2009. LNAI Vol.\u00a06042","author":"D Bonnay","year":"2010","unstructured":"Bonnay, D., & Westerst\u00e5hl, D. (2010). Logical consequence inside out. In M. Aloni & K. Schulz (Eds.), Amsterdam colloquium 2009. LNAI (Vol.\u00a06042, pp. 193\u2013202). Heidelberg: Springer."},{"key":"9234_CR8","unstructured":"Carnap, R. (1937). The logical syntax of language. London: Kegan, Paul, Trench Trubner & Cie. Rev. ed. translation of Logische Syntax der Sprache, Wien: Springer (1934)."},{"key":"9234_CR9","doi-asserted-by":"crossref","first-page":"177","DOI":"10.2307\/2214704","volume":"4","author":"M Dunn","year":"1968","unstructured":"Dunn, M., & Belnap, N. (1968). The substitution interpretation of the quantifiers. No\u00fbs, 4, 177\u2013185.","journal-title":"No\u00fbs"},{"key":"9234_CR10","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1215\/00294527-2010-002","volume":"51","author":"S Feferman","year":"2010","unstructured":"Feferman, S. (2010). Set-theoretical invariance criteria for logicality. Notre Dame Journal of Formal Logic, 51, 3\u201320.","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"5","key":"9234_CR11","first-page":"537","volume":"59","author":"D Fox","year":"2006","unstructured":"Fox, D., & Hackl, M. (2006). The universal density of measurement. Linguistics and Philosophy, 59(5), 537\u2013586.","journal-title":"Linguistics and Philosophy"},{"key":"9234_CR12","unstructured":"Gajewski, J. (2002). L-analyticity and natural language. Manuscript."},{"key":"9234_CR13","unstructured":"Gentzen, G. (1932). \u00dcber die Existenz unabh\u00e4ngiger Axiomensysteme zu unendlichen Satzsystemen. Mathematische Annalen, 107, 329\u2013350. English translation. In M. E. Szabo (Ed.), The collected papers of Gerhard Gentzen. Amsterdam: North-Holland (1969)."},{"issue":"1","key":"9234_CR14","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1305\/ndjfl\/1040067321","volume":"37","author":"M G\u00f3mez-Torrente","year":"1996","unstructured":"G\u00f3mez-Torrente, M. (1996). Tarski on logical consequence. Notre Dame Journal of Formal Logic, 37(1), 125\u2013151.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9234_CR15","doi-asserted-by":"crossref","first-page":"246","DOI":"10.1007\/BF01459067","volume":"87","author":"G Hertz","year":"1923","unstructured":"Hertz, G. (1923). \u00dcber Axiomensysteme f\u00fcr beliebige Satzsysteme. Mathematische Annalen, 87, 246\u2013269.","journal-title":"Mathematische Annalen"},{"key":"9234_CR16","volume-title":"Symbolig logic","author":"CI Lewis","year":"1932","unstructured":"Lewis, C.\u00a0I., & Langford, C.\u00a0H. (1932). Symbolig logic. New York: Dover."},{"key":"9234_CR17","unstructured":"MacFarlane, J. (2009). Logical constants. In E.\u00a0N. Zalta (Ed.), The Stanford encyclopedia of philosophy (Fall 2009 ed.). http:\/\/plato.stanford.edu\/archives\/fall2009\/entries\/logicalconstants\/ ."},{"key":"9234_CR18","volume-title":"Quantifiers in language and logic","author":"S Peters","year":"2006","unstructured":"Peters, S., & Westerst\u00e5hl, D. (2006). Quantifiers in language and logic. Oxford: Oxford University Press."},{"key":"9234_CR19","first-page":"283","volume-title":"The ways of paradox","author":"W Quine","year":"1976","unstructured":"Quine, W. (1976). Algebraic logic and predicate functors. In The ways of paradox (pp. 283\u2013307). Cambridge: Harvard University Press."},{"key":"9234_CR20","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511565687","volume-title":"Multiple-conclusion logic","author":"DJ Shoesmith","year":"1978","unstructured":"Shoesmith, D.\u00a0J., & Smiley, T.\u00a0J. (1978). Multiple-conclusion logic. Cambridge: Cambridge University Press."},{"key":"9234_CR21","doi-asserted-by":"crossref","unstructured":"Tarski, A. (1930a). Fundamentale Begriffe der Methodologie der deduktiven Wissenschaften. I\u2019. Monatshefte f\u00fcr Mathematik und Physik, 37, 361\u2013404. English translation in [24].","DOI":"10.1007\/BF01696782"},{"key":"9234_CR22","unstructured":"Tarski, A. (1930b). \u00dcber einige fundamentale Begriffe der Metamathematik. Comptes rendus des s\u00e9ances de la Societe\u00e9 des Sciences et des Lettres de Varsovie, 23, 22\u201329. English translation in Tarski\u00a0[24]."},{"key":"9234_CR23","unstructured":"Tarski, A. (1936). On the concept of logical consequence. In [24] (pp. 409\u2013420)."},{"key":"9234_CR24","unstructured":"Tarski, A. (1956). Logic, semantics, metamathematics. Oxford: Clarendon Press. Republished 1983 by Hackett Publishing, Indianapolis."},{"key":"9234_CR25","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1080\/01445348608837096","volume":"7","author":"A Tarski","year":"1986","unstructured":"Tarski, A. (1986). What are logical notions?. History and Philosophy of Logic, 7, 145\u2013154.","journal-title":"History and Philosophy of Logic"},{"key":"9234_CR26","unstructured":"van Benthem, J. (2003). Is there still logic in Bolzano\u2019s key?. In E. Morscher (Ed.), Bernard Bolzanos Leistungen in Logik, Mathematik und Physik Bd. 16 (pp. 11\u201334). Sankt Augustin: Academia."},{"key":"9234_CR27","author":"D Westerst\u00e5hl","year":"2011","unstructured":"Westerst\u00e5hl, D. (2011). From constants to consequence, and back. Synthese (online first). doi: 10.1007\/s11229-011-9902-z .","journal-title":"Synthese"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-012-9234-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-012-9234-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-012-9234-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,29]],"date-time":"2019-06-29T03:39:53Z","timestamp":1561779593000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-012-9234-6"}},"subtitle":["Constants Versus Consequence Relations"],"short-title":[],"issued":{"date-parts":[[2012,5,26]]},"references-count":27,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2012,8]]}},"alternative-id":["9234"],"URL":"https:\/\/doi.org\/10.1007\/s10992-012-9234-6","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,5,26]]}}}