{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,8,21]],"date-time":"2023-08-21T04:22:43Z","timestamp":1692591763337},"reference-count":40,"publisher":"Oxford University Press (OUP)","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Logic Jnl IGPL"],"DOI":"10.1093\/jigpal\/jzw059","type":"journal-article","created":{"date-parts":[[2016,11,5]],"date-time":"2016-11-05T12:14:59Z","timestamp":1478348099000},"page":"jzw059","source":"Crossref","is-referenced-by-count":2,"title":["Self-extensional three-valued paraconsistent logics have no implication"],"prefix":"10.1093","author":[{"given":"Arnon","family":"Avron","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"JEAN-YVES","family":"BEZIAU","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2016,12,26]]},"reference":[{"key":"2016122619002660000_jzw059v1.1","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-010-9296-9"},{"key":"2016122619002660000_jzw059v1.2","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-011-9346-y"},{"key":"2016122619002660000_jzw059v1.3","doi-asserted-by":"crossref","unstructured":"Arieli O. and Avron. A. Three-valued paraconsistent propositional logics. In Beziau J.-Y. Chakraborty M. and Dutta S. eds, New Directions in Paraconsistent Logic, pp. 91\u2013129. Springer, 2015.","DOI":"10.1007\/978-81-322-2719-9_4"},{"key":"2016122619002660000_jzw059v1.4","unstructured":"Anderson A. R. and Belnap. N. D. Entailment: The Logic of Relevance and Necessity, Vol. I, Princeton University Press, 1975."},{"key":"2016122619002660000_jzw059v1.5","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093636612"},{"key":"2016122619002660000_jzw059v1.6","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1007\/978-3-319-10193-4_3","article-title":"Semi-implication: A chapter in universal logic.","volume-title":"The Road to Universal Logic","volume":"Vol. 1","author":"Avron.","year":"2015"},{"key":"2016122619002660000_jzw059v1.7","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exs039"},{"key":"2016122619002660000_jzw059v1.8","unstructured":"Avron A. and Zamansky. A. A Paraconsistent View on B and S5 . In Advances in Modal Logic, Beklemishev L. Demri S. and M\u00e1t\u00e1 A. eds, Vol. 11. College Publications, 2016."},{"key":"2016122619002660000_jzw059v1.9","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093958482"},{"key":"2016122619002660000_jzw059v1.10","doi-asserted-by":"crossref","unstructured":"Batens. D. On some remarkable relations between paraconsistent logics, modal logics, and ambiguity logics. In Paraconsistency: The Logical Way to the Inconsistent. Carnielli W. A. , Coniglio M. E. and D\u2019Ottaviano I. eds, Lecture Notes in Pure and Applied Mathematics, 228, pp. 275\u2013293. Marcel Dekker, 2002.","DOI":"10.1201\/9780203910139.ch12"},{"key":"2016122619002660000_jzw059v1.11","first-page":"301","article-title":"S5 is a paraconsistent logic and so is first-order classical logic","volume":"8","author":"Beziau.","year":"2002","journal-title":"Logical Investigations"},{"key":"2016122619002660000_jzw059v1.12","first-page":"209","article-title":"Th\u00e9orie l\u00e9gislative de la n\u00e9gation pure","volume":"147-148","author":"Beziau.","year":"1994","journal-title":"Logique et Analyse"},{"key":"2016122619002660000_jzw059v1.13","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1305\/ndjfl\/1039293025","article-title":"Idempotent full paraconsistent negations are not algebraizable","volume":"39","author":"Beziau.","year":"1998","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"2016122619002660000_jzw059v1.14","unstructured":"Beziau. J.-Y. What is paraconsistent logic? In Frontiers of Paraconsistent Logic, Batens D. et al., ed., pp. 95\u2013111. Research Studies Press, 2000."},{"key":"2016122619002660000_jzw059v1.15","doi-asserted-by":"crossref","unstructured":"Beziau J.-Y. Are paraconsistent negations negations? In Paraconsistency: the Logical way to the Inconsistent, Carnielli W. et al., ed., pp. 465\u2013486. Marcel Dekker, 2002.","DOI":"10.1201\/9780203910139.ch24"},{"key":"2016122619002660000_jzw059v1.16","first-page":"51","article-title":"Many-valuedness meets bivalence: Using logical values in an effective way","volume":"19","author":"Caleiro","year":"2012","journal-title":"Journal of Multiple-valued Logic and Soft Computing"},{"key":"2016122619002660000_jzw059v1.17","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-1-4020-6324-4_1","article-title":"Logics of formal inconsistency","volume-title":"Handbook of Philosophical Logic","volume":"vol. 14","author":"Carnielli","year":"2007"},{"key":"2016122619002660000_jzw059v1.18","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093891487"},{"key":"2016122619002660000_jzw059v1.19","first-page":"1349","article-title":"Sur un probl\u00e8me de Jaskow\u015bki","volume":"270","author":"D\u2019Ottaviano","year":"1970","journal-title":"Cr. R. Acad Sc. Paris"},{"key":"2016122619002660000_jzw059v1.20","unstructured":"Gottwald. S. A Treatise on Many-Valued Logics. Studies in Logic and Computation 9. Research Studies Press, 2001."},{"key":"2016122619002660000_jzw059v1.21","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1007\/s10469-007-0029-8","article-title":"A paraconsistent extension of Sylvan\u2019s logic","volume":"46","author":"Gordienko.","year":"2007","journal-title":"Algebra and Logic"},{"key":"2016122619002660000_jzw059v1.22","doi-asserted-by":"crossref","first-page":"35","DOI":"10.12775\/LLP.1999.003","article-title":"A propositional calculus for inconsistent deductive systems","volume":"7","author":"Ja\u015bkowski.","year":"1999","journal-title":"Logic, Language and Philosophy"},{"key":"2016122619002660000_jzw059v1.23","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1016\/j.jal.2004.07.017","article-title":"On negation: Pure local rules","volume":"3","author":"Marcos.","year":"2005","journal-title":"Journal of Applied Logic"},{"key":"2016122619002660000_jzw059v1.24","unstructured":"Marcos. J. Modality and paraconsistency. In The Logica Yearbook 2004 Bilkova M. and Behounek L. eds, pp. 213\u2013222. Filosofia, 2005."},{"key":"2016122619002660000_jzw059v1.25","first-page":"279","article-title":"Nearly every normal modal logic is paranormal","volume":"48","author":"Marcos.","year":"2005","journal-title":"Logique et Analyse"},{"key":"2016122619002660000_jzw059v1.26","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1016\/j.entcs.2013.12.010","article-title":"Negative modalities, consistency and determinedness","volume":"300","author":"Dod\u00f3","year":"2014","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"2016122619002660000_jzw059v1.27","first-page":"229","article-title":"Syntactical and semantical characterization of a class of paraconsistent logics","volume":"34","author":"Mruczek-Nasieniewska","year":"2005","journal-title":"Bulletin of the Section of Logic"},{"key":"2016122619002660000_jzw059v1.28","first-page":"185","article-title":"Paraconsistent logics obtained by j.-y. Beziau\u2019s method by means of some non-normal modal logics","volume":"37","author":"Mruczek-Nasieniewska","year":"2008","journal-title":"Bulletin of the Section of Logic"},{"key":"2016122619002660000_jzw059v1.29","first-page":"189","article-title":"B\u00e9ziau\u2019s logics obtained by means of quasi-regular logics","volume":"38","author":"Mruczek-Nasieniewska","year":"2009","journal-title":"Bulletin of the Section of Logic"},{"key":"2016122619002660000_jzw059v1.30","doi-asserted-by":"crossref","unstructured":"Osorio M. and Carballido. J. L. Brief study of $G^{\\prime}_3$ logic. Journal of Applied Non-Classical Logics, 475\u2013499, 2008.","DOI":"10.3166\/jancl.18.475-499"},{"key":"2016122619002660000_jzw059v1.31","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/BF00258428","article-title":"The logic of paradox","volume":"8","author":"Priest.","year":"1979","journal-title":"J. Philos. Logic"},{"key":"2016122619002660000_jzw059v1.32","unstructured":"Rasiowa. H. An Algebraic Approach to Non-classical Logics, Studies in logic and the foundations of mathematics 78, North-Holland Publishing Company, 1974."},{"key":"2016122619002660000_jzw059v1.33","doi-asserted-by":"crossref","unstructured":"Robles G. and M\u00e9ndez. J. M. A paraconsistent 3-valued logic related to Godel logic G3. Logic Journal of IGPL, 515\u2013538, 2013.","DOI":"10.1093\/jigpal\/jzt046"},{"key":"2016122619002660000_jzw059v1.34","first-page":"173","article-title":"On the propositional calculus P1","volume":"16","author":"Sette.","year":"1973","journal-title":"Mathematica Japonica"},{"key":"2016122619002660000_jzw059v1.35","first-page":"23","article-title":"Axiomatization of a partial system of three-value calculus of propositions","volume":"1","author":"Soboci\u0144ski.","year":"1952","journal-title":"Journal of Computing Systems"},{"key":"2016122619002660000_jzw059v1.36","doi-asserted-by":"publisher","DOI":"10.1007\/BF00401553"},{"key":"2016122619002660000_jzw059v1.37","unstructured":"Urbas. I. On Brazilian paraconsistent logics, PhD Thesis, Australian National University, Canberra, 1987."},{"key":"2016122619002660000_jzw059v1.38","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1007\/BF00838045","article-title":"Paraconsistency","volume":"39","author":"Urbas.","year":"1989","journal-title":"Studies in Soviet Thought"},{"key":"2016122619002660000_jzw059v1.39","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1007\/978-94-017-0452-6_4","article-title":"Many-valued Logic","volume-title":"Handbook of Philosophical Logic","volume":"vol. 2","author":"Urquhart.","year":"2001"},{"key":"2016122619002660000_jzw059v1.40","doi-asserted-by":"crossref","unstructured":"W\u00f3jcicki. R. Theory of Logical Calculi: Basic Theory of Consequence Operations, Kluwer Academic Publishers, 1988.","DOI":"10.1007\/978-94-015-6942-2"}],"container-title":["Logic Journal of IGPL"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/jigpal\/article-pdf\/25\/2\/183\/11036699\/jzw059.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,20]],"date-time":"2023-08-20T19:39:17Z","timestamp":1692560357000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/jigpal\/article-lookup\/doi\/10.1093\/jigpal\/jzw059"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12,26]]},"references-count":40,"alternative-id":["10.1093\/jigpal\/jzw059"],"URL":"https:\/\/doi.org\/10.1093\/jigpal\/jzw059","relation":{},"ISSN":["1367-0751","1368-9894"],"issn-type":[{"value":"1367-0751","type":"print"},{"value":"1368-9894","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,12,26]]}}}