{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,26]],"date-time":"2025-05-26T10:03:48Z","timestamp":1748253828643},"reference-count":42,"publisher":"Oxford University Press (OUP)","issue":"1","license":[{"start":{"date-parts":[[2018,11,19]],"date-time":"2018-11-19T00:00:00Z","timestamp":1542585600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/academic.oup.com\/journals\/pages\/open_access\/funder_policies\/chorus\/standard_publication_model"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,1,23]]},"DOI":"10.1093\/logcom\/exy032","type":"journal-article","created":{"date-parts":[[2018,10,16]],"date-time":"2018-10-16T19:15:41Z","timestamp":1539717341000},"page":"125-156","source":"Crossref","is-referenced-by-count":7,"title":["Maximality in finite-valued \u0141ukasiewicz logics defined by order filters"],"prefix":"10.1093","volume":"29","author":[{"given":"Marcelo E","family":"Coniglio","sequence":"first","affiliation":[{"name":"Dept. of Philosophy - IFCH and Centre for Logic, Epistemology and the History of Science, University of Campinas, Campinas, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesc","family":"Esteva","sequence":"additional","affiliation":[{"name":"Artificial Intelligence Research Institute (IIIA) - CSIC, Bellaterra Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joan","family":"Gispert","sequence":"additional","affiliation":[{"name":"Departament de Matem\u00e0tiques i Inform\u00e0tica, Universitat de Barcelona, Barcelona, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lluis","family":"Godo","sequence":"additional","affiliation":[{"name":"Artificial Intelligence Research Institute (IIIA) - CSIC, Bellaterra Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2018,11,19]]},"reference":[{"key":"key\n\t\t\t\t2019012511160706900_ref1","first-page":"1053","article-title":"Q-universal quasivarieties of algebras","volume":"120","author":"Adams","year":"1994","journal-title":"Proceedings of the American Mathematical Society"},{"key":"key\n\t\t\t\t2019012511160706900_ref2","unstructured":"O. Arieli , A.Avron and A.Zamansky. Maximally paraconsistent three-valued logics. In Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Fangzhen Lin, Ulrike Sattler and Miroslaw Truszczynski, edsToronto, Ontario, Canada, May 9-13, 2010. AAAI Press, 2010."},{"key":"key\n\t\t\t\t2019012511160706900_ref3","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1007\/s11225-011-9346-y","article-title":"Ideal paraconsistent logics","volume":"99","author":"Arieli","year":"2011","journal-title":"Studia Logica"},{"key":"key\n\t\t\t\t2019012511160706900_ref4","doi-asserted-by":"crossref","first-page":"304","DOI":"10.1109\/LICS.2010.20","article-title":"On strong maximality of paraconsistent finite-valued logics","author":"Avron","year":"2010","journal-title":"Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010"},{"key":"key\n\t\t\t\t2019012511160706900_ref5","doi-asserted-by":"crossref","unstructured":"D. Batens . Dynamic dialectical logics. In Paraconsistent Logic. Essays on the Inconsistent, G. Priestet al., eds, pp. 187\u2013217. Philosophia, 1989.","DOI":"10.2307\/j.ctv2x8v8c7.9"},{"key":"key\n\t\t\t\t2019012511160706900_ref6","unstructured":"N. D. Belnap . How a computer should think. In Contemporary Aspects of Philosophy, G. Ryle, ed., pp. 30\u201356. Oriel Press, 1976."},{"key":"key\n\t\t\t\t2019012511160706900_ref7","first-page":"5","article-title":"A useful four-valued logic","volume-title":"Modern Uses of Multiple-valued Logic (Fifth Internat. Sympos., Indiana Univ., Bloomington, Ind., 1975)","author":"Belnap","year":"1977"},{"key":"key\n\t\t\t\t2019012511160706900_ref8","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1006\/aima.2000.1962","article-title":"The subquasivariety lattice of a discriminator variety","volume":"159","author":"Blanco","year":"2001","journal-title":"Advances in Mathematics"},{"key":"key\n\t\t\t\t2019012511160706900_ref9","volume-title":"Abstract algebraic logic and the deduction theorem","author":"Blok","year":"2001"},{"key":"key\n\t\t\t\t2019012511160706900_ref10","unstructured":"W. J. Blok and D. L.Pigozzi. Local deduction theorems in algebraic logic. In Algebraic logic (Budapest, 1988), vol. 54 of Colloq. Math. Soc. J\u00e1 nos Bolyai, pp. 75\u2013109. North-Holland, Amsterdam, 1991."},{"key":"key\n\t\t\t\t2019012511160706900_ref11","volume-title":"Paraconsistent Logic: Consistency, Contradiction and Negation, vol. 40 of Logic, Epistemology, and the Unity of Science","author":"Carnielli","year":"2016"},{"key":"key\n\t\t\t\t2019012511160706900_ref12","doi-asserted-by":"crossref","unstructured":"W. A. Carnielli , M. E.Coniglio and J.Marcos. Logics of Formal Inconsistency. In Handbook of Philosophical Logic, Dov Gabbay and Franz Guenthner, eds., vol. 14, 2nd edn., pp.\u201393. Springer, 2007.","DOI":"10.1007\/978-1-4020-6324-4_1"},{"key":"key\n\t\t\t\t2019012511160706900_ref13","doi-asserted-by":"crossref","unstructured":"W. A. Carnielli and J.Marcos. A taxonomy of C-systems. In Paraconsistency: The Logical Way to the Inconsistent., vol.228 of Lecture Notes in Pure and Applied Mathematics, W. A. Carnielli, M. E. Coniglio and I. M. L. D\u2019Ottaviano, eds, pp.\u201394. Marcel Dekker, 2002.","DOI":"10.1201\/9780203910139"},{"key":"key\n\t\t\t\t2019012511160706900_ref14","doi-asserted-by":"crossref","first-page":"115","DOI":"10.12775\/LLP.2000.008","article-title":"Formal inconsistency and evolutionary databases","volume":"8","author":"Carnielli","year":"2000","journal-title":"Logic and Logical Philosophy"},{"key":"key\n\t\t\t\t2019012511160706900_ref15","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-9480-6","volume-title":"Algebraic Foundations of Many-valued Reasoning","author":"Cignoli","year":"2000"},{"key":"key\n\t\t\t\t2019012511160706900_ref16","unstructured":"M. E. Coniglio , F.Esteva, T.Flaminio and L.Godo. On an implication-free reduct of $MV_n$ chains. In Proceedings of Logic, Algebra and Truth Degrees (LATD 2018), pp. 43\u201346. University of Bern, 2018."},{"key":"key\n\t\t\t\t2019012511160706900_ref17","doi-asserted-by":"crossref","first-page":"288","DOI":"10.1093\/jigpal\/jzw006","article-title":"On the set of intermediate logics between the truth and degree preserving \u0141ukasiewicz logics","volume":"24","author":"Coniglio","year":"2016","journal-title":"Logic Journal of the IGPL"},{"key":"key\n\t\t\t\t2019012511160706900_ref18","article-title":"On a four-valued modal logic with deductive implication","volume":"43","author":"Coniglio","year":"2014","journal-title":"Bulletin of the Section of Logic"},{"key":"key\n\t\t\t\t2019012511160706900_ref19","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1093\/jigpal\/jzt026","article-title":"An alternative approach for quasi-truth","volume":"22","author":"Coniglio","year":"2014","journal-title":"Logic Journal of the IGPL"},{"key":"key\n\t\t\t\t2019012511160706900_ref20","article-title":"Sistemas Formais Inconsistentes (Inconsistent Formal Systems, in Portuguese). Habilitation Thesis, Universidade Federal do Paran\u00e1, Curitiba, Brazil","author":"A da Costa","year":"1963"},{"key":"key\n\t\t\t\t2019012511160706900_ref21","doi-asserted-by":"crossref","first-page":"825","DOI":"10.1007\/s11225-014-9595-7","article-title":"Classical negation and expansions of Belnap\u2013Dunn logic","volume":"103","author":"De","year":"2015","journal-title":"Studia Logica"},{"key":"key\n\t\t\t\t2019012511160706900_ref22","first-page":"1349","article-title":"Sur un probl\u00e8me de Ja\u015bkowski","volume":"270","author":"D\u2019Ottaviano","year":"1970","journal-title":"Comptes Rendus de l\u2019Acad\u00e9mie de Sciences de Paris (A-B)"},{"key":"key\n\t\t\t\t2019012511160706900_ref23","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/BF00373152","article-title":"Intuitive semantics for first-degree entailment and \u2018coupled trees","volume":"29","author":"Dunn","year":"1976","journal-title":"Philosophical Studies"},{"key":"key\n\t\t\t\t2019012511160706900_ref24","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1007\/BF01236812","article-title":"On subquasivariety lattices of semi-primal varieties","volume":"20","author":"Dziobiak","year":"1985","journal-title":"Algebra Universalis"},{"key":"key\n\t\t\t\t2019012511160706900_ref25","doi-asserted-by":"crossref","first-page":"481","DOI":"10.2307\/2586552","article-title":"An abstract algebraic logic approach to tetravalent modal logics","volume":"65","author":"Font","year":"2000","journal-title":"The Journal of Symbolic Logic"},{"key":"key\n\t\t\t\t2019012511160706900_ref26","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1023\/A:1005034431377","article-title":"Quasivarieties generated by simple MV-algebras","volume":"61","author":"Gispert","year":"1998","journal-title":"Studia Logica"},{"key":"key\n\t\t\t\t2019012511160706900_ref27","article-title":"Locally finite quasivarieties of MV-algebras.","author":"Gispert","year":"2014"},{"key":"key\n\t\t\t\t2019012511160706900_ref28","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1016\/S0165-0114(01)00103-8","article-title":"On very true","volume":"124","author":"H\u00e1jek","year":"2001","journal-title":"Fuzzy Sets and Systems"},{"key":"key\n\t\t\t\t2019012511160706900_ref29","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1017\/S0027763000019577","article-title":"Super-\u0141ukasiewicz propositional logics","volume":"84","author":"Komori","year":"1981","journal-title":"Nagoya Mathematical Journal"},{"key":"key\n\t\t\t\t2019012511160706900_ref30","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1305\/ndjfl\/1093870762","article-title":"Principal congruences of tetravalent modal algebras","volume":"26","author":"Loureiro","year":"1985","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"key\n\t\t\t\t2019012511160706900_ref31","volume-title":"8K solutions and semi-solutions to a problem of da Costa. Unpublished manuscript","author":"Marcos","year":"2000"},{"key":"key\n\t\t\t\t2019012511160706900_ref32","doi-asserted-by":"crossref","DOI":"10.2307\/2268660","article-title":"A theorem about infinite-valued sentential logic","volume":"16","author":"McNaughton","year":"1951","journal-title":"Journal of Symbolic Logic"},{"key":"key\n\t\t\t\t2019012511160706900_ref33","doi-asserted-by":"crossref","DOI":"10.1201\/b18519","volume-title":"Introduction to Mathematical Logic","author":"Mendelson","year":"2015"},{"key":"key\n\t\t\t\t2019012511160706900_ref34","volume-title":"Essais sur les logiques non chrysippiennes","author":"Moisil","year":"1972"},{"key":"key\n\t\t\t\t2019012511160706900_ref35","article-title":"Notas del curso \u00c1lgebras de Boole Involutivas","author":"Monteiro","year":"1969"},{"key":"key\n\t\t\t\t2019012511160706900_ref36","first-page":"199","article-title":"Axiomes ind\u00e9pendants pour les alg\u00e8bres de \u0141ukasiewicz trivalentes","volume-title":"Bulletin de la Societ\u00e9 des Sciences Math\u00e9matiques et Physiques de la R. P. Roumanie, Nouvelle s\u00e9rie","author":"Monteiro","year":"1963"},{"key":"key\n\t\t\t\t2019012511160706900_ref37","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1080\/11663081.1999.10510961","article-title":"Varieties of MV-algebras","volume":"9","author":"Panti","year":"1999","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"key\n\t\t\t\t2019012511160706900_ref38","doi-asserted-by":"crossref","unstructured":"M. M. Ribeiro and M. E.Coniglio. Contracting logics. In Logic, Language, Information and Computation. WoLLIC 2012, vol. 7456 of Lecture Notes in Computer Science, L. Ong and R. de Queiroz, eds, pp. 268\u2013281. Springer, 2012.","DOI":"10.1007\/978-3-642-32621-9_20"},{"key":"key\n\t\t\t\t2019012511160706900_ref39","first-page":"51","article-title":"\u0141ukasiewicz logic and Wajsberg algebras","volume":"19","author":"Rodr\u00edguez","year":"1990","journal-title":"Bulletin of the Section of Logic"},{"key":"key\n\t\t\t\t2019012511160706900_ref40","first-page":"173","article-title":"On the propositional calculus P$^1$","volume":"18","author":"Sette","year":"1973","journal-title":"Mathematica Japonicae"},{"key":"key\n\t\t\t\t2019012511160706900_ref41","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1007\/BF01053037","article-title":"Maximal weakly-intuitionistic logics","volume":"55","author":"Sette","year":"1995","journal-title":"Studia Logica"},{"key":"key\n\t\t\t\t2019012511160706900_ref42","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-6942-2","volume-title":"Theory of Logical Calculi: Basic Theory of Consequence Operations, volume 199 of Synthese Library","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\/29\/1\/125\/27511682\/exy032.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,6]],"date-time":"2023-09-06T01:59:20Z","timestamp":1693965560000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article\/29\/1\/125\/5165625"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,11,19]]},"references-count":42,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2018,11,19]]},"published-print":{"date-parts":[[2019,1,23]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exy032","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published-other":{"date-parts":[[2019,1]]},"published":{"date-parts":[[2018,11,19]]}}}