{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,26]],"date-time":"2026-02-26T15:32:13Z","timestamp":1772119933853,"version":"3.50.1"},"reference-count":39,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2021,7,8]],"date-time":"2021-07-08T00:00:00Z","timestamp":1625702400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,7,8]],"date-time":"2021-07-08T00:00:00Z","timestamp":1625702400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Log. Univers."],"published-print":{"date-parts":[[2021,9]]},"DOI":"10.1007\/s11787-021-00284-3","type":"journal-article","created":{"date-parts":[[2021,7,8]],"date-time":"2021-07-08T12:03:25Z","timestamp":1625745805000},"page":"271-289","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Paraconsistent Orbits of Logics"],"prefix":"10.1007","volume":"15","author":[{"given":"Edelcio G.","family":"de Souza","sequence":"first","affiliation":[]},{"given":"Alexandre","family":"Costa-Leite","sequence":"additional","affiliation":[]},{"given":"Diogo H. B.","family":"Dias","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,7,8]]},"reference":[{"key":"284_CR1","doi-asserted-by":"crossref","unstructured":"Amgoud, L., Besnard, P.: A formal analysis of logic-based argumentation systems. In: Deshpande, A., Hunter, A. (eds.) Scalable Uncertainty Management, pp.\u00a042\u201355. Springer-Verlag, Berlin Heidelberg (2010)","DOI":"10.1007\/978-3-642-15951-0_10"},{"key":"284_CR2","doi-asserted-by":"crossref","unstructured":"Arieli, O., Borg, A., Stra\u00dfer, C.: Argumentative approaches to reasoning with consistent subsets of premises. In: Benferhat, s., et al. (eds.) Proceedings of the 30th International Conference on Industrial, Engineering, Other Applications of Applied Intelligent Systems, pp.\u00a0455\u2013465. Springer, New York (2017)","DOI":"10.1007\/978-3-319-60042-0_50"},{"key":"284_CR3","unstructured":"Arieli, O., Avron, A., Zamansky, A.: What is an ideal logic for reasoning with inconsistency? In: Walsh, T. (ed.) Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, pp.\u00a0706\u2013711 (2011)"},{"key":"284_CR4","unstructured":"Avron, A., Lev, I.: A formula-preferential base for paraconsistent and plausible reasoning systems. In: Proceedings of the Workshop on Inconsistency in Data and Knowledge, pp.\u00a060\u201370 (2001)"},{"key":"284_CR5","unstructured":"Benferhat, S., Dubois, D., Prade, H.: How to infer from inconsistent beliefs without revising? In: Proceedings of the 14th International Joint Conference on Artificial Intelligence, pp.\u00a01449\u20131455 (1995)"},{"key":"284_CR6","unstructured":"Bensusan, H., Carneiro, G.: Paraconsistentization through antimonotonicity: towards a logic of supplement. In: Costa-Leit, A. (ed.) Abstract Consequence and Logics: Essays in Honor of Edelcio G. de Souza, pp.263\u2013274. London, College Publications (2020)"},{"key":"284_CR7","doi-asserted-by":"crossref","unstructured":"Bensusan, H., Costa-Leite, A., de Souza, E.G.: Logics and their galaxies. In: Koslow, A., Buchsbaum, A. (eds.) The Road to Universal Logic, pp.\u00a0243\u2013252. Springer, New York (2015)","DOI":"10.1007\/978-3-319-15368-1_10"},{"key":"284_CR8","unstructured":"B\u00e9ziau, J.-Y.: Universal logic. In: Childers, T., Majer, O. (eds.) Logica 94, pp.\u00a073\u201393 (1994)"},{"key":"284_CR9","unstructured":"B\u00e9ziau, J.-Y.: What is paraconsistent logic? In: Frontiers of Paraconsistent Logic, pp.\u00a095\u2013111. Research Studies Press, Baldock (2000)"},{"key":"284_CR10","doi-asserted-by":"crossref","unstructured":"B\u00e9ziau, J.-Y.: From consequence operator to universal logic: a survey of general abstract Logic. Logica Universalis , 3\u201317 (2005)","DOI":"10.1007\/3-7643-7304-0_1"},{"key":"284_CR11","doi-asserted-by":"crossref","unstructured":"Brown, B., Priest, G.: Chunk and permeate, a paraconsistent inference strategy. Part I: The infinitesimal calculus. J. Philosoph. Logic, 33(4), 379\u2013388 (2004)","DOI":"10.1023\/B:LOGI.0000036831.48866.12"},{"key":"284_CR12","doi-asserted-by":"crossref","unstructured":"Carnielli, W., Coniglio, M., Marcos, J.: Logics of formal inconsistency. In: Gabbay, D.M., Guenthner, F. (eds.) Handbook of Philosophical Logic. Springer, New York, Dordrecht (2007)","DOI":"10.1007\/978-1-4020-6324-4_1"},{"key":"284_CR13","unstructured":"Costa-Leite, A.: Interactions of metaphysical and epistemic concepts. PhD thesis, University of Neuch\u00e2tel, Switzerland (2007)"},{"key":"284_CR14","unstructured":"Costa-Leite, A.: Estruturas da contradi\u00e7\u00e3o e a paraconsistentiza\u00e7o de l\u00f3gicas. Pre-print (2019)"},{"issue":"4","key":"284_CR15","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1305\/ndjfl\/1093891487","volume":"15","author":"N da Costa","year":"1974","unstructured":"da Costa, N.: On the theory of inconsistent formal systems. Notre Dame J. Formal Logic 15(4), 497\u2013510 (1974)","journal-title":"Notre Dame J. Formal Logic"},{"issue":"1","key":"284_CR16","first-page":"1","volume":"1","author":"N da Costa","year":"1982","unstructured":"da Costa, N.: The philosophical import of paraconsistent logic. J. Non-Classical Logics 1(1), 1\u201319 (1982)","journal-title":"J. Non-Classical Logics"},{"key":"284_CR17","doi-asserted-by":"crossref","unstructured":"da Costa, N., Vernengo, R. J.: Sobre algunas l\u00f3gicas paracl\u00e1sicas y el an\u00e1lisis del razonamiento jur\u00eddico. Doxa: Cuadernos de Filosofia del Derecho, 19, 183\u2013200 (1996)","DOI":"10.14198\/DOXA1996.19.11"},{"key":"284_CR18","unstructured":"de Souza, E. G.: O problema de Destouches e as l\u00f3gicas heterodoxas: ensaio sobre o uso das l\u00f3gicas n\u00e3o-cl\u00e1ssicas no tratamento de inconsist\u00eancias em teorias f\u00edsicas. PhD thesis (In Portuguese), Universidade de S\u00e3o Paulo (1995)"},{"key":"284_CR19","first-page":"107","volume":"18","author":"EG de Souza","year":"1998","unstructured":"de Souza, E.G.: Remarks on paraclassical logic. Boletim da Sociedade Paranaense de Matem\u00e1tica 18, 107\u2013112 (1998)","journal-title":"Boletim da Sociedade Paranaense de Matem\u00e1tica"},{"key":"284_CR20","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1023\/A:1005254826656","volume":"125","author":"EG de Souza","year":"2000","unstructured":"de Souza, E.G.: Multideductive logic and the theoretic-formal unification of physical theories. Synthese 125, 253\u2013262 (2000)","journal-title":"Synthese"},{"issue":"3","key":"284_CR21","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1080\/11663081.2016.1225487","volume":"26","author":"EG de Souza","year":"2016","unstructured":"de Souza, E.G., Costa-Leite, A., Dias, D.H.B.: On a paraconsistentization functor in the category of consequence structures. J. Appl. Non-Classical Logics 26(3), 240\u2013250 (2016)","journal-title":"J. Appl. Non-Classical Logics"},{"key":"284_CR22","first-page":"161","volume":"246","author":"EG de Souza","year":"2019","unstructured":"de Souza, E.G., Costa-Leite, A., Dias, D.H.B.: Paradeduction in axiomatic formal systems. Logique et Analyse 246, 161\u2013176 (2019)","journal-title":"Logique et Analyse"},{"key":"284_CR23","unstructured":"de Souza, E.G., Costa-Leite, A., Dias, D.H.B.: Paraconsistentization and many-valued logics. Pre-print, Cornell, (2020). arXiv:2004.14881"},{"key":"284_CR24","unstructured":"Dias, D.H.B.: Paraconsistentiza\u00e7\u00e3o de L\u00f3gicas. PhD thesis (In Portuguese), Universidade de S\u00e3o Paulo (2019)"},{"key":"284_CR25","volume-title":"Fibring logics","author":"D Gabbay","year":"1999","unstructured":"Gabbay, D.: Fibring logics. Oxford University Press, Oxford (1999)"},{"key":"284_CR26","doi-asserted-by":"publisher","first-page":"35","DOI":"10.12775\/LLP.1999.003","volume":"7","author":"S Ja\u015bkowski","year":"1999","unstructured":"Ja\u015bkowski, S.: Propositional calculus for contradictory deductive systems. Logic and Logical Philosophy 7, 35\u201356 (1999)","journal-title":"Logic and Logical Philosophy"},{"key":"284_CR27","doi-asserted-by":"publisher","first-page":"57","DOI":"10.12775\/LLP.1999.004","volume":"7","author":"S Ja\u015bkowski","year":"1999","unstructured":"Ja\u015bkowski, S.: On the discussive conjunction in the propositional calculus for inconsistent deductive systems. Logic and Logical Philosophy 7, 57\u201359 (1999)","journal-title":"Logic and Logical Philosophy"},{"issue":"106","key":"284_CR28","first-page":"119","volume":"27","author":"A Loparic","year":"1984","unstructured":"Loparic, A., da Costa, N.: Paraconsistency, paracompleteness, and valuations. Logique et Analyse 27(106), 119\u2013131 (1984)","journal-title":"Logique et Analyse"},{"key":"284_CR29","volume-title":"Aristotle\u2019s Syllogistic from the Standpoint of Modern Formal Logic","author":"J \u0141ukasiewicz","year":"1951","unstructured":"\u0141ukasiewicz, J.: Aristotle\u2019s Syllogistic from the Standpoint of Modern Formal Logic. Clarendon Press, Oxford (1951)"},{"key":"284_CR30","volume-title":"Inconsistent mathematics","author":"C Mortensen","year":"2013","unstructured":"Mortensen, C.: Inconsistent mathematics, vol. 312. Kluwer Academic, Dordrecht (2013)"},{"key":"284_CR31","doi-asserted-by":"crossref","unstructured":"Payette, G.: Preserving logical structure. In: On preserving: Essays on preservationism and paraconsistent logic, pp.\u00a0105\u2013143. University Toronto Press, Toronto (2009)","DOI":"10.3138\/9781442688742-008"},{"key":"284_CR32","first-page":"219","volume":"8","author":"G Priest","year":"1979","unstructured":"Priest, G.: The logic of paradox. J. Philosoph. Logic 8, 219\u2013241 (1979)","journal-title":"J. Philosoph. Logic"},{"key":"284_CR33","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780199263301.001.0001","volume-title":"In contradiction: a study of the transconsistent","author":"G Priest","year":"2006","unstructured":"Priest, G.: In contradiction: a study of the transconsistent. Oxford University Press, New York (2006)"},{"issue":"2","key":"284_CR34","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/BF00154005","volume":"1","author":"N Rescher","year":"1970","unstructured":"Rescher, N., Manor, R.: On inferences from inconsistent premisses. Theory and decision 1(2), 179\u2013217 (1970)","journal-title":"Theory and decision"},{"issue":"4","key":"284_CR35","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1007\/BF01048355","volume":"24","author":"H Slater","year":"1995","unstructured":"Slater, H.: Paraconsistent logics? J. Philosoph. Logic 24(4), 451\u2013454 (1995)","journal-title":"J. Philosoph. Logic"},{"key":"284_CR36","unstructured":"Subrahmanian, V., Amgoud, L.: A general framework for reasoning about inconsistency. In: Proceedings of the Twentieth International Joint Conference on Artificial Intelligence, 599\u2013604 (2007)"},{"key":"284_CR37","unstructured":"Tarski, A.: On some fundamental concepts of metamathematics. In: Logic, Semantic, Metamathematics. Second Edition. John Corcoran (ed.). Hackett Publishing Company. 1983 (1930)"},{"key":"284_CR38","unstructured":"Tarski, A.: Fundamental concepts of the methodology of deductive sciences. In:Logic, Semantic, Metamathematics. Second Edition. John Corcoran (ed.). Hackett Publishing Company. 1983 (1930)"},{"key":"284_CR39","doi-asserted-by":"crossref","unstructured":"van de Putte, F.: Default assumptions and selection functions: a generic framework for non-monotonic logics. In: MICAI 2013: Advances in Artificial Intelligence and Its Applications, 54\u201367 (2013)","DOI":"10.1007\/978-3-642-45114-0_5"}],"container-title":["Logica Universalis"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-021-00284-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11787-021-00284-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-021-00284-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,27]],"date-time":"2021-08-27T11:05:55Z","timestamp":1630062355000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11787-021-00284-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,7,8]]},"references-count":39,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2021,9]]}},"alternative-id":["284"],"URL":"https:\/\/doi.org\/10.1007\/s11787-021-00284-3","relation":{"is-basis-for":[{"id-type":"doi","id":"10.52843\/cassyni.b28vnm","asserted-by":"object"}]},"ISSN":["1661-8297","1661-8300"],"issn-type":[{"value":"1661-8297","type":"print"},{"value":"1661-8300","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,7,8]]},"assertion":[{"value":"3 May 2021","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"17 June 2021","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 July 2021","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}