{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,11]],"date-time":"2026-02-11T15:56:30Z","timestamp":1770825390806,"version":"3.50.1"},"reference-count":43,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2019,11,2]],"date-time":"2019-11-02T00:00:00Z","timestamp":1572652800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2019,11,2]],"date-time":"2019-11-02T00:00:00Z","timestamp":1572652800000},"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":[[2020,9]]},"DOI":"10.1007\/s10849-019-09306-2","type":"journal-article","created":{"date-parts":[[2019,11,2]],"date-time":"2019-11-02T08:31:39Z","timestamp":1572683499000},"page":"349-374","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["The Class of All Natural Implicative Expansions of Kleene\u2019s Strong Logic Functionally Equivalent to \u0141kasiewicz\u2019s 3-Valued Logic \u01413"],"prefix":"10.1007","volume":"29","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":[[2019,11,2]]},"reference":[{"key":"9306_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. 1). Princeton, NJ: Princeton University Press."},{"issue":"1","key":"9306_CR2","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1305\/ndjfl\/1093958482","volume":"7","author":"FG Asenjo","year":"1966","unstructured":"Asenjo, F. G. (1966). A calculus of antinomies. Notre Dame Journal of Formal Logic, 7(1), 103\u2013105. \nhttps:\/\/doi.org\/10.1305\/ndjfl\/1093958482\n\n.","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"1","key":"9306_CR3","doi-asserted-by":"publisher","first-page":"276","DOI":"10.2307\/2274919","volume":"56","author":"A Avron","year":"1991","unstructured":"Avron, A. (1991). Natural 3-valued logics-characterization and proof theory. Journal of Symbolic Logic, 56(1), 276\u2013294.","journal-title":"Journal of Symbolic Logic"},{"issue":"6","key":"9306_CR4","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. \nhttps:\/\/doi.org\/10.1093\/logcom\/9.6.977\n\n.","journal-title":"Journal of Logic and Computation"},{"key":"9306_CR5","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/j.apal.2007.03.001","volume":"147","author":"M Baaz","year":"2007","unstructured":"Baaz, M., Preining, N., & Zach, R. (2007). First-order G\u00f6del logics. Annals of Pure and Applied Logic, 147, 23\u201347.","journal-title":"Annals of Pure and Applied Logic"},{"issue":"2","key":"9306_CR6","doi-asserted-by":"publisher","first-page":"144","DOI":"10.2307\/2964210","volume":"25","author":"ND Belnap Jr","year":"1960","unstructured":"Belnap, N. D, Jr. (1960). Entailment and relevance. The Journal of Symbolic Logic, 25(2), 144\u2013146.","journal-title":"The Journal of Symbolic Logic"},{"key":"9306_CR7","first-page":"30","volume-title":"Contemporary aspects of philosophy","author":"ND Belnap Jr","year":"1977","unstructured":"Belnap, N. D, Jr. (1977a). How a computer should think. In G. Ryle (Ed.), Contemporary aspects of philosophy (pp. 30\u201355). Stocksfield: Oriel Press Ltd."},{"key":"9306_CR8","first-page":"8","volume-title":"Modern uses of multiple-valued logic","author":"ND Belnap Jr","year":"1977","unstructured":"Belnap, N. D, Jr. (1977b). A useful four-valued logic. In G. Epstein & J. M. Dunn (Eds.), Modern uses of multiple-valued logic (pp. 8\u201337). Dordrecht: D. Reidel Publishing Co."},{"key":"9306_CR9","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":"9306_CR10","unstructured":"Brady, R. T. (ed.) (2003). Relevant logics and their rivals (Vol. 2). Aldershot: Ashgate."},{"key":"9306_CR11","first-page":"1","volume-title":"Handbook of philosophical logic","author":"W Carnielli","year":"2007","unstructured":"Carnielli, W., Coniglio, M., & Marcos, J. (2007). Logics of formal inconsistency. In D. Gabbay & F. Guenthner (Eds.), Handbook of philosophical logic (Vol. 14, pp. 1\u201393). Berlin: Springer."},{"key":"9306_CR12","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/BF00373152","volume":"29","author":"JM Dunn","year":"1976","unstructured":"Dunn, J. M. (1976). Intuitive semantics for first-degree entailments and \u201ccoupled trees\u201d. Philosophical Studies, 29, 149\u2013168.","journal-title":"Philosophical Studies"},{"key":"9306_CR13","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. \nhttps:\/\/doi.org\/10.1023\/A:1026740726955\n\n.","journal-title":"Studia Logica"},{"key":"9306_CR14","first-page":"35","volume":"10","author":"VK Finn","year":"1969","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, 10, 35\u201338. (in Russian).","journal-title":"Nauchno-tekhnicheskaya informatsiya. Ser. 2"},{"key":"9306_CR15","doi-asserted-by":"publisher","first-page":"113","DOI":"10.3233\/FI-1994-201234","volume":"20","author":"M Fitting","year":"1992","unstructured":"Fitting, M. (1992). Kleene\u2019s three valued logics and their children. Fundamenta Informaticae, 20, 113\u2013131.","journal-title":"Fundamenta Informaticae"},{"key":"9306_CR16","unstructured":"Gonz\u00e1lez, C. (2012). MaTest. Retrieved from \nhttp:\/\/ceguel.es\/matest\n\n. Last retrieved 09\/07\/2019."},{"key":"9306_CR17","series-title":"Studies in logic and computation","volume-title":"A treatise on many-valued logics","author":"S Gottwald","year":"2001","unstructured":"Gottwald, S. (2001). A treatise on many-valued logics., Studies in logic and computation Baldock: Research Studies Press."},{"key":"9306_CR18","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, 51\u201371.","journal-title":"Journal of Symbolic Logic"},{"key":"9306_CR19","doi-asserted-by":"crossref","unstructured":"Ja\u015bkowski, S. (1948). Rachunek zda\u0144 dla system\u00f3w dedukcyjnych sprzecznych. Studia Societatis Scientiarum Torunensis, 1(5), Sectio A (English translation: \u201cPropositionl calculus for contradictory deductive systems\u201d, Studia Logica 24, 143\u2013157, 1969)","DOI":"10.1007\/BF02134311"},{"key":"9306_CR20","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"},{"issue":"2","key":"9306_CR21","doi-asserted-by":"publisher","first-page":"207","DOI":"10.12775\/LLP.2016.029","volume":"26","author":"A Karpenko","year":"2017","unstructured":"Karpenko, A., & Tomova, N. (2017). Bochvar\u2019s three-valued logic and literal paralogics: Their lattice and functional equivalence. Logic and Logical Philosophy, 26(2), 207\u2013235. \nhttps:\/\/doi.org\/10.12775\/LLP.2016.029\n\n.","journal-title":"Logic and Logical Philosophy"},{"key":"9306_CR22","volume-title":"Introduction to metamathematics","author":"SC Kleene","year":"1952","unstructured":"Kleene, S. C. (1952). Introduction to metamathematics. Amsterdam: North Holland. (Reprinted Ishi Press 2009)."},{"issue":"1","key":"9306_CR23","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1023\/A:1004222213212","volume":"27","author":"M Kracht","year":"1998","unstructured":"Kracht, M. (1998). On extensions of intermediate logics by strong negation. Journal of Philosophical Logic, 27(1), 49\u201373. \nhttps:\/\/doi.org\/10.1023\/A:1004222213212\n\n.","journal-title":"Journal of Philosophical Logic"},{"key":"9306_CR24","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."},{"key":"9306_CR25","unstructured":"\u0141ukasiewicz, J., & Tarski, A. (1930). Untersuchungen \u00fcber den Aussagenkalkul. Comptes Rendus de S\u00e9ances de la Societ\u00e9 de Sciences et des Lettres de Varsovie, III(23), 1\u201321 (English translation: Investigation into the sentential calculus, (in J. \u0141ukasiewicz (ed. by L. Borkowski), Selected works, North-Holland Pub. Co., Amsterdam, 1970)."},{"issue":"244","key":"9306_CR26","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"},{"key":"9306_CR27","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/978-94-017-0460-1_4","volume-title":"Handbook of philosophical logic","author":"G Priest","year":"2002","unstructured":"Priest, G. (2002). Paraconsistent logic. In D. Gabbay & F. Guenthner (Eds.), Handbook of philosophical logic (Vol. 6, pp. 287\u2013393). Berlin: Springer."},{"key":"9306_CR28","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":"4","key":"9306_CR29","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. \nhttps:\/\/doi.org\/10.12775\/LLP.2014.001\n\n.","journal-title":"Logic and Logical Philosophy"},{"issue":"4","key":"9306_CR30","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\u201353. \nhttps:\/\/doi.org\/10.1093\/jigpal\/jzt046\n\n.","journal-title":"Logic Journal of the IGPL"},{"issue":"1","key":"9306_CR31","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. (2019a). 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. \nhttps:\/\/doi.org\/10.1080\/11663081.2018.1534487\n\n.","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"9306_CR32","doi-asserted-by":"publisher","unstructured":"Robles, G., & M\u00e9ndez, J. M. (2019b). 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. \nhttps:\/\/doi.org\/10.1093\/jigpal\/jzz021\n\n.","DOI":"10.1093\/jigpal\/jzz021"},{"key":"9306_CR33","unstructured":"Robles, G., & M\u00e9ndez, J. M. (in preparation). Relevant natural 3-valued logics."},{"key":"9306_CR34","doi-asserted-by":"publisher","unstructured":"Robles, G., Salto, F., & M\u00e9ndez, J. M. (2013). Dual equivalent two-valued under-determined and over-determined interpretations for \u0141ukasiewicz\u2019s 3-valued logic \u01413. Journal of Philosophical Logic. \nhttps:\/\/doi.org\/10.1007\/s10992-012-9264-0\n\n.","DOI":"10.1007\/s10992-012-9264-0"},{"issue":"3","key":"9306_CR35","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\u2013Dunn 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. \nhttps:\/\/doi.org\/10.1080\/11663081.2019.1644079\n\n.","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"9306_CR36","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."},{"key":"9306_CR37","first-page":"173","volume":"16","author":"AM Sette","year":"1973","unstructured":"Sette, A. M. (1973). On propositional calculus P$$_{1}$$. Mathematica Japonica, 16, 173\u2013180.","journal-title":"Mathematica Japonica"},{"key":"9306_CR38","first-page":"23","volume":"I","author":"B Soboci\u0144ski","year":"1952","unstructured":"Soboci\u0144ski, B. (1952). Axiomatization of a partial system of three-valued calculus of propositions. The Journal of Computing Systems, I, 23\u201355.","journal-title":"The Journal of Computing Systems"},{"key":"9306_CR39","unstructured":"Tomova, N. (2010a). Regular Kleene\u2019s logics: Extensions and generalization. Ph.D. dissertation, Lomonosov Moscow State University (in Russian)."},{"key":"9306_CR40","doi-asserted-by":"publisher","first-page":"233","DOI":"10.21146\/2074-1472-2010-16-0-233-258","volume":"16","author":"N Tomova","year":"2010","unstructured":"Tomova, N. (2010b). Implicative extensions of regular Kleene logics. Logical Investigations, 16, 233\u2013258.","journal-title":"Logical Investigations"},{"key":"9306_CR41","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"},{"issue":"Special Issue","key":"9306_CR42","doi-asserted-by":"publisher","first-page":"344","DOI":"10.21146\/2074-1472-2013-19-0-344-352","volume":"19","author":"N Tomova","year":"2013","unstructured":"Tomova, N. (2013). Natural three-valued logics and classical logic. Logical Investigations, 19(Special Issue), 344\u2013352.","journal-title":"Logical Investigations"},{"key":"9306_CR43","series-title":"Synthese library","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-6942-2","volume-title":"Theory of logical calculi: Basic theory of consequence operations","author":"R W\u00f3jcicki","year":"1988","unstructured":"W\u00f3jcicki, R. (1988). Theory of logical calculi: Basic theory of consequence operations (Vol. 199)., Synthese library Dordrecht: Springer."}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-019-09306-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10849-019-09306-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-019-09306-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,1]],"date-time":"2020-11-01T00:06:12Z","timestamp":1604189172000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10849-019-09306-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,11,2]]},"references-count":43,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2020,9]]}},"alternative-id":["9306"],"URL":"https:\/\/doi.org\/10.1007\/s10849-019-09306-2","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"value":"0925-8531","type":"print"},{"value":"1572-9583","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,11,2]]},"assertion":[{"value":"2 November 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}