{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:40:03Z","timestamp":1706650803571},"reference-count":16,"publisher":"Duke University Press","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[1998,1,1]]},"DOI":"10.1305\/ndjfl\/1039293022","type":"journal-article","created":{"date-parts":[[2003,2,25]],"date-time":"2003-02-25T20:46:12Z","timestamp":1046205972000},"source":"Crossref","is-referenced-by-count":4,"title":["A Syntactic Approach to Maksimova's Principle of Variable Separation for Some Substructural Logics"],"prefix":"10.1215","volume":"39","author":[{"given":"H.","family":"Naruse","sequence":"first","affiliation":[]},{"given":"H.","family":"Ono","sequence":"additional","affiliation":[]},{"given":"Bayu","family":"Surarso","sequence":"additional","affiliation":[]}],"member":"73","reference":[{"key":"1","unstructured":"Anderson, A. R., and N. D. Belnap, Jr., <i>Entailment: The Logic of Relevance and Necessity<\/i>, vol. 1, Princeton University Press, Princeton, 1975. Zbl 0323.02030 MR 53:10542"},{"key":"2","unstructured":"Bayu Surarso, \u201cInterpolation theorem for some distributive logics,\u201d forthcoming in <i>Mathematica Japonica<\/i>. Zbl 0957.03032 MR 2001d:03057"},{"key":"3","unstructured":"Bayu Surarso, and H. Ono, \u201cCut elimination in noncommutative substructural logics,\u201d <i>Reports on Mathematical Logic,<\/i> vol. 30 (1996), pp. 13\u201329. Zbl 0896.03048 MR 2000a:03096"},{"key":"4","doi-asserted-by":"crossref","unstructured":"Chagrov, A., and M. Zakharyaschev, \u201cThe undecidability of the disjunction property of propositional logics and other related problems,\u201d <i>The Journal of Symbolic Logic,<\/i> vol. 58 (1993), pp. 967\u20131002. Zbl 0799.03009 MR 94i:03048","DOI":"10.2307\/2275108"},{"key":"5","unstructured":"Dunn, J. M., \u201cConsecution formulation of positive $R$ with co-tenability and $t$,\u201d pp. 381\u201391 in <i>Entailment: The Logic of Relevance and Necessity<\/i>, vol. 1, edited by A. R. Anderson and N. D. Belnap, Princeton University Press, Princeton,1975."},{"key":"6","doi-asserted-by":"crossref","unstructured":"Dunn, J. M., \u201cRelevance logic and entailment,\u201d pp. 117\u2013224 in <i>Handbook of Philosophical Logic<\/i>, vol. 3, edited by D. Gabbay and F. Guenthner, D. Reidel, Dordrecht, 1986. Zbl 0875.03051","DOI":"10.1007\/978-94-009-5203-4_3"},{"key":"7","doi-asserted-by":"crossref","unstructured":"Giambrone, S., \u201c$TW_{+}$ and $RW_{+}$ are decidable,\u201d <i>The Journal of Philosophical Logic,<\/i> vol. 14 (1985), pp. 235\u201354. Zbl 0587.03014 MR 87i:03021a","DOI":"10.1007\/BF00249365"},{"key":"8","unstructured":"Maksimova, L., \u201cThe principle of separation of variables in propositional logics,\u201d <i>Algebra i Logika,<\/i> vol. 15 (1976), pp. 168\u201384. Zbl 0363.02024 MR 58:21417"},{"key":"9","doi-asserted-by":"crossref","unstructured":"Maksimova, L., \u201cInterpolation properties of superintuitionistic logics,\u201d <i>Studia Logica,<\/i> vol. 38 (1979), pp. 419\u201328. Zbl 0435.03021 MR 81f:03035","DOI":"10.1007\/BF00370479"},{"key":"10","doi-asserted-by":"crossref","unstructured":"Maksimova, L., \u201cRelevance principles and formal deducibility,\u201d pp. 95\u201397 in <i>Directions in Relevant Logic<\/i>, edited by J. Norman and R. Sylvan, Kluwer Academic Publishers, Boston, 1989.","DOI":"10.1007\/978-94-009-1005-8_6"},{"key":"11","doi-asserted-by":"crossref","unstructured":"Maksimova, L., \u201cOn variable separation in modal and superintuitionistic logics,\u201d <i>Studia Logica<\/i>, vol. 55 (1995), pp. 99\u2013112. Zbl 0840.03017 MR 96j:03034","DOI":"10.1007\/BF01053034"},{"key":"12","doi-asserted-by":"crossref","unstructured":"Mints, G. E., \u201cCut elimination theorem for relevant logics,\u201d <i>Journal of Soviet Mathematics<\/i>, vol. 6 (1976), pp. 422\u201328. Zbl 0379.02011 MR 49:8823","DOI":"10.1007\/BF01084083"},{"key":"13","doi-asserted-by":"crossref","unstructured":"Ono, H., \u201cStructural rules and a logical hierarchy,\u201d pp. 95\u2013104 in <i>Mathematical Logic<\/i>, edited by P. P. Petkov, Plenum Press, New York, 1990. Zbl 0790.03007 MR 91j:03073","DOI":"10.1007\/978-1-4613-0609-2_8"},{"key":"14","doi-asserted-by":"crossref","unstructured":"Ono, H., \u201cSemantics for substructural logics,\u201d pp. 259\u201391 in <i>Substructural Logics<\/i>, edited by K. Do\u0161en and P. Schr\u00f6eder-Heister, Oxford University Press, Oxford, 1993. Zbl 0941.03522 MR 95f:03013","DOI":"10.1093\/oso\/9780198537779.003.0010"},{"key":"15","doi-asserted-by":"crossref","unstructured":"Ono, H., and Y. Komori, \u201cLogics without the contraction rule,\u201d <i>The Journal of Symbolic Logic,<\/i> vol. 50 (1985), pp. 169\u2013201. Zbl 0583.03018 MR 87a:03053","DOI":"10.2307\/2273798"},{"key":"16","doi-asserted-by":"crossref","unstructured":"Slaney, J., \u201cSolution to a problem of Ono and Komori,\u201d <i>The Journal of Philosophical Logic,<\/i> vol. 18 (1989), pp. 103\u201311. Zbl 0671.03036 MR 90c:03050","DOI":"10.1007\/BF00296176"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1305\/ndjfl\/1039293022","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:13:17Z","timestamp":1706649197000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-39\/issue-1\/A-Syntactic-Approach-to-Maksimovas-Principle-of-Variable-Separation-for\/10.1305\/ndjfl\/1039293022.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,1,1]]},"references-count":16,"journal-issue":{"issue":"1","published-online":{"date-parts":[[1998,1,1]]}},"URL":"https:\/\/doi.org\/10.1305\/ndjfl\/1039293022","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[1998,1,1]]}}}