{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,25]],"date-time":"2026-04-25T01:24:38Z","timestamp":1777080278368,"version":"3.51.4"},"reference-count":11,"publisher":"Wiley","issue":"3","license":[{"start":{"date-parts":[[2012,4,30]],"date-time":"2012-04-30T00:00:00Z","timestamp":1335744000000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mathematical Logic Qtrly"],"published-print":{"date-parts":[[2012,5]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>This paper provides a finer analysis of the well\u2010known form of the Local Deduction Theorem in contraction\u2010free logics (understood as Tarski\u2010style finitary structural consequence relations). An infinite hierarchy of its natural strengthenings is introduced and studied. The main results are the separation of its initial four members and the subsequent collapse of the hierarchy.<\/jats:p>","DOI":"10.1002\/malq.201110065","type":"journal-article","created":{"date-parts":[[2012,4,30]],"date-time":"2012-04-30T08:13:39Z","timestamp":1335773619000},"page":"236-243","source":"Crossref","is-referenced-by-count":6,"title":["Note on Deduction Theorems in contraction\u2010free logics"],"prefix":"10.1002","volume":"58","author":[{"given":"Karel","family":"Chvalovsk\u00fd","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Petr","family":"Cintula","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2012,4,30]]},"reference":[{"key":"e_1_2_7_2_1","volume-title":"Entailment: The Logic of Relevance and Necessity Vol. 1","author":"Anderson A. R.","year":"1975"},{"key":"e_1_2_7_3_1","first-page":"49","volume-title":"Doktorandsk\u00e9 dny 2010 \u00dastavu informatiky AV \u010cR","author":"Chvalovsk\u00fd K.","year":"2010"},{"key":"e_1_2_7_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00153-006-0011-5"},{"key":"e_1_2_7_5_1","volume-title":"Residuated Lattices: An Algebraic Glimpse at Substructural Logics Vol. 151","author":"Galatos N.","year":"2007"},{"key":"e_1_2_7_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(87)90045-4"},{"key":"e_1_2_7_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-5300-3"},{"key":"e_1_2_7_8_1","volume-title":"Recherches sur la th\u00e9orie de la d\u00e9monstration","author":"Herbrand J.","year":"1930"},{"key":"e_1_2_7_9_1","doi-asserted-by":"publisher","DOI":"10.2307\/2274956"},{"key":"e_1_2_7_10_1","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093957574"},{"key":"e_1_2_7_11_1","first-page":"22","article-title":"\u00dcber einige fundamentale Begriffe der Metamathematik, C. R. S\u00e9ances Soc","volume":"23","author":"Tarski A.","year":"1930","journal-title":"Lett. Vars., Cl. III"},{"key":"e_1_2_7_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-6942-2"}],"container-title":["Mathematical Logic Quarterly"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fmalq.201110065","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/malq.201110065","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,30]],"date-time":"2023-10-30T08:15:31Z","timestamp":1698653731000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/malq.201110065"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,4,30]]},"references-count":11,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2012,5]]}},"alternative-id":["10.1002\/malq.201110065"],"URL":"https:\/\/doi.org\/10.1002\/malq.201110065","archive":["Portico"],"relation":{},"ISSN":["0942-5616","1521-3870"],"issn-type":[{"value":"0942-5616","type":"print"},{"value":"1521-3870","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,4,30]]}}}