{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,3]],"date-time":"2025-07-03T04:03:52Z","timestamp":1751515432626},"reference-count":15,"publisher":"Oxford University Press (OUP)","issue":"5","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Logic Jnl IGPL"],"published-print":{"date-parts":[[2016,10]]},"DOI":"10.1093\/jigpal\/jzw011","type":"journal-article","created":{"date-parts":[[2016,4,12]],"date-time":"2016-04-12T01:13:23Z","timestamp":1460423603000},"page":"838-858","source":"Crossref","is-referenced-by-count":9,"title":["A companion to Brady's 4-valued relevant logic BN4: The 4-valued logic of entailment E4"],"prefix":"10.1093","volume":"24","author":[{"given":"Gemma","family":"Robles","sequence":"first","affiliation":[]},{"given":"Jos\u00e9 M.","family":"M\u00e9ndez","sequence":"additional","affiliation":[]}],"member":"286","published-online":{"date-parts":[[2016,4,11]]},"reference":[{"key":"2016091600040472000_24.5.838.1","unstructured":"Anderson A. R. Belnap N. D. Jr. Entailment. The Logic of Relevance and Necessity, Vol I. Princeton University Press, 1975."},{"key":"2016091600040472000_24.5.838.2","unstructured":"Anderson A. R. Belnap N. D. Jr. Dunn J. M. Entailment: The Logic of Relevance and Necessity, Vol. II. Princeton University Press, 1992."},{"key":"2016091600040472000_24.5.838.3","doi-asserted-by":"crossref","first-page":"388","DOI":"10.2307\/2964210","article-title":"Entailment and relevance","volume":"25","author":"Belnap","year":"1960","journal-title":"The Journal of Symbolic Logic"},{"key":"2016091600040472000_24.5.838.4","unstructured":"Belnap N. D. Ryle G. How a computer should think. In Contemporary Aspects of Philosophy, pp. 30\u201355. Oriel Press Ltd., 1977."},{"key":"2016091600040472000_24.5.838.5","doi-asserted-by":"crossref","unstructured":"Belnap N. D. Dunn J. M. Epstein G. A useful four-valued logic. In Modern Uses of Multiple-Valued Logic, pp. 5\u201337. D. Reidel, 1977.","DOI":"10.1007\/978-94-010-1161-7_2"},{"key":"2016091600040472000_24.5.838.6","first-page":"9","article-title":"Completeness proofs for the systems RM3 and BN4","volume":"25","author":"Brady","year":"1982","journal-title":"Logique et Analyse"},{"key":"2016091600040472000_24.5.838.7","doi-asserted-by":"publisher","DOI":"10.1007\/BF00373152"},{"key":"2016091600040472000_24.5.838.8","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1023\/A:1026740726955","article-title":"Partiality and its dual","volume":"65","author":"Dunn","year":"2000","journal-title":"Studia Logica"},{"key":"2016091600040472000_24.5.838.9","first-page":"3","article-title":"Paraconsistent modal logic","volume":"193","author":"Goble","year":"2006","journal-title":"Logique et Analyse"},{"key":"2016091600040472000_24.5.838.10","unstructured":"Gonz\u00e1lez C. MaTest, 2012. http:\/\/ceguel.es\/matest (accessed 5 March 2015)."},{"key":"2016091600040472000_24.5.838.11","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-015-9362-x"},{"key":"2016091600040472000_24.5.838.12","doi-asserted-by":"publisher","DOI":"10.1007\/BF02429841"},{"key":"2016091600040472000_24.5.838.13","unstructured":"Routley R. Meyer R. K. Plumwood V. Brady R. T. Relevant Logics and their Rivals, Vol. 1. (Ridgeview Publishing Co., 1982)."},{"key":"2016091600040472000_24.5.838.14","unstructured":"Slaney J. MaGIC, Matrix Generator for Implication Connectives: Version 2.1, Notes and Guide. Australian National University, 1995. http:\/\/users.cecs.anu.edu.au\/~jks\/magic.html (accessed March 1, 2016)."},{"key":"2016091600040472000_24.5.838.15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30597-2_9"}],"container-title":["Logic Journal of IGPL"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/jigpal\/article-pdf\/24\/5\/838\/6760250\/jzw011.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,8,24]],"date-time":"2017-08-24T09:04:01Z","timestamp":1503565441000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/jigpal\/article-lookup\/doi\/10.1093\/jigpal\/jzw011"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,4,11]]},"references-count":15,"journal-issue":{"issue":"5","published-online":{"date-parts":[[2016,9,15]]},"published-print":{"date-parts":[[2016,10]]}},"alternative-id":["10.1093\/jigpal\/jzw011"],"URL":"https:\/\/doi.org\/10.1093\/jigpal\/jzw011","relation":{},"ISSN":["1367-0751","1368-9894"],"issn-type":[{"value":"1367-0751","type":"print"},{"value":"1368-9894","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,4,11]]}}}