{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,6]],"date-time":"2025-12-06T17:04:27Z","timestamp":1765040667767,"version":"3.41.0"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319404172"},{"type":"electronic","value":"9783319404189"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-40418-9_4","type":"book-chapter","created":{"date-parts":[[2016,7,21]],"date-time":"2016-07-21T12:57:30Z","timestamp":1469105850000},"page":"35-47","source":"Crossref","is-referenced-by-count":11,"title":["Two Genuine 3-Valued Paraconsistent Logics"],"prefix":"10.1007","author":[{"given":"Jean-Yves","family":"Beziau","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,7,22]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1305\/ndjfl\/1093958482","volume":"7","author":"FG Asenjo","year":"1966","unstructured":"Asenjo, F.G.: A calculus of antinomies. Notre Dame J. Formal Logic 7, 103\u2013105 (1966)","journal-title":"Notre Dame J. Formal Logic"},{"doi-asserted-by":"crossref","unstructured":"Arieli, O., Avron, A.: Three-valued paraconsistent propositional logics. In: Beziau, J.-Y., Chakraborty, M., Dutta, S. (eds.) New Directions in Paraconsistent Logic, pp. 91\u2013129. Springer, New Delhi (2015)","key":"4_CR2","DOI":"10.1007\/978-81-322-2719-9_4"},{"key":"4_CR3","doi-asserted-by":"crossref","first-page":"523","DOI":"10.1007\/s11787-015-0131-y","volume":"9","author":"JR Becker","year":"2015","unstructured":"Becker, J.R.: Arenhart Liberating paraconsistency from contradictions. Log. Univers. 9, 523\u2013545 (2015)","journal-title":"Log. Univers."},{"key":"4_CR4","first-page":"259","volume":"131\u2013132","author":"J-Y Beziau","year":"1990","unstructured":"Beziau, J.-Y.: Logiques construites suivant les m\u00e9thodes de da Costa. Logique et Analyse 131\u2013132, 259\u2013272 (1990)","journal-title":"Logique et Analyse"},{"key":"4_CR5","first-page":"45","volume":"141\u2013142","author":"J-Y Beziau","year":"1993","unstructured":"Beziau, J.-Y.: Nouveaux r\u00e9sultats et nouveau regard sur la logique paraconsistante C1. Logique et Analyse 141\u2013142, 45\u201348 (1993)","journal-title":"Logique et Analyse"},{"key":"4_CR6","first-page":"209","volume":"147\u2013148","author":"J-Y Beziau","year":"1994","unstructured":"Beziau, J.-Y.: Th\u00e9orie l\u00e9gislative de la n\u00e9gation pure. Logique et Analyse 147\u2013148, 209\u2013225 (1994)","journal-title":"Logique et Analyse"},{"unstructured":"Beziau, J.-Y.: What is paraconsistent logic?. In: Batens, D. et al. (eds.) Frontiers of Paraconsistent Logic, pp. 95\u2013111. Research Studies Press, Baldock (2000)","key":"4_CR7"},{"unstructured":"Beziau, J.-Y.: Are paraconsistent negations negations?. In: Carnielli, W. et al. (eds.) Paraconsistency: The Logical Way to the Inconsistent, pp. 465\u2013486. Marcel Dekker, New-York (2002)","key":"4_CR8"},{"doi-asserted-by":"crossref","unstructured":"Beziau, J.-Y.: Round squares are no contractions. In: Beziau, J.-Y., Chakraborty, M., Dutta, S. (eds.) New Directions in Paraconsistent Logic, pp. 39\u201355. Springer, New Delhi (2015)","key":"4_CR9","DOI":"10.1007\/978-81-322-2719-9_2"},{"key":"4_CR10","doi-asserted-by":"crossref","first-page":"51","DOI":"10.12775\/LLP.2015.022","volume":"25","author":"J-Y Beziau","year":"2016","unstructured":"Beziau, J.-Y.: Trivial dialetheism and the logic of paradox. Logic Logical Philos. 25, 51\u201356 (2016)","journal-title":"Logic Logical Philos."},{"doi-asserted-by":"crossref","unstructured":"Beziau, J.-Y., Franschetto, A.: Strong paraconsistent three-valued logic. In: Beziau, J.-Y., Chakraborty, M., Dutta, S. (eds.) New Directions in Paraconsistent Logic, pp. 131\u2013147. Springer, New Delhi (2015)","key":"4_CR11","DOI":"10.1007\/978-81-322-2719-9_5"},{"key":"4_CR12","first-page":"3790","volume":"257","author":"NCA Costa da","year":"1963","unstructured":"da Costa, N.C.A.: Calculs propositionnels pour les syst\u00e8mes formels inconsistants. Cr. R. Acad Sc. Paris 257, 3790\u20133793 (1963)","journal-title":"Cr. R. Acad Sc. Paris"},{"key":"4_CR13","first-page":"201","volume":"24","author":"NCA Costa da","year":"1965","unstructured":"da Costa, N.C.A., Guillaume, M.: N\u00e9gations compos\u00e9es et Loi de Peirce dans les syst\u00e8mes Cn. Portugalia Mathematica 24, 201\u2013210 (1965)","journal-title":"Portugalia Mathematica"},{"key":"4_CR14","first-page":"1349","volume":"270","author":"IML D\u2019Ottaviano","year":"1970","unstructured":"D\u2019Ottaviano, I.M.L., da Costa, N.C.A.: Sur un probl\u00e8me de Jaskow\u015bki. Cr. R. Acad Sc. Paris 270, 1349\u20131353 (1970)","journal-title":"Cr. R. Acad Sc. Paris"},{"key":"4_CR15","doi-asserted-by":"crossref","first-page":"138","DOI":"10.1111\/j.1755-2567.2005.tb01011.x","volume":"71","author":"L Humberstone","year":"2005","unstructured":"Humberstone, L.: Beziau\u2019s translation paradox. Theoria 71, 138\u2013181 (2005)","journal-title":"Theoria"},{"key":"4_CR16","doi-asserted-by":"crossref","first-page":"150","DOI":"10.2307\/2267778","volume":"3","author":"S Kleene","year":"1938","unstructured":"Kleene, S.: On a notation for ordinal numbers. J. Symbolic. Logic 3, 150\u2013155 (1938)","journal-title":"J. Symbolic. Logic"},{"doi-asserted-by":"crossref","unstructured":"\u0141o\u015b, J., Suszko, R.: Remarks on sentential logics. Indigationes Mathematicae 10, 177\u2013183 (1958)","key":"4_CR17","DOI":"10.1016\/S1385-7258(58)50024-9"},{"unstructured":"\u0141ukasiewicz, J.: O logice tr\u00f3jwarto\u015bciowej. Ruch Filozoficny 5, 170\u2013171 (1920)","key":"4_CR18"},{"unstructured":"Marcos, J.: 8K solutions and semi-solutions to a problem of da Costa. Unpublished manuscript (2000)","key":"4_CR19"},{"key":"4_CR20","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/BF00258428","volume":"8","author":"G Priest","year":"1979","unstructured":"Priest, G.: The logic of paradox. J. Philos. Logic 8, 219\u2013241 (1979)","journal-title":"J. Philos. Logic"},{"unstructured":"Sette, A.M.: On the propositional calculus P1. Notas e comunicac\u00f5es de matem\u00e1tica, 17, Recife (1971)","key":"4_CR21"},{"unstructured":"Urbas, I.: On Brazilian paraconsistent logics. Ph.D. Australian National University, Canberra (1987)","key":"4_CR22"},{"key":"4_CR23","doi-asserted-by":"crossref","first-page":"583","DOI":"10.1305\/ndjfl\/1093635241","volume":"30","author":"I Urbas","year":"1989","unstructured":"Urbas, I.: Paraconsistency and the C-systems of da Costa. Notre Dame J. Formal Logic 30, 583\u2013597 (1989)","journal-title":"Notre Dame J. Formal Logic"},{"doi-asserted-by":"crossref","unstructured":"Urbas, I.: Paraconsistency. Studies in Soviet Thought 39, 343\u2013354 (1989)","key":"4_CR24","DOI":"10.1007\/BF00838045"}],"container-title":["Intelligent Systems Reference Library","Towards Paraconsistent Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-40418-9_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,4]],"date-time":"2025-06-04T03:41:53Z","timestamp":1749008513000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-40418-9_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319404172","9783319404189"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-40418-9_4","relation":{},"ISSN":["1868-4394","1868-4408"],"issn-type":[{"type":"print","value":"1868-4394"},{"type":"electronic","value":"1868-4408"}],"subject":[],"published":{"date-parts":[[2016]]}}}