{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,4]],"date-time":"2026-05-04T11:10:16Z","timestamp":1777893016387,"version":"3.51.4"},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2017,7,19]],"date-time":"2017-07-19T00:00:00Z","timestamp":1500422400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Log. Univers."],"published-print":{"date-parts":[[2017,9]]},"DOI":"10.1007\/s11787-017-0173-4","type":"journal-article","created":{"date-parts":[[2017,7,19]],"date-time":"2017-07-19T15:47:33Z","timestamp":1500479253000},"page":"297-315","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":15,"title":["Self-Extensional Three-Valued Paraconsistent Logics"],"prefix":"10.1007","volume":"11","author":[{"given":"Arnon","family":"Avron","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,7,19]]},"reference":[{"key":"173_CR1","first-page":"91","volume-title":"Three-Valued Paraconsistent Propositional Logics","author":"O Arieli","year":"2015","unstructured":"Arieli, O., Avron, A.: New directions in paraconsistent logic. In: Beziau, J.-Y., Chakraborty, M., Dutta, S. (eds.) Three-Valued Paraconsistent Propositional Logics, pp. 91\u2013129. Springer, New Delhi (2015)"},{"key":"173_CR2","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. Form. Log. 7, 103\u2013106 (1966)","journal-title":"Notre Dame J. Form. Log."},{"key":"173_CR3","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/s11225-005-8468-5","volume":"80","author":"A Avron","year":"2005","unstructured":"Avron, A.: A nondeterministic view on nonclassical negations. Stud. Log. 80, 159\u2013194 (2005)","journal-title":"Stud. Log."},{"key":"173_CR4","unstructured":"Avron, A.: Non-deterministic semantics for families of paraconsistent logics. In: B\u00e9ziau, J\u00a0.Y., Carnielli, W\u00a0.A., Gabbay, D\u00a0.M. (eds.) Handbook of Paraconsistency, vol. 9, pp. 285\u2013320. College Publications (2007)"},{"key":"173_CR5","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1080\/11663081.2014.911515","volume":"24","author":"A Avron","year":"2014","unstructured":"Avron, A.: Paraconsistency, paracompleteness, gentzen systems, and trivalent semantics. J. Appl. Non-class. Log. 24, 12\u201334 (2014)","journal-title":"J. Appl. Non-class. Log."},{"key":"173_CR6","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1007\/s11787-006-0003-6","volume":"1","author":"A Avron","year":"2006","unstructured":"Avron, A., Ben-Naim, J., Konikowska, B.: Cut-free ordinary sequent calculi for logics having generalized finite-valued semantics. Log. Universalis 1, 41\u201369 (2006)","journal-title":"Log. Universalis"},{"key":"173_CR7","first-page":"183","volume":"25","author":"A Avron","year":"2017","unstructured":"Avron, A., B\u00e9ziau, J.-Y.: Self-extensional three-valued paraconsistent logics have no implication. Log. J. IGPL 25, 183\u2013194 (2017)","journal-title":"Log. J. IGPL"},{"key":"173_CR8","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1007\/978-94-007-0479-4_4","volume-title":"Handbook of philosophical logic","author":"A Avron","year":"2011","unstructured":"Avron, A., Zamansky, A.: Non-Deterministic Semantics for Logical Systems\u2014A Survey. In: Gabbay, D., Guenther, F. (eds.) Handbook of philosophical logic, vol. 16, pp. 227\u2013304. Springer, Berlin (2011)"},{"key":"173_CR9","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1305\/ndjfl\/1039293025","volume":"39","author":"JY B\u00e9ziau","year":"1994","unstructured":"B\u00e9ziau, J.Y.: Idempotent full paraconsistent negations are not algebraizable. Notre Dame J. Form. Log. 39, 135\u2013139 (1994)","journal-title":"Notre Dame J. Form. Log."},{"key":"173_CR10","first-page":"1","volume-title":"Handbook of Philosophical Logic","author":"W Carnielli","year":"2007","unstructured":"Carnielli, W., Coniglio, M., Marcos, J.: Logics of formal inconsistency. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. 14, 2nd edn, pp. 1\u201393. Springer, Dordrecht (2007)","edition":"2"},{"key":"173_CR11","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1305\/ndjfl\/1093891487","volume":"15","author":"NCA Costa da","year":"1974","unstructured":"da Costa, N.C.A.: On the theory of inconsistent formal systems. Notre Dame J. Form. Log. 15, 497\u2013510 (1974)","journal-title":"Notre Dame J. Form. Log."},{"issue":"(1\u20132)","key":"173_CR12","first-page":"31","volume":"XIX","author":"I D\u2019Ottaviano","year":"1985","unstructured":"D\u2019Ottaviano, I.: The completeness and compactness of a three-valued first-order logic. Rev. Colomb. Mat. XIX((1\u20132)), 31\u201342 (1985)","journal-title":"Rev. Colomb. Mat."},{"key":"173_CR13","volume-title":"A Treatise on Many-Valued Logics, Studies in Logic and Computation","author":"S Gottwald","year":"2001","unstructured":"Gottwald, S.: A Treatise on Many-Valued Logics, Studies in Logic and Computation, vol. 9. Research Studies Press, Baldock (2001)"},{"key":"173_CR14","volume-title":"Introduction to Metamathematics","author":"S\u00a0C Kleene","year":"1952","unstructured":"Kleene, S\u00a0.C.: Introduction to Metamathematics. Van Nostrand, New York (1952)"},{"key":"173_CR15","unstructured":"\u0141ukasiewicz, J.: On 3-valued logic. Ruch Filosoficzny, 5:169\u2013171, 1920. English translation: polish Logic 1920\u20131939 (S. McCall, ed.), Oxford University Press, Oxford, pp. 15\u201318, (1967)"},{"key":"173_CR16","doi-asserted-by":"crossref","first-page":"475","DOI":"10.3166\/jancl.18.475-499","volume":"18","author":"M Osorio","year":"2008","unstructured":"Osorio, M., Carballido, J.L.: Brief study of $$g^{\\prime }_3$$ g 3 \u2032 logic. J. Appl. Non-class. Log. 18, 475\u2013499 (2008)","journal-title":"J. Appl. Non-class. Log."},{"key":"173_CR17","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/BF00258428","volume":"8","author":"G Priest","year":"1979","unstructured":"Priest, G.: Logic of paradox. J. Philos. Log. 8, 219\u2013241 (1979)","journal-title":"J. Philos. Log."},{"key":"173_CR18","doi-asserted-by":"crossref","first-page":"515","DOI":"10.1093\/jigpal\/jzt046","volume":"22","author":"G Robles","year":"2014","unstructured":"Robles, G., M\u00e9ndez, J.M.: A paraconsistent 3-valued logic related to godel logic g3. Log. J. IGPL 22, 515\u2013538 (2014)","journal-title":"Log. J. IGPL"},{"key":"173_CR19","first-page":"173","volume":"16","author":"AM Sette","year":"1973","unstructured":"Sette, A.M.: On propositional calculus $$P_1$$ P 1 . Math. Jpn. 16, 173\u2013180 (1973)","journal-title":"Math. Jpn."},{"key":"173_CR20","unstructured":"Urbas, I.: On Brazilian paraconsistent logics. PhD thesis, Australian National University, Canberra (1987)"},{"key":"173_CR21","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1007\/BF00838045","volume":"39","author":"I Urbas","year":"1989","unstructured":"Urbas, I.: Paraconsistency. Stud. Sov. Thought 39, 343\u2013354 (1989)","journal-title":"Stud. Sov. Thought"},{"key":"173_CR22","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1007\/978-94-017-0452-6_4","volume-title":"Handbook of Philosophical Logic","author":"A Urquhart","year":"2001","unstructured":"Urquhart, A.: Many-valued logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. II, 2nd edn, pp. 249\u2013295. Kluwer, New Haven (2001)","edition":"2"},{"key":"173_CR23","doi-asserted-by":"crossref","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.: Theory of Logical Calculi: Basic Theory of Consequence Operations. Kluwer Academic Publishers, Boston (1988)"}],"container-title":["Logica Universalis"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11787-017-0173-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-017-0173-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-017-0173-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,30]],"date-time":"2019-09-30T23:57:16Z","timestamp":1569887836000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11787-017-0173-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,7,19]]},"references-count":23,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2017,9]]}},"alternative-id":["173"],"URL":"https:\/\/doi.org\/10.1007\/s11787-017-0173-4","relation":{},"ISSN":["1661-8297","1661-8300"],"issn-type":[{"value":"1661-8297","type":"print"},{"value":"1661-8300","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,7,19]]}}}