{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,19]],"date-time":"2026-06-19T11:44:08Z","timestamp":1781869448245,"version":"3.54.5"},"reference-count":52,"publisher":"Oxford University Press (OUP)","issue":"5","license":[{"start":{"date-parts":[[2021,5,8]],"date-time":"2021-05-08T00:00:00Z","timestamp":1620432000000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,7,23]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>The aim of this paper is to develop an algebraic and logical study of certain paraconsistent systems, from the family of the logics of formal inconsistency (LFIs), which are definable from the degree-preserving companions of logics of distributive involutive residuated lattices ($\\textrm {dIRL}$s) with a consistency operator, the latter including as particular cases, Nelson logic ($\\textsf {NL}$), involutive monoidal t-norm based logic ($\\textsf {IMTL}$) or nilpotent minimum ($\\textsf {NM}$) logic. To this end, we first algebraically study enriched dIRLs with suitable consistency operators. In fact, we consider three classes of consistency operators, leading respectively to three subquasivarieties of such expanded residuated lattices. We characterize the simple and subdirectly irreducible members of these quasivarieties, and we extend Sendlewski\u2019s representation results for the case of Nelson lattices with consistency operators. Finally, we define and axiomatize the logics of three quasivarieties of $ \\textrm {dIRL}$s and their corresponding degree-preserving companions that belong to the family of LFIs.<\/jats:p>","DOI":"10.1093\/logcom\/exab029","type":"journal-article","created":{"date-parts":[[2021,4,6]],"date-time":"2021-04-06T19:14:17Z","timestamp":1617736457000},"page":"1226-1265","source":"Crossref","is-referenced-by-count":10,"title":["Logics of formal inconsistency based on distributive involutive residuated lattices"],"prefix":"10.1093","volume":"31","author":[{"given":"F","family":"Esteva","sequence":"first","affiliation":[{"name":"Artificial Intelligence Research Institute (IIIA), Spanish National Research Council (CSIC), Campus UAB s\/n, Bellaterra 08193, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"A","family":"Figallo-Orellano","sequence":"additional","affiliation":[{"name":"Departamento de Matem\u00e1tica, Universidad Nacional del Sur (UNS), Bah\u00eda Blanca 8000, Argentina and Centre for Logic, Epistemology, and The History of Science (CLE), University of Campinas (UNICAMP), Campinas, SP, 13083-859, Brazil"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"T","family":"Flaminio","sequence":"additional","affiliation":[{"name":"Artificial Intelligence Research Institute (IIIA), Spanish National Research Council (CSIC), Campus UAB s\/n, Bellaterra 08193, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"L","family":"Godo","sequence":"additional","affiliation":[{"name":"Artificial Intelligence Research Institute (IIIA), Spanish National Research Council (CSIC), Campus UAB s\/n, Bellaterra 08193, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"286","published-online":{"date-parts":[[2021,5,10]]},"reference":[{"key":"2021080400162710300_ref1","doi-asserted-by":"crossref","first-page":"231","DOI":"10.2307\/2274105","article-title":"Constructible falsity and inexact predicates","volume":"49","author":"Almukdad","year":"1984","journal-title":"Journal of Symbolic Logic"},{"key":"2021080400162710300_ref2","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1016\/j.ijar.2006.06.011","article-title":"Non-deterministic semantics for logics with a consistency operator","volume":"45","author":"Avron","year":"2007","journal-title":"International Journal of Approximate Reasoning"},{"key":"2021080400162710300_ref3","first-page":"15","article-title":"Modular semantics for some basic logics of formal inconsistency","volume-title":"The Many Sides of Logic","author":"Avron","year":"2009"},{"key":"2021080400162710300_ref4","first-page":"23","article-title":"Infinite-valued G\u00f6del logics with 0-1-projections and relativizations","volume-title":"G\u00d6DEL 96, LNL 6","author":"Baaz","year":"1996"},{"key":"2021080400162710300_ref5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1109\/FUZZ-IEEE.2017.8015625","article-title":"Standard completeness for extensions of IMTL","volume-title":"Proceedings of the 2017 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)","author":"Baldi","year":"2017"},{"key":"2021080400162710300_ref6","doi-asserted-by":"crossref","first-page":"1031","DOI":"10.1093\/logcom\/exp030","article-title":"Logics preserving degrees of truth from varieties of residuated lattices","volume":"19","author":"Bou","year":"2009","journal-title":"Journal of Logic and Computation"},{"key":"2021080400162710300_ref7","doi-asserted-by":"crossref","first-page":"761","DOI":"10.1093\/logcom\/exn081","article-title":"Constructive logic with strong negation as a substructural logic","volume":"20","author":"Busaniche","year":"2010","journal-title":"Journal of Logic and Computation"},{"key":"2021080400162710300_ref8","doi-asserted-by":"crossref","first-page":"1019","DOI":"10.1093\/logcom\/exp028","article-title":"Residuated lattices as an algebraic semantics for paraconsistent Nelson\u2019s logic","volume":"19","author":"Busaniche","year":"2009","journal-title":"Journal of Logic and Computation"},{"key":"2021080400162710300_ref9","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/s00012-014-0265-4","article-title":"The subvariety of commutative residuated lattices represented by twist-products","volume":"71","author":"Busaniche","year":"2014","journal-title":"Algebra Universalis"},{"key":"2021080400162710300_ref10","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1016\/j.fss.2018.10.024","article-title":"Representation by triples of algebras with an MV-retract","volume":"369","author":"Busaniche","year":"2019","journal-title":"Fuzzy Sets and Systems"},{"key":"2021080400162710300_ref11","doi-asserted-by":"crossref","first-page":"1000","DOI":"10.1093\/jigpal\/jzy071","article-title":"On the logic that preserves degrees of truth associated to involutive Stone algebras","volume":"28","author":"Cant\u00fa","year":"2020","journal-title":"Logic Journal of the IGPL"},{"key":"2021080400162710300_ref12","article-title":"Logic, Epistemology, and the Unity of Science","volume-title":"Paraconsistent Logic: Consistency, Contradiction and Negation","author":"Carnielli","year":"2016"},{"key":"2021080400162710300_ref13","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","author":"Carnielli","year":"2007"},{"key":"2021080400162710300_ref14","doi-asserted-by":"crossref","first-page":"624","DOI":"10.1093\/jigpal\/jzy054","article-title":"Recovery operators, paraconsistency and duality","volume":"28","author":"Carnielli","year":"2020","journal-title":"Logic Journal of the IGPL"},{"key":"2021080400162710300_ref15","doi-asserted-by":"crossref","first-page":"3789","DOI":"10.1007\/s11229-017-1621-7","article-title":"An epistemic approach to paraconsistency: a logic of evidence and truth","volume":"196","author":"Carnielli","year":"2019","journal-title":"Synthese"},{"key":"2021080400162710300_ref16","first-page":"103","article-title":"A general framework for mathematical fuzzy logic","volume-title":"Handbook of Mathematical Fuzzy Logic\u2014Volume 1","author":"Cintula","year":"2011"},{"key":"2021080400162710300_ref17","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-9480-6","article-title":"Trends in Logic\u2014Studia Logica Library","volume-title":"Algebraic Foundations of Many-Valued Reasoning","author":"Cignoli","year":"2000"},{"key":"2021080400162710300_ref18","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1016\/j.apal.2009.01.012","article-title":"Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies","volume":"160","author":"Cintula","year":"2009","journal-title":"Annals of Pure and Applied Logic"},{"key":"2021080400162710300_ref19","doi-asserted-by":"crossref","first-page":"880","DOI":"10.1093\/jigpal\/jzu016","article-title":"Logics of formal inconsistency arising from systems of fuzzy logic","volume":"22","author":"Coniglio","year":"2014","journal-title":"Logic Journal of the IGPL"},{"key":"2021080400162710300_ref20","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1305\/ndjfl\/1093891487","article-title":"On the theory of inconsistent formal systems","volume":"15","author":"da Costa","year":"1974","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"2021080400162710300_ref21","volume-title":"Sistemas Formais Inconsistentes","author":"da Costa","year":"1993"},{"key":"2021080400162710300_ref22","doi-asserted-by":"crossref","first-page":"531","DOI":"10.1007\/s00500-014-1489-0","article-title":"Paraconsistency properties in degree-preserving fuzzy logics","volume":"19","author":"Ertola","year":"2015","journal-title":"Soft Computing"},{"key":"2021080400162710300_ref23","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1016\/S0165-0114(01)00098-7","article-title":"Monoidal t-norm based logic: towards a logic for left-continuous t-norms","volume":"124","author":"Esteva","year":"2001","journal-title":"Fuzzy Sets and Systems"},{"key":"2021080400162710300_ref24","first-page":"99","article-title":"An algebraic study of a propositional system of Nelson","volume-title":"Mathematical Logic. Proceedings of the First Brazilian Conference, Lectures in Pure and Applied Mathematics","author":"Fidel","year":"1978"},{"key":"2021080400162710300_ref25","first-page":"119","article-title":"An algebraic study of logic with constructive negation","author":"Fidel","year":"1980","journal-title":"Proceedings of the Third Brazilian Conference on Mathematical Logic, Recife, 1979"},{"key":"2021080400162710300_ref26","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1007\/s11225-009-9180-7","article-title":"Taking degrees of truth seriously","volume":"91","author":"Font","year":"2009","journal-title":"Studia Logica"},{"key":"2021080400162710300_ref27","doi-asserted-by":"crossref","first-page":"839","DOI":"10.1007\/s00153-006-0001-7","article-title":"On the infinite-valued \u0141ukasiewicz logic that preserves degrees of truth","volume":"45","author":"Font","year":"2006","journal-title":"Archive for Mathematical Logic"},{"key":"2021080400162710300_ref28","article-title":"Studies in Logic and the Foundations of Mathematics","volume-title":"Residuated Lattices: an Algebraic Glimpse at Substructural Logics","author":"Galatos","year":"2007"},{"key":"2021080400162710300_ref29","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5300-3","article-title":"Trends in Logic\u2014Studia Logica Library","volume-title":"Metamathematics of Fuzzy Logic","author":"H\u00e1jek","year":"1998"},{"key":"2021080400162710300_ref30","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/978-94-011-0215-5_5","article-title":"Commutative, residuated $\\ell $-monoids","volume-title":"Non-Classical Logics and Their Applications to Fuzzy Subsets","author":"H\u00f6hle","year":"1995"},{"key":"2021080400162710300_ref31","doi-asserted-by":"crossref","first-page":"489","DOI":"10.1007\/s00153-002-0165-8","article-title":"On the structure of rotation-invariant semigroups","volume":"42","author":"Jenei","year":"2003","journal-title":"Archive for Mathematical Logic"},{"key":"2021080400162710300_ref32","first-page":"173","article-title":"Almost minimal varieties related to fuzzy logic","volume":"41","author":"Katoh","year":"2006","journal-title":"Reports on Marthematical Logic"},{"key":"2021080400162710300_ref33","author":"Kowalski","year":"2001","journal-title":"Residuated Lattices: An Algebraic Glimpse at Logic Without Contraction"},{"key":"2021080400162710300_ref34","author":"McCune"},{"key":"2021080400162710300_ref35","first-page":"279","article-title":"Nearly every normal modal logic is paranormal","volume":"48","author":"Marcos","year":"2005","journal-title":"Logique et Analyse"},{"key":"2021080400162710300_ref36","first-page":"1","article-title":"Sur les alg\u00e8bres de Heyting simetriques","volume":"39","author":"Monteiro","year":"1980","journal-title":"Portugaliae Math."},{"key":"2021080400162710300_ref37","volume-title":"Algebraic Study of Axiomatic Extensions of Triangular Norm Based Fuzzy Logics","author":"Noguera","year":"2006"},{"issue":"4","key":"2021080400162710300_ref38","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1093\/logcom\/13.4.453","article-title":"Algebraic semantics for paraconsistent Nelson\u2019s logic","volume":"13","author":"Odintsov","year":"2003","journal-title":"Journal of Logic and Computation"},{"key":"2021080400162710300_ref39","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1023\/B:STUD.0000032104.14199.08","article-title":"On the representation of N4-lattices","volume":"76","author":"Odintsov","year":"2002","journal-title":"Studia Logica"},{"key":"2021080400162710300_ref40","doi-asserted-by":"crossref","first-page":"684","DOI":"10.1093\/jigpal\/jzy056","article-title":"From logics of formal inconsistency to logics of formal classicality","volume":"28","author":"Omori","year":"2020","journal-title":"Logic Journal of the IGPL"},{"key":"2021080400162710300_ref41","first-page":"50","article-title":"Logics without the contraction rule and residuated lattices","volume":"8","author":"Ono","year":"2011","journal-title":"Australasian Journal of Logic"},{"key":"2021080400162710300_ref42","doi-asserted-by":"crossref","first-page":"499","DOI":"10.1090\/S0002-9947-1988-0946222-1","article-title":"Finite basis theorems for relatively congruence-distributive quasivarieties","volume":"310","author":"Pigozzi","year":"1988","journal-title":"Transactions of the American Mathematical Society"},{"key":"2021080400162710300_ref43","doi-asserted-by":"crossref","first-page":"61","DOI":"10.4064\/fm-46-1-61-80","article-title":"N-lattices and constructive logic with strong negation","volume":"46","author":"Rasiowa","year":"1958","journal-title":"Fundamenta Mathematicae"},{"key":"2021080400162710300_ref44","article-title":"Studies in Logic and the Foundations of Mathematics","volume-title":"An Algebraic Approach to Non-Classical Logics","author":"Rasiowa","year":"1974"},{"key":"2021080400162710300_ref45","doi-asserted-by":"crossref","first-page":"405","DOI":"10.2140\/pjm.1985.117.405","article-title":"Heyting algebras with dual pseudocomplementation","volume":"117","author":"Sankappanavar","year":"1985","journal-title":"Pacific Journal of Mathematics"},{"key":"2021080400162710300_ref46","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1007\/BF00401557","article-title":"Nelson algebras through Heyting ones. I","volume":"49","author":"Sendlewski","year":"1990","journal-title":"Studia Logica"},{"key":"2021080400162710300_ref47","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1007\/s11225-008-9113-x","article-title":"Constructive logic with strong negation is a substructural logic over FL$_ew$. I","volume":"88","author":"Spinks","year":"2008","journal-title":"Studia Logica"},{"key":"2021080400162710300_ref48","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1007\/s11225-008-9138-1","article-title":"Constructive logic with strong negation is a substructural logic over FL$_ew$. II","volume":"89","author":"Spinks","year":"2008","journal-title":"Studia Logica"},{"key":"2021080400162710300_ref49","volume-title":"Double Heyting Algebras","author":"Taylor","year":"2017"},{"key":"2021080400162710300_ref50","volume-title":"Varieties of Residuated Lattices with an MV-Retract and an Investigation Into State Theory","author":"Ugolini","year":"2018"},{"key":"2021080400162710300_ref51","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1007\/BF02121118","article-title":"Notes on N-lattices and constructive logic with strong negation","volume":"34","author":"Vakarelov","year":"1977","journal-title":"Studia Logica"},{"key":"2021080400162710300_ref52","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-6942-2","article-title":"Synthese Library","volume-title":"Theory of Logical Calculi: Basic Theory of Consequence Operations","author":"W\u00f3jcicki","year":"1988"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/31\/5\/1226\/39555017\/exab029.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/31\/5\/1226\/39555017\/exab029.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,4]],"date-time":"2021-08-04T00:17:26Z","timestamp":1628036246000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article\/31\/5\/1226\/6263490"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,5,10]]},"references-count":52,"journal-issue":{"issue":"5","published-online":{"date-parts":[[2021,5,10]]},"published-print":{"date-parts":[[2021,7,23]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exab029","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published-other":{"date-parts":[[2021,7]]},"published":{"date-parts":[[2021,5,10]]}}}