{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:21:27Z","timestamp":1740122487954,"version":"3.37.3"},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2021,5,16]],"date-time":"2021-05-16T00:00:00Z","timestamp":1621123200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,5,16]],"date-time":"2021-05-16T00:00:00Z","timestamp":1621123200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/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,9]]},"DOI":"10.1007\/s10849-021-09336-9","type":"journal-article","created":{"date-parts":[[2021,5,16]],"date-time":"2021-05-16T12:02:40Z","timestamp":1621166560000},"page":"533-556","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Class of Implicative Expansions of Kleene\u2019s Strong Logic, a Subclass of Which Is Shown Functionally Complete Via the Precompleteness of \u0141ukasiewicz\u2019s 3-Valued Logic \u01413"],"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":[[2021,5,16]]},"reference":[{"key":"9336_CR1","volume-title":"Entailment. The Logic of Relevance and Necessity","author":"AR Anderson","year":"1975","unstructured":"Anderson, A. R., & Belnap, N. D., Jr. (1975). Entailment. The Logic of Relevance and Necessity (Vol. I). Princeton, NJ: Princeton University Press."},{"issue":"6","key":"9336_CR2","doi-asserted-by":"publisher","first-page":"977","DOI":"10.1093\/logcom\/9.6.977","volume":"9","author":"A Avron","year":"1999","unstructured":"Avron, A. (1999). On the expressive power of three-valued and four-valued languages. Journal of Logic and Computation, 9(6), 977\u2013994. https:\/\/doi.org\/10.1093\/logcom\/9.6.977.","journal-title":"Journal of Logic and Computation"},{"key":"9336_CR3","first-page":"9","volume":"25","author":"RT Brady","year":"1982","unstructured":"Brady, R. T. (1982). Completeness proofs for the systems RM3 and BN4. Logique et Analyse, 25, 9\u201332.","journal-title":"Logique et Analyse"},{"key":"9336_CR4","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1026740726955","volume":"65","author":"JM Dunn","year":"2000","unstructured":"Dunn, J. M. (2000). Partiality and its dual. Studia Logica, 65, 5\u201340. https:\/\/doi.org\/10.1023\/A:1026740726955.","journal-title":"Studia Logica"},{"key":"9336_CR5","unstructured":"Finn, V. K. (1969). O predpolnote klassa funktsii, sootvetstvuyushchego trekhznachnoi logike J. \u0141ukasiewicza (The precompleteness of the class of functions that corresponds to the three-valued Logic of J. \u0141ukasiewicz). Nauchno-tekhnicheskaya informatsiya. Ser. 2, Vol. 10, pp. 35\u201338 (in Russian)."},{"key":"9336_CR6","unstructured":"Gonz\u00e1lez, C. (2012). MaTest. Retrieved from http:\/\/ceguel.es\/matest. Accessed 21 Feb 2021."},{"key":"9336_CR7","doi-asserted-by":"publisher","first-page":"81","DOI":"10.12775\/LLP.1999.006","volume":"7","author":"AS Karpenko","year":"1999","unstructured":"Karpenko, A. S. (1999). Ja\u015bkowski\u2019s criterion and three-valued paraconsistent logics. Logic and Logical Philosophy, 7, 81\u201386.","journal-title":"Logic and Logical Philosophy"},{"key":"9336_CR8","unstructured":"Kleene, S. C. (1952). Introduction to metamathematics. North Holland: Reprinted Ishi Press (2009)."},{"issue":"4","key":"9336_CR9","doi-asserted-by":"publisher","first-page":"720","DOI":"10.1017\/S1755020312000196","volume":"5","author":"B Kooi","year":"2012","unstructured":"Kooi, B., & Tamminga, A. (2012). Completeness via correspondence for extensions of the logic of paradox. The Review of Symbolic Logic, 5(4), 720\u2013730. https:\/\/doi.org\/10.1017\/S1755020312000196.","journal-title":"The Review of Symbolic Logic"},{"key":"9336_CR10","unstructured":"\u0141ukasiewicz, J. (1920). On three-valued logic. In J. \u0141ukasiewicz (ed. by L. Borkowski), Selected works, North-Holland Pub. Co., Amsterdam, 1970, pp. 87\u201388."},{"issue":"244","key":"9336_CR11","first-page":"407","volume":"61","author":"Y Petrukhin","year":"2018","unstructured":"Petrukhin, Y., & Shangin, V. (2018). Natural three-valued logics characterized by natural deduction. Logique et Analyse, 61(244), 407\u2013427.","journal-title":"Logique et Analyse"},{"issue":"1","key":"9336_CR12","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/BF00258428","volume":"8","author":"G Priest","year":"1979","unstructured":"Priest, G. (1979). Logic of paradox. Journal of Philosophical Logic, 8(1), 219\u2013241.","journal-title":"Journal of Philosophical Logic"},{"key":"9336_CR13","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(09)70074-6","volume-title":"An algebraic approach to non-classical logics","author":"H Rasiowa","year":"1974","unstructured":"Rasiowa, H. (1974). An algebraic approach to non-classical logics (Vol. 78). Amsterdam: North-Holland Publishing Company."},{"issue":"1","key":"9336_CR14","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"},{"issue":"6","key":"9336_CR15","doi-asserted-by":"publisher","first-page":"910","DOI":"10.1093\/jigpal\/jzz021","volume":"27","author":"G Robles","year":"2019","unstructured":"Robles, G., & M\u00e9ndez, J. M. (2019). Partiality and its dual in natural implicative expansions of Kleene\u2019s strong 3-valued matrix with only one designated value. Logic Journal of the IGPL, 27(6), 910\u2013932. https:\/\/doi.org\/10.1093\/jigpal\/jzz021.","journal-title":"Logic Journal of the IGPL"},{"issue":"3","key":"9336_CR16","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/s10849-019-09306-2","volume":"29","author":"G Robles","year":"2020","unstructured":"Robles, G., & M\u00e9ndez, J. M. (2020). The class of all natural implicative expansions of Kleene\u2019s strong logic functionally equivalent to \u0141ukasiewicz\u2019s 3-valued logic \u01413. Journal of Logic, Language and Information, 29(3), 349\u2013374. https:\/\/doi.org\/10.1007\/s10849-019-09306-2.","journal-title":"Journal of Logic, Language and Information"},{"issue":"3","key":"9336_CR17","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1080\/11663081.2019.1644079","volume":"29","author":"G Robles","year":"2019","unstructured":"Robles, G., Salto, F., & M\u00e9ndez, J. M. (2019). Belnap-Dunn semantics for natural implicative expansions of Kleene\u2019s strong three-valued matrix II. Only one designated value. Journal of Applied Non-classical Logics, 29(3), 307\u2013325. https:\/\/doi.org\/10.1080\/11663081.2019.1644079.","journal-title":"Journal of Applied Non-classical Logics"},{"key":"9336_CR18","first-page":"9","volume":"29","author":"J S\u0142upecki","year":"1936","unstructured":"S\u0142upecki, J. (1936). Der volle dreiwertige Aussagenkalk\u00fcl. Comptes Rendus Des S\u00e9ances de La Soci\u00e9t\u00e9 Des Sciences et Des Lettres de Varsovie, Classe III, 29, 9\u201311.","journal-title":"Comptes Rendus Des S\u00e9ances de La Soci\u00e9t\u00e9 Des Sciences et Des Lettres de Varsovie, Classe III"},{"issue":"1","key":"9336_CR19","first-page":"255","volume":"20","author":"A Tamminga","year":"2014","unstructured":"Tamminga, A. (2014). Correspondence analysis for strong three-valued logic. Logical Investigations, 20(1), 255\u2013268.","journal-title":"Logical Investigations"},{"key":"9336_CR20","first-page":"173","volume":"47","author":"N Tomova","year":"2012","unstructured":"Tomova, N. (2012). A lattice of implicative extensions of regular Kleene\u2019s logics. Reports on Mathematical Logic, 47, 173\u2013182.","journal-title":"Reports on Mathematical Logic"},{"key":"9336_CR21","doi-asserted-by":"crossref","unstructured":"W\u00f3jcicki, R. (1988). Theory of Logical Calculi: Basic Theory of Consequence Operations. Synthese Library, vol. 199. Springer Netherlands. Dordrecht.","DOI":"10.1007\/978-94-015-6942-2"}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-021-09336-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10849-021-09336-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-021-09336-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,9]],"date-time":"2021-08-09T18:28:09Z","timestamp":1628533689000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10849-021-09336-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,5,16]]},"references-count":21,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2021,9]]}},"alternative-id":["9336"],"URL":"https:\/\/doi.org\/10.1007\/s10849-021-09336-9","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"type":"print","value":"0925-8531"},{"type":"electronic","value":"1572-9583"}],"subject":[],"published":{"date-parts":[[2021,5,16]]},"assertion":[{"value":"28 April 2021","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"16 May 2021","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}