{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T12:37:11Z","timestamp":1740141431217,"version":"3.37.3"},"reference-count":26,"publisher":"Oxford University Press (OUP)","issue":"6","license":[{"start":{"date-parts":[[2019,7,30]],"date-time":"2019-07-30T00:00:00Z","timestamp":1564444800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/academic.oup.com\/journals\/pages\/open_access\/funder_policies\/chorus\/standard_publication_model"}],"funder":[{"DOI":"10.13039\/501100010198","name":"Ministry of Economy, Industry and Competitiveness","doi-asserted-by":"publisher","award":["FFI2014-53919-P","FFI2017-82878-P"],"award-info":[{"award-number":["FFI2014-53919-P","FFI2017-82878-P"]}],"id":[{"id":"10.13039\/501100010198","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,11,25]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>Equivalent overdetermined and underdetermined bivalent Belnap\u2013Dunn type semantics for the logics determined by all natural implicative expansions of Kleene\u2019s strong 3-valued matrix with only one designated value are provided.<\/jats:p>","DOI":"10.1093\/jigpal\/jzz021","type":"journal-article","created":{"date-parts":[[2019,4,16]],"date-time":"2019-04-16T15:18:08Z","timestamp":1555427888000},"page":"910-932","source":"Crossref","is-referenced-by-count":2,"title":["Partiality and its dual in natural implicative expansions of Kleene\u2019s strong 3-valued matrix with only one designated value"],"prefix":"10.1093","volume":"27","author":[{"given":"Gemma","family":"Robles","sequence":"first","affiliation":[{"name":"Departamento de Psicolog\u00eda, Sociolog\u00eda y Filosof\u00eda, Universidad de Le\u00f3n, Campus de Vegazana, s\/n, 24071, Le\u00f3n, Spain"}]},{"given":"Jos\u00e9 M","family":"M\u00e9ndez","sequence":"additional","affiliation":[{"name":"Universidad de Salamanca, Edificio FES, Campus Unamuno, 37007, Salamanca, Spain"}]}],"member":"286","published-online":{"date-parts":[[2019,7,30]]},"reference":[{"volume-title":"Entailment. The Logic of Relevance and Necessity","year":"1975","author":"Anderson","key":"2019121805072221800_ref1"},{"key":"2019121805072221800_ref2","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/BF00215626","article-title":"Reasoning with logical bilattices","volume":"5","author":"Arieli","year":"1996","journal-title":"Journal of Logic, Language and Information"},{"key":"2019121805072221800_ref3","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/S0004-3702(98)00032-0","article-title":"The value of the four values","volume":"102","author":"Arieli","year":"1998","journal-title":"Artificial Intelligence"},{"key":"2019121805072221800_ref4","doi-asserted-by":"crossref","first-page":"276","DOI":"10.2307\/2274919","article-title":"Natural 3-valued logics\u2013characterization and proof theory","volume":"56","author":"Avron","year":"1991","journal-title":"Journal of Symbolic Logic"},{"key":"2019121805072221800_ref5","first-page":"30","article-title":"How a computer should think","volume-title":"Contemporary Aspects of Philosophy","author":"Belnap Jr","year":"1977"},{"key":"2019121805072221800_ref6","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1007\/978-94-010-1161-7_2","article-title":"A useful four-valued logic","volume-title":"Modern Uses of Multiple-Valued Logic","author":"Belnap J.r","year":"1977"},{"key":"2019121805072221800_ref7","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/BF00373152","article-title":"Intuitive semantics for first-degree entailments and \u201ccoupled trees\u201d","volume":"29","author":"Dunn","year":"1976","journal-title":"Philosophical Studies"},{"key":"2019121805072221800_ref8","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"},{"volume-title":"MaTest","year":"2012","author":"Gonz\u00e1lez","key":"2019121805072221800_ref9"},{"key":"2019121805072221800_ref10","first-page":"2009","volume-title":"Introduction to Metamathematics","author":"Kleene","year":"1952"},{"key":"2019121805072221800_ref11","doi-asserted-by":"crossref","first-page":"720","DOI":"10.1017\/S1755020312000196","article-title":"Completeness via correspondence for extensions of the logic of paradox","volume":"5","author":"Kooi","year":"2012","journal-title":"The Review of Symbolic Logic"},{"key":"2019121805072221800_ref12","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1023\/A:1004222213212","article-title":"On extensions of intermediate logics by strong negation","volume":"27","author":"Kracht","year":"1998","journal-title":"Journal of Philosophical Logic"},{"key":"2019121805072221800_ref13","doi-asserted-by":"crossref","first-page":"883","DOI":"10.1007\/s11225-014-9597-5","article-title":"Generalizing functional completeness in Belnap\u2013Dunn logic","volume":"103","author":"Omori","year":"2015","journal-title":"Studia Logica"},{"key":"2019121805072221800_ref14","first-page":"197","article-title":"Natural deduction for three-valued regular logics","volume":"26","author":"Petrukhin","year":"2017","journal-title":"Logic and Logical Philosophy"},{"key":"2019121805072221800_ref15","first-page":"61","article-title":"Natural three-valued logics characterized by natural deduction","author":"Petrukhin","year":"2018","journal-title":"Logique et Analyse"},{"key":"2019121805072221800_ref16","doi-asserted-by":"crossref","first-page":"515","DOI":"10.1093\/jigpal\/jzt046","article-title":"A paraconsistent 3-valued logic related to G\u00f6del logic G3","volume":"22","author":"Robles","year":"2014","journal-title":"Logic Journal of the IGPL"},{"key":"2019121805072221800_ref17","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1080\/11663081.2018.1534487","article-title":"Belnap\u2013Dunn semantics for natural implicative expansions of Kleene\u2019s strong three-valued matrix with two designated values","volume":"29","author":"Robles","year":"2019","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"2019121805072221800_ref18","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1007\/s10992-012-9264-0","article-title":"Dual equivalent two-valued under-determined and over-determined interpretations for \u0141ukasiewicz\u2019s 3-valued logic \u01413","volume":"43","author":"Robles","year":"2014","journal-title":"Journal of Philosophical Logic"},{"journal-title":"Journal of Applied Non-Classical Logics","article-title":"Belnap\u2013Dunn semantics for natural implicative expansions of Kleene\u2019s strong three-valued matrix II. Only one designated value","author":"Robles","key":"2019121805072221800_ref19"},{"article-title":"Relevant Logics and Their Rivals","year":"1982","author":"Routley","key":"2019121805072221800_ref20"},{"key":"2019121805072221800_ref21","doi-asserted-by":"crossref","first-page":"458","DOI":"10.1093\/jigpal\/jzt044","article-title":"An expansion of first-order Belnap\u2013Dunn logic","volume":"22","author":"Sano","year":"2014","journal-title":"Logic Journal of the IGPL"},{"article-title":"LP=&gt;: extending LP with a strong conditional operator","year":"2013","author":"Thomas","key":"2019121805072221800_ref22"},{"key":"2019121805072221800_ref23","article-title":"Implicative extensions of regular Kleene logics","volume-title":"Logical Investigations, 16, pp. 233\u2013258. M.-SPb: C.G.I","author":"Tomova","year":"2010"},{"key":"2019121805072221800_ref24","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":"2019121805072221800_ref25","first-page":"344","article-title":"Natural three-valued logics and classical logic","volume-title":"Logical Investigations","author":"Tomova","year":"2013"},{"volume-title":"Lectures on Propositional Calculi","year":"1984","author":"W\u00f3jcicki","key":"2019121805072221800_ref26"}],"container-title":["Logic Journal of the IGPL"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/jigpal\/article-pdf\/27\/6\/910\/31558509\/jzz021.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"http:\/\/academic.oup.com\/jigpal\/article-pdf\/27\/6\/910\/31558509\/jzz021.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,12,18]],"date-time":"2019-12-18T05:07:34Z","timestamp":1576645654000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/jigpal\/article\/27\/6\/910\/5528039"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,7,30]]},"references-count":26,"journal-issue":{"issue":"6","published-online":{"date-parts":[[2019,7,30]]},"published-print":{"date-parts":[[2019,11,25]]}},"URL":"https:\/\/doi.org\/10.1093\/jigpal\/jzz021","relation":{},"ISSN":["1367-0751","1368-9894"],"issn-type":[{"type":"print","value":"1367-0751"},{"type":"electronic","value":"1368-9894"}],"subject":[],"published-other":{"date-parts":[[2019,12]]},"published":{"date-parts":[[2019,7,30]]}}}