{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,2]],"date-time":"2026-04-02T22:20:57Z","timestamp":1775168457428,"version":"3.50.1"},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2020,9,5]],"date-time":"2020-09-05T00:00:00Z","timestamp":1599264000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,9,5]],"date-time":"2020-09-05T00:00:00Z","timestamp":1599264000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2021,8]]},"DOI":"10.1007\/s11225-020-09921-2","type":"journal-article","created":{"date-parts":[[2020,9,5]],"date-time":"2020-09-05T14:02:36Z","timestamp":1599314556000},"page":"687-699","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["A Characteristic Frame for Positive Intuitionistic and Relevance Logic"],"prefix":"10.1007","volume":"109","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9179-2298","authenticated-orcid":false,"given":"Yale","family":"Weiss","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,9,5]]},"reference":[{"key":"9921_CR1","volume-title":"Entailment: The Logic of Relevance and Necessity","author":"Alan Ross Anderson","year":"1975","unstructured":"Anderson, A.\u00a0R., and N.\u00a0D. Belnap, Jr., Entailment: The Logic of Relevance and Necessity, vol.\u00a0I, Princeton University Press, Princeton, 1975."},{"key":"9921_CR2","volume-title":"Entailment: The Logic of Relevance and Necessity","author":"Alan Ross Anderson","year":"1992","unstructured":"Anderson, A.\u00a0R., N.\u00a0D. Belnap, Jr., and J.\u00a0M. Dunn, Entailment: The Logic of Relevance and Necessity, vol.\u00a0II, Princeton University Press, Princeton, 1992."},{"issue":"2","key":"9921_CR3","doi-asserted-by":"publisher","first-page":"233","DOI":"10.2307\/2273616","volume":"46","author":"G Charlwood","year":"1981","unstructured":"Charlwood, G., An axiomatic version of positive semilattice relevance logic, Journal of Symbolic Logic 46(2):233\u2013239, 1981.","journal-title":"Journal of Symbolic Logic"},{"issue":"2","key":"9921_CR4","doi-asserted-by":"publisher","first-page":"97","DOI":"10.2307\/2964753","volume":"24","author":"Michael Dummett","year":"1959","unstructured":"Dummett, M., A propositional calculus with denumerable matrix, Journal of Symbolic Logic 24(2):97\u2013106, 1959.","journal-title":"Journal of Symbolic Logic"},{"issue":"2","key":"9921_CR5","first-page":"560","volume":"41","author":"Kit Fine","year":"1976","unstructured":"Fine, K., Completeness for the semilattice semantics with disjunction and conjunction (abstract), Journal of Symbolic Logic 41(2):560, 1976.","journal-title":"Journal of Symbolic Logic"},{"issue":"2\u20133","key":"9921_CR6","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1007\/s10992-013-9281-7","volume":"43","author":"Kit Fine","year":"2014","unstructured":"Fine, K., Truth-maker semantics for intuitionistic logic, Journal of Philosophical Logic 43(2-3):549\u2013577, 2014.","journal-title":"Journal of Philosophical Logic"},{"issue":"5","key":"9921_CR7","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1002\/malq.19870330507","volume":"33","author":"Steve Giambrone","year":"1987","unstructured":"Giambrone, S., and A. Urquhart, Proof theories for semilattice logics, Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik 33(5):433\u2013439, 1987.","journal-title":"Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik"},{"issue":"6","key":"9921_CR8","doi-asserted-by":"publisher","first-page":"761","DOI":"10.1093\/jigpal\/8.6.761","volume":"8","author":"Ryo Kashima","year":"2000","unstructured":"Kashima, R., Completeness of implicational relevant logics, Logic Journal of the IGPL 8(6):761\u2013785, 2000.","journal-title":"Logic Journal of the IGPL"},{"issue":"4","key":"9921_CR9","doi-asserted-by":"publisher","first-page":"869","DOI":"10.2307\/2273106","volume":"47","author":"EP Martin","year":"1982","unstructured":"Martin, E.\u00a0P., and R.\u00a0K. Meyer, Solution to the P-W problem, Journal of Symbolic Logic 47(4):869\u2013887, 1982.","journal-title":"Journal of Symbolic Logic"},{"issue":"7","key":"9921_CR10","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1002\/malq.19700160703","volume":"16","author":"Robert K Meyer","year":"1970","unstructured":"Meyer, R.\u00a0K., $${R}_{I}$$\u2014the bounds of finitude, Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik 16(7): 385\u2013387, 1970.","journal-title":"Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik"},{"key":"9921_CR11","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/978-94-010-0526-5_9","volume-title":"Logic, Meaning and Computation: Essays in Memory of Alonzo Church","author":"Robert K. Meyer","year":"2001","unstructured":"Meyer, R.\u00a0K., Improved decision procedures for pure relevant logic, in C. A. Anderson, and M. Zel\u00ebny, (eds.), Logic, Meaning and Computation: Essays in Memory of Alonzo Church, Kluwer Academic Publishers, Dordrecht, 2001, pp. 191\u2013217."},{"issue":"1","key":"9921_CR12","doi-asserted-by":"publisher","first-page":"159","DOI":"10.2307\/2272559","volume":"37","author":"Alasdair Urquhart","year":"1972","unstructured":"Urquhart, A., Semantics for relevant logics, Journal of Symbolic Logic 37(1):159\u2013169, 1972.","journal-title":"Journal of Symbolic Logic"},{"issue":"1","key":"9921_CR13","doi-asserted-by":"publisher","first-page":"11","DOI":"10.26686\/ajl.v13i1.3926","volume":"13","author":"Alasdair Urquhart","year":"2016","unstructured":"Urquhart, A., Relevance logic: Problems open and closed, Australasian Journal of Logic 13(1):11\u201320, 2016.","journal-title":"Australasian Journal of Logic"},{"issue":"3","key":"9921_CR14","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1111\/j.1755-2567.1971.tb00072.x","volume":"37","author":"Alasdair I.F. Urquhart","year":"1971","unstructured":"Urquhart, A.\u00a0I.\u00a0F., Completeness of weak implication, Theoria 37(3):274\u2013282, 1971.","journal-title":"Theoria"},{"key":"9921_CR15","unstructured":"Urquhart, A.\u00a0I.\u00a0F., The Semantics of Entailment, Ph.D. thesis, University of Pittsburgh, 1973."},{"issue":"6","key":"9921_CR16","doi-asserted-by":"publisher","first-page":"177","DOI":"10.26686\/ajl.v16i6.5416","volume":"16","author":"Yale Weiss","year":"2019","unstructured":"Weiss, Y., A note on the relevance of semilattice relevance logic, Australasian Journal of Logic 16(6):177\u2013185, 2019.","journal-title":"Australasian Journal of Logic"},{"key":"9921_CR17","unstructured":"Weiss, Y., Simplified truthmaker semantics for intuitionistic logic, Unpublished Manuscript 2020."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-020-09921-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11225-020-09921-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-020-09921-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,9,4]],"date-time":"2021-09-04T23:35:41Z","timestamp":1630798541000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11225-020-09921-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,9,5]]},"references-count":17,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2021,8]]}},"alternative-id":["9921"],"URL":"https:\/\/doi.org\/10.1007\/s11225-020-09921-2","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,9,5]]},"assertion":[{"value":"5 September 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}