{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,3]],"date-time":"2025-07-03T04:05:00Z","timestamp":1751515500975},"reference-count":35,"publisher":"Oxford University Press (OUP)","issue":"2","license":[{"start":{"date-parts":[[2023,1,31]],"date-time":"2023-01-31T00:00:00Z","timestamp":1675123200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,3,2]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>A logic L has the \u2018variable-sharing property\u2019 (VSP) if in all L-theorems of the form $A\\rightarrow B$, $A$ and $B$ share at least a propositional variable. A logic L has the \u2018Ackermann property\u2019 (AP) if in all L-theorems of the form $A\\rightarrow (B\\rightarrow C)$, $A$ contains at least a conditional connective ($\\rightarrow $). Anderson and Belnap consider the VSP a necessary property of any relevant logic, and both the VSP and the AP necessary properties of any (relevant) entailment logic. Now, among relevant logicians, Brady\u2019s logic BN4 is widely viewed as the adequate 4-valued implicative logic. But BN4 lacks the VSP and the AP. The aim of this paper is to define the logics BN4$^{\\text {VSP}}$ and BN4$^{\\text {AP}}$. The former one has the VSP, whereas the latter one has the VSP and the AP. Moreover, both logics have some properties that do not support their consideration as mere artificial constructs.<\/jats:p>","DOI":"10.1093\/logcom\/exac101","type":"journal-article","created":{"date-parts":[[2023,1,31]],"date-time":"2023-01-31T22:05:45Z","timestamp":1675202745000},"page":"462-484","source":"Crossref","is-referenced-by-count":1,"title":["Two 4-valued implicative expansions of first-degree entailment logic: The relevant logic BN4VSP and the (relevant) entailment logic BN4AP"],"prefix":"10.1093","volume":"33","author":[{"given":"Gemma","family":"Robles","sequence":"first","affiliation":[{"name":"Dpto. de Psicolog\u00eda, Sociolog\u00eda y Filosof\u00eda, Universidad de Le\u00f3n. Campus de Vegazana , s\/n, 24071 Le\u00f3n, Spain"}]}],"member":"286","published-online":{"date-parts":[[2023,1,31]]},"reference":[{"key":"2023030410204932900_","volume-title":"Entailment. The Logic of Relevance and Necessity","author":"Anderson","year":"1975"},{"key":"2023030410204932900_","volume-title":"Entailment, the logic of relevance and necessity","author":"Anderson","year":"1992"},{"key":"2023030410204932900_","volume-title":"Theory of effective propositional paraconsistent logics","author":"Avron","year":"2018"},{"issue":"1","key":"2023030410204932900_","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1007\/s11787-006-0003-6","article-title":"Cut-free ordinary sequent calculi for logics having generalized finite-valued semantics","volume":"1","author":"Avron","year":"2007","journal-title":"Logica Universalis"},{"issue":"3","key":"2023030410204932900_","doi-asserted-by":"crossref","first-page":"517","DOI":"10.1093\/logcom\/exs039","article-title":"Cut-free sequent calculi for C-systems with generalized finite-valued semantics","volume":"23","author":"Avron","year":"2013","journal-title":"Journal of Logic and Computation"},{"issue":"2","key":"2023030410204932900_","doi-asserted-by":"crossref","first-page":"144","DOI":"10.2307\/2964210","article-title":"Entailment and relevance","volume":"25","author":"Jr","year":"1960","journal-title":"The Journal of Symbolic Logic"},{"key":"2023030410204932900_","first-page":"5","article-title":"A useful four-valued logic","volume-title":"Modern Uses of Multiple-Valued Logic","author":"Jr","year":"1977"},{"key":"2023030410204932900_","first-page":"30","article-title":"How a computer should think","volume-title":"Contemporary Aspects of Philosophy","author":"Jr","year":"1977"},{"key":"2023030410204932900_","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":"2023030410204932900_","volume-title":"Relevant logics and their rivals","author":"Brady","year":"2003"},{"key":"2023030410204932900_","volume-title":"Universal Logic","author":"Brady","year":"2006"},{"key":"2023030410204932900_","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/BF00373152","article-title":"Intuitive semantics for first-degree entailments and","volume":"29","author":"Dunn","year":"1976","journal-title":"Philosophical Studies"},{"issue":"1","key":"2023030410204932900_","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1023\/A:1026740726955","article-title":"Partiality and its Dual","volume":"66","author":"Dunn","year":"2000","journal-title":"Studia Logica"},{"issue":"1","key":"2023030410204932900_","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1007\/BF01418759","article-title":"There are 2$^{\\aleph _0}$ logics with the relevance principle between R and RM","volume":"42","author":"Dziobiak","year":"1983","journal-title":"Studia Logica"},{"key":"2023030410204932900_","volume-title":"MaTest","author":"Gonz\u00e1lez","year":"2011"},{"issue":"1","key":"2023030410204932900_","doi-asserted-by":"crossref","first-page":"51","DOI":"10.2307\/2271336","article-title":"What is Strict Implication?","volume":"28","author":"Hacking","year":"1963","journal-title":"Journal of Symbolic Logic"},{"issue":"1","key":"2023030410204932900_","first-page":"29","article-title":"Belnap-Dunn Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer\u2019s Logic B","volume":"31","author":"L\u00f3pez","year":"2022","journal-title":"Logic and Logical Philosophy"},{"issue":"1","key":"2023030410204932900_","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1080\/11663081.2016.1153930","article-title":"The logic determined by Smiley\u2019s matrix for Anderson and Belnap\u2019s First Degree Entailment Logic","volume":"26","author":"M\u00e9ndez","year":"2016","journal-title":"Journal of Applied Non-Classical Logics"},{"issue":"2","key":"2023030410204932900_","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1007\/s10849-016-9237-8","article-title":"Strengthening Brady\u2019s paraconsistent 4-valued logic BN4 with truth-functional modal operators","volume":"25","author":"M\u00e9ndez","year":"2016","journal-title":"Journal of Logic, Language and Infomation"},{"key":"2023030410204932900_","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1007\/BF02429841","article-title":"Where gamma fails","volume":"43","author":"Meyer","year":"1984","journal-title":"Studia Logica"},{"issue":"5","key":"2023030410204932900_","doi-asserted-by":"crossref","first-page":"883","DOI":"10.1007\/s11225-014-9597-5","article-title":"Generalizing Functional Completeness in Belnap-Dunn Logic","volume":"103","author":"Omori","year":"2015","journal-title":"Studia Logica"},{"issue":"6","key":"2023030410204932900_","doi-asserted-by":"crossref","first-page":"1021","DOI":"10.1007\/s11225-017-9748-6","article-title":"40 years of FDE: An introductory overview","volume":"105","author":"Omori","year":"2017","journal-title":"Studia Logica"},{"key":"2023030410204932900_","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-030-31136-0","article-title":"New Essays on Belnap\u2013Dunn Logic","author":"Omori","year":"2019"},{"key":"2023030410204932900_","first-page":"1452","article-title":"Correspondence analysis and automated proof-searching for first degree entailment. European","volume":"6","author":"Petrukhin","year":"2020","journal-title":"Journal of Mathematics"},{"key":"2023030410204932900_","volume-title":"An algebraic approach to non-classical logics","author":"Rasiowa","year":"1974"},{"issue":"7","key":"2023030410204932900_","first-page":"2035","article-title":"The class of all 3-valued implicative expansions of Kleene\u2019s strong logic containing Anderson and Belnap\u2019s First degree entailment logic","volume":"8","author":"Robles","year":"2021","journal-title":"Journal of Applied Logics \u2014 IfCoLog Journal of Logics and their Applications"},{"key":"2023030410204932900_","first-page":"362","article-title":"A Variant with the Variable-Sharing Property of Brady\u2019s 4-Valued Implicative Expansion BN4 of Anderson and Belnap\u2019s Logic FDE","volume-title":"Logic and Argumentation. CLAR 2021","author":"Robles","year":"2021"},{"issue":"2","key":"2023030410204932900_","first-page":"223","article-title":"A general characterization of the variable-sharing property by means of logical matrices","volume":"53","author":"Robles","year":"2012","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"5","key":"2023030410204932900_","doi-asserted-by":"crossref","first-page":"838","DOI":"10.1093\/jigpal\/jzw011","article-title":"A companion to Brady\u2019s 4-valued relevant logic BN4: The 4-valued logic of entailment E4","volume":"24","author":"Robles","year":"2016","journal-title":"Logic Journal of the IGPL"},{"issue":"3","key":"2023030410204932900_","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1007\/s10849-019-09306-2","article-title":"The class of all natural implicative expansions of Kleene\u2019s strong logic functionally equivalent to \u0141ukasiewicz\u2019s 3-valued logic \u01413","volume":"29","author":"Robles","year":"2020","journal-title":"Journal of Logic, Language and Information"},{"issue":"2","key":"2023030410204932900_","doi-asserted-by":"crossref","first-page":"130","DOI":"10.1080\/11663081.2021.1948285","article-title":"Natural implicative expansions of variants of Kleene\u2019s strong 3-valued logic with G\u00f6del-type and dual G\u00f6del-type negation","volume":"31","author":"Robles","year":"2021","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"2023030410204932900_","volume-title":"Relevant logics and their rivals","author":"Routley","year":"1982"},{"key":"2023030410204932900_","doi-asserted-by":"crossref","first-page":"270","DOI":"10.1007\/978-3-540-30597-2_9","article-title":"Relevant logic and paraconsistency","volume-title":"Inconsistency Tolerance","author":"Slaney","year":"2005"},{"key":"2023030410204932900_","first-page":"173","article-title":"A Lattice of implicative extensions of regular Kleene\u2019s logics","volume":"47","author":"Tomova","year":"2012","journal-title":"Reports on Mathematical Logic"},{"key":"2023030410204932900_","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-6942-2","volume-title":"Theory of logical calculi: Basic theory of consequence operations","author":"W\u00f3jcicki","year":"1988"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/logcom\/article-pdf\/33\/2\/462\/49408937\/exac101.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/logcom\/article-pdf\/33\/2\/462\/49408937\/exac101.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,3,17]],"date-time":"2023-03-17T15:07:47Z","timestamp":1679065667000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article\/33\/2\/462\/7008709"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,1,31]]},"references-count":35,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2023,1,31]]},"published-print":{"date-parts":[[2023,3,2]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exac101","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published-other":{"date-parts":[[2023,3]]},"published":{"date-parts":[[2023,1,31]]}}}