{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:21:49Z","timestamp":1740122509819,"version":"3.37.3"},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2020,11,1]],"date-time":"2020-11-01T00:00:00Z","timestamp":1604188800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,11,1]],"date-time":"2020-11-01T00:00:00Z","timestamp":1604188800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100010198","name":"Ministerio de Econom\u00eda, Industria y Competitividad, Gobierno de Espa\u00f1a","doi-asserted-by":"publisher","award":["FFI2017-82878-P"],"award-info":[{"award-number":["FFI2017-82878-P"]}],"id":[{"id":"10.13039\/501100010198","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J of Log Lang and Inf"],"published-print":{"date-parts":[[2021,3]]},"DOI":"10.1007\/s10849-020-09321-8","type":"journal-article","created":{"date-parts":[[2020,11,1]],"date-time":"2020-11-01T11:02:46Z","timestamp":1604228566000},"page":"117-138","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A Basic Dual Intuitionistic Logic and Some of its Extensions Included in G3$$_{\\text {DH}}$$"],"prefix":"10.1007","volume":"30","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6495-0388","authenticated-orcid":false,"given":"Gemma","family":"Robles","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9560-3327","authenticated-orcid":false,"given":"Jos\u00e9 M.","family":"M\u00e9ndez","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,11,1]]},"reference":[{"key":"9321_CR1","volume-title":"Entailment. The logic of relevance and necessity","author":"AR Anderson","year":"1975","unstructured":"Anderson, A. R., & Belnap JR, N. D. (1975). Entailment. The logic of relevance and necessity (Vol. I). Princeton, NJ: Princeton University Press."},{"volume-title":"Relevant logics and their rivals","year":"2003","key":"9321_CR2","unstructured":"Brady, R. T. (Ed.). (2003). Relevant logics and their rivals (Vol. II). Aldershot: Ashgate."},{"issue":"4","key":"9321_CR3","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1305\/ndjfl\/1093891487","volume":"15","author":"NCA da Costa","year":"1974","unstructured":"da Costa, N. C. A. (1974). On the theory of inconsistent formal systems. Notre Dame Journal of Formal Logic, 15(4), 497\u2013510. https:\/\/doi.org\/10.1305\/ndjfl\/1093891487.","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"1","key":"9321_CR4","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1026740726955","volume":"66","author":"JM Dunn","year":"2000","unstructured":"Dunn, J. M. (2000). Partiality and its dual. Studia Logica, 66(1), 5\u201340. https:\/\/doi.org\/10.1023\/A:1026740726955.","journal-title":"Studia Logica"},{"issue":"1","key":"9321_CR5","doi-asserted-by":"publisher","first-page":"51","DOI":"10.2307\/2271336","volume":"28","author":"I Hacking","year":"1963","unstructured":"Hacking, I. (1963). What is Strict Implication? Journal of Symbolic Logic, 28(1), 51\u201371.","journal-title":"Journal of Symbolic Logic"},{"issue":"3","key":"9321_CR6","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/s11787-015-0128-6","volume":"9","author":"M Osorio","year":"2015","unstructured":"Osorio, M., Carballido, J. L., Zepeda, C., & Castellanos, J. A. (2015). Weakening and extending $$ {\\mathbb{Z}} $$. Logica Universalis, 9(3), 383\u2013409. https:\/\/doi.org\/10.1007\/s11787-015-0128-6.","journal-title":"Logica Universalis"},{"issue":"2","key":"9321_CR7","doi-asserted-by":"publisher","first-page":"165","DOI":"10.5007\/1808-1711.2009v13n2p165","volume":"13","author":"G Priest","year":"2009","unstructured":"Priest, G. (2009). Dualising Intuitionictic Negation. Principia: An International Journal of Epistemology, 13(2), 165\u2013184. https:\/\/doi.org\/10.5007\/1808-1711.2009v13n2p165.","journal-title":"Principia: An International Journal of Epistemology"},{"issue":"4","key":"9321_CR8","doi-asserted-by":"publisher","first-page":"371","DOI":"10.12775\/LLP.2014.001","volume":"23","author":"G Robles","year":"2014","unstructured":"Robles, G. (2014). A simple Henkin-style completeness proof for G \u00f6del 3-valued logic G3. Logic and Logical Philosophy, 23(4), 371\u2013390. https:\/\/doi.org\/10.12775\/LLP.2014.001.","journal-title":"Logic and Logical Philosophy"},{"issue":"4","key":"9321_CR9","doi-asserted-by":"publisher","first-page":"515","DOI":"10.1093\/jigpal\/jzt046","volume":"22","author":"G Robles","year":"2014","unstructured":"Robles, G., & M\u00e9ndez, J. M. (2014). A paraconsistent 3-valued logic related to G\u00f6del logic G3. Logic Journal of the IGPL, 22(4), 515\u2013538. https:\/\/doi.org\/10.1093\/jigpal\/jzt046.","journal-title":"Logic Journal of the IGPL"},{"issue":"4","key":"9321_CR10","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1080\/11663081.2014.972306","volume":"24","author":"G Robles","year":"2014","unstructured":"Robles, G., & M\u00e9ndez, J. M. (2014). The non-relevant de Morgan minimal logic in Routley\u2013Meyer semantics with no designated points. Journal of Applied Non-Classical Logics, 24(4), 321\u2013332. https:\/\/doi.org\/10.1080\/11663081.2014.972306.","journal-title":"Journal of Applied Non-Classical Logics"},{"issue":"2","key":"9321_CR11","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1093\/jigpal\/jzu029","volume":"23","author":"G Robles","year":"2015","unstructured":"Robles, G., & M\u00e9ndez, J. M. (2015). A binary Routley semantics for intuitionistic De Morgan minimal logic H$$_{\\text{ M }}$$ and its extensions. Logic Journal of the IGPL, 23(2), 174\u2013193. https:\/\/doi.org\/10.1093\/jigpal\/jzu029.","journal-title":"Logic Journal of the IGPL"},{"key":"9321_CR12","unstructured":"Robles, G., M\u00e9ndez, J. M. (2018). Routley\u2013Meyer ternary relational semantics for intuitionistic-type negations, Elsevier, ISBN: 9780081007518."},{"issue":"1","key":"9321_CR13","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1080\/11663081.2018.1534487","volume":"29","author":"G Robles","year":"2019","unstructured":"Robles, G., & M\u00e9ndez, J. M. (2019). Belnap-Dunn semantics for natural implicative expansions of Kleene\u2019s strong three-valued matrix with two designated values. Journal of Applied Non-Classical Logics, 29(1), 37\u201363. https:\/\/doi.org\/10.1080\/11663081.2018.1534487.","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"9321_CR14","volume-title":"Relevant Logics and their Rivals","author":"R Routley","year":"1982","unstructured":"Routley, R., Meyer, R. K., Plumwood, V., & Brady, R. T. (1982). Relevant Logics and their Rivals (Vol. 1). Atascadero, CA: Ridgeview Publishing Co."},{"issue":"2\u20133","key":"9321_CR15","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1007\/s11225-005-8474-7","volume":"80","author":"Y Shramko","year":"2005","unstructured":"Shramko, Y. (2005). Dual intuitionistic logic and a variety of negations: The logic of scientific research. Studia Logica, 80(2\u20133), 347\u2013367. https:\/\/doi.org\/10.1007\/s11225-005-8474-7.","journal-title":"Studia Logica"},{"issue":"1","key":"9321_CR16","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/BF00401553","volume":"49","author":"R Sylvan","year":"1990","unstructured":"Sylvan, R. (1990). Variations on da Costa C Systems and dual-intuitionistic logics I. Analyses of C$$\\omega $$ and CC$$\\omega $$. Studia Logica, 49(1), 47\u201365. https:\/\/doi.org\/10.1007\/BF00401553.","journal-title":"Studia Logica"},{"key":"9321_CR17","first-page":"10","volume-title":"Relevant logics and their rivals","author":"R Sylvan","year":"2003","unstructured":"Sylvan, R., & Plumwood, V. (2003). Non-normal relevant logics. In R. Brady (Ed.), Relevant logics and their rivals (Vol. II, pp. 10\u201316). Ashgate, Aldershot and Burlington: Western Philosophy Series."},{"issue":"1","key":"9321_CR18","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1093\/logcom\/ext035","volume":"26","author":"H Wansing","year":"2016","unstructured":"Wansing, H. (2016). Falsification, natural deduction and bi-intuitionistic logic. Journal of Logic and Computation, 26(1), 425\u2013450. https:\/\/doi.org\/10.1093\/logcom\/ext035.","journal-title":"Journal of Logic and Computation"},{"issue":"1","key":"9321_CR19","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1093\/jigpal\/jzr030","volume":"20","author":"E Yang","year":"2012","unstructured":"Yang, E. (2012). (Star-Based) three-valued Kripke-style semantics for pseudo- and weak-Boolean logics. Logic Journal of IGPL, 20(1), 187\u2013206. https:\/\/doi.org\/10.1093\/jigpal\/jzr030.","journal-title":"Logic Journal of IGPL"}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-020-09321-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10849-020-09321-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-020-09321-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,3,16]],"date-time":"2021-03-16T19:04:26Z","timestamp":1615921466000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10849-020-09321-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,11,1]]},"references-count":19,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2021,3]]}},"alternative-id":["9321"],"URL":"https:\/\/doi.org\/10.1007\/s10849-020-09321-8","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"type":"print","value":"0925-8531"},{"type":"electronic","value":"1572-9583"}],"subject":[],"published":{"date-parts":[[2020,11,1]]},"assertion":[{"value":"8 October 2020","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"1 November 2020","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}