{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:21:07Z","timestamp":1759033267529,"version":"3.37.3"},"reference-count":43,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2022,5,28]],"date-time":"2022-05-28T00:00:00Z","timestamp":1653696000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,5,28]],"date-time":"2022-05-28T00:00:00Z","timestamp":1653696000000},"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":["Stud Logica"],"published-print":{"date-parts":[[2022,10]]},"DOI":"10.1007\/s11225-022-10004-7","type":"journal-article","created":{"date-parts":[[2022,5,28]],"date-time":"2022-05-28T09:03:03Z","timestamp":1653728583000},"page":"1291-1325","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Paraconsistent and Paracomplete Logics Based on k-Cyclic Modal Pseudocomplemented De Morgan Algebras"],"prefix":"10.1007","volume":"110","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5844-3371","authenticated-orcid":false,"given":"Aldo","family":"Figallo-Orellano","sequence":"first","affiliation":[]},{"given":"Miguel","family":"Per\u00e9z-Gaspar","sequence":"additional","affiliation":[]},{"given":"Juan Manuel","family":"Ram\u00edrez-Contreras","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,5,28]]},"reference":[{"key":"10004_CR1","doi-asserted-by":"crossref","unstructured":"Abad, M., J. P. D\u00edaz Varela, B. F. L\u00f3pez Martinolich, M. C. Vannicola, and M. Zander, An equivalence between varieties of cyclic post algebras and varieties generated by a finite field, Central European Journal of Mathematics 4: 547\u2013561, 2006.","DOI":"10.2478\/s11533-006-0023-8"},{"key":"10004_CR2","volume-title":"Distributive lattices","author":"R Balbes","year":"1974","unstructured":"Balbes, R., and P. Dwinger, Distributive lattices. University of Missouri Press, Columbia, 1974."},{"key":"10004_CR3","doi-asserted-by":"crossref","unstructured":"B\u00e9ziau, J.-Y., Two Genuine 3-Valued Paraconsistent Logics, in S. Akama, (ed.), Towards Paraconsistent Emgineering, Springer International Publishing, Cham, 2016. pp. 35\u201347.","DOI":"10.1007\/978-3-319-40418-9_4"},{"key":"10004_CR4","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1090\/memo\/0396","volume":"77","author":"W Blok","year":"1989","unstructured":"Blok, W., and D. Pigozzi, Algebraizable logics, Memoirs of the American Mathematical Society 77: 396, 1989.","journal-title":"Memoirs of the American Mathematical Society"},{"issue":"6","key":"10004_CR5","doi-asserted-by":"publisher","first-page":"1031","DOI":"10.1093\/logcom\/exp030","volume":"19","author":"F Bou","year":"2009","unstructured":"Bou, F., F. Esteva, J. M. Font, A. Gil, L. Godo, A. Torrens, and V. Verd\u00fa, Logics preserving degrees of truth from varieties of residuated lattices, Journal of Logic and Computation 19(6): 1031\u20131069, 2009.","journal-title":"Journal of Logic and Computation"},{"key":"10004_CR6","doi-asserted-by":"crossref","unstructured":"Burris, S., and H. Sankappanavar, A course in Universal Algebra, vol. 78 of Graduate Texts in Mathematics, Springer-Verlag, Berlin, 1981.","DOI":"10.1007\/978-1-4613-8130-3"},{"issue":"5","key":"10004_CR7","doi-asserted-by":"publisher","first-page":"1000","DOI":"10.1093\/jigpal\/jzy071","volume":"28","author":"L Cant\u00fa","year":"2020","unstructured":"Cant\u00fa, L., and M. Figallo, On the logic that preserves degrees of truth associated to involutive Stone algebras, Logic Journal of the IGPL 28(5): 1000\u20131020, 2020.","journal-title":"Logic Journal of the IGPL"},{"key":"10004_CR8","doi-asserted-by":"crossref","unstructured":"Carnielli, W., and J. Marcos, A taxonomy of C-systems, in W.A. Carnielli, (ed.), Paraconsistency. The Logical Way to the Inconsistent, vol. 228 of Lecture Notes in Pure and Applied Mathematics, Marcel Dekker, 2002, pp. 1\u201394.","DOI":"10.1201\/9780203910139.pt1"},{"key":"10004_CR9","unstructured":"Carnielli, W., and M. Coniglio, Paraconsistent logic: consistency, contradiction and negation, vol. 40 of Logic, Epistemology, and the Unity of Science, Springer International Publishing, Basel, Switzerland."},{"key":"10004_CR10","doi-asserted-by":"publisher","first-page":"3789","DOI":"10.1007\/s11229-017-1621-7","volume":"196","author":"W Carnielli","year":"2019","unstructured":"Carnielli, W., and A. Rodrigues, An epistemic approach to paraconsistency: a logic of evidence and truth, Synthese 196: 3789-3813, 2019.","journal-title":"Synthese"},{"key":"10004_CR11","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1093\/jigpal\/jzt027","volume":"22","author":"J Castiglioni","year":"2014","unstructured":"Castiglioni, J., and R. Ertola-Biraben, Strict paraconsistency of truth-degree preserving intuitionistic logic with dual negation, Logic Journal of the IGPL 22: 268\u2013273, 2014.","journal-title":"Logic Journal of the IGPL"},{"key":"10004_CR12","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1017\/S1446788700023806","volume":"34","author":"R Cignoli","year":"1983","unstructured":"Cignoli, R., and M. S. de Gallego, Dualities for some De Morgan algebras with operators and \u0141ukasiewicz algebras, Journal of the Australian Mathematical Society (Series A), 34: 377\u2013393, 1983.","journal-title":"Journal of the Australian Mathematical Society (Series A)"},{"issue":"3","key":"10004_CR13","doi-asserted-by":"publisher","first-page":"525","DOI":"10.1007\/s11225-013-9489-0","volume":"102","author":"M Coniglio","year":"2014","unstructured":"Coniglio, M., and M. Figallo, Hilbert-style presentations of two logics associated to tetravalent modal algebras, Studia Logica 102(3): 525\u2013539, 2014.","journal-title":"Studia Logica"},{"key":"10004_CR14","doi-asserted-by":"publisher","first-page":"641","DOI":"10.2307\/2586559","volume":"65","author":"J Czelakowski","year":"2000","unstructured":"Czelakowski, J., and R. Jansana, Weakly algebraizable logics, The Journal of Symbolic Logic 65: 641\u2013668, 2000.","journal-title":"The Journal of Symbolic Logic"},{"key":"10004_CR15","first-page":"307","volume":"98","author":"J D\u00edaz Varela","year":"2011","unstructured":"D\u00edaz Varela, J., and B. L\u00f3pez Martinolich, Resolution of algebraic systems of equations in the variety of cyclic post algebras, Studia Logica 98: 307\u2013330, 2011.","journal-title":"L\u00f3pez Martinolich, Resolution of algebraic systems of equations in the variety of cyclic post algebras, Studia Logica"},{"issue":"3","key":"10004_CR16","doi-asserted-by":"publisher","first-page":"531","DOI":"10.1007\/s00500-014-1489-0","volume":"19","author":"R Ertola","year":"2015","unstructured":"Ertola, R., F. Esteva, T. Flaminio, L. Godo, and C. Noguera, Paraconsistency properties in degree-preserving fuzzy logics, Soft Computing 19(3): 531\u2013546, 2015.","journal-title":"Soft Computing"},{"issue":"5","key":"10004_CR17","doi-asserted-by":"publisher","first-page":"1226","DOI":"10.1093\/logcom\/exab029","volume":"31","author":"F Esteva","year":"2021","unstructured":"Esteva, F., A. Figallo-Orellano, T. Flaminio and L. Godo, Logics of formal inconsistency based on distributive involutive residuated lattices, Journal of Logic and Computation 31(5): 1226\u20131265, 2021.","journal-title":"Journal of Logic and Computation"},{"key":"10004_CR18","doi-asserted-by":"crossref","unstructured":"Esteva, F., A. Figallo-Orellano, T. Flaminio and L. Godo, Some categorical equivalences for Nelson algebras with consistency operators, in Joint Proceedings of the 19th World Congress of the International Fuzzy Systems Association (IFSA), the 12th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT), and the 11th International Summer School on Aggregation Operators (AGOP), Atlantis Press, 2021, pp. 420\u2013426.","DOI":"10.2991\/asum.k.210827.056"},{"key":"10004_CR19","unstructured":"Figallo-Orellano, A., and J. Slagter, Monteiro\u2019s algebraic notion of maximal consistent theory for Tarskian logics. Submitted."},{"issue":"4","key":"10004_CR20","doi-asserted-by":"publisher","first-page":"496","DOI":"10.1093\/jigpal\/jzx019","volume":"25","author":"A Figallo-Orellano","year":"2017","unstructured":"Figallo-Orellano, A., A. Ziliani, and M. Figallo, Symmetric operators on modal pseudocomplemented De Morgan algebras, Logic journal of the IGPL 25(4): 496\u2013511, 2017.","journal-title":"Logic journal of the IGPL"},{"key":"10004_CR21","doi-asserted-by":"publisher","first-page":"591","DOI":"10.1007\/s11225-018-9802-z","volume":"107","author":"A Figallo-Orellano","year":"2019","unstructured":"Figallo-Orellano, A., and I. Pascual, On monadic operators over modal pseudocomplemented De Morgan algebras and tetravalent modal algebras, Studia Logica 107: 591\u2013611, 2019.","journal-title":"Studia Logica"},{"key":"10004_CR22","unstructured":"Figallo, A. V., T\u00f3picos sobre \u00e1lgebras modales $4-$valuadas, in Proceeding of the IX Simposio Latino-Americano de L\u00f3gica Matem\u00e1tica, vol. 39 of Notas de L\u00f3gica Matem\u00e1tica, 1992, pp. 145\u2013157."},{"issue":"1","key":"10004_CR23","first-page":"65","volume":"53","author":"AV Figallo","year":"2014","unstructured":"Figallo, A. V., N. Oliva, and A. Ziliani, Modal pseudocomplemented de Morgan algebras, Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica 53(1): 65\u201379, 2014.","journal-title":"Facultas Rerum Naturalium. Mathematica"},{"key":"10004_CR24","doi-asserted-by":"crossref","unstructured":"Figallo, A. V., N. Oliva, and A. Ziliani, Free modal pseudocomplemented de Morgan algebras, Bulletin of the Section of Logic 47(2): 89\u2013106, 2018.","DOI":"10.18778\/0138-0680.47.2.02"},{"key":"10004_CR25","doi-asserted-by":"crossref","unstructured":"Figallo, A. V., G. Pelaitay, and J. Sarmiento, $C_n$ algebras with Moisil possibility operators, Logic Journal of the IGPL 28(6): 1141\u20131154, 2020.","DOI":"10.1093\/jigpal\/jzaa012"},{"key":"10004_CR26","unstructured":"Figallo, M., Hypersequents and tetravalent modal logic ${{\\cal{TML}}}$. Ph.D. Thesis, Universidad Nacional del Sur, 2013."},{"key":"10004_CR27","doi-asserted-by":"publisher","first-page":"1347","DOI":"10.1007\/s11225-021-09944-3","volume":"109","author":"M Figallo","year":"2021","unstructured":"Figallo, M., Cut-free sequent calculus and natural deduction for the tetravalent modal logic, Studia Logica 109: 1347\u20131373, 2021.","journal-title":"Studia Logica"},{"key":"10004_CR28","unstructured":"Font, J. M., Abstract algebraic logic - textbook, vol. 60 of Studies in Logic - Mathematical Logic and Foundations, College Publications, London, 2016."},{"key":"10004_CR29","unstructured":"Font, J. M., and R. Jansana, A general algebraic semantics for sentential logics, 2nd edition, vol. 7 of Lecture notes in logic, Association for Symbolic Logic, 2009."},{"key":"10004_CR30","doi-asserted-by":"publisher","first-page":"481","DOI":"10.2307\/2586552","volume":"65","author":"JM Font","year":"2000","unstructured":"Font, J. M., and M. Rius, An abstract algebraic logic approach to tetravalent modal logics, Journal of Symbolic Logic 65: 481\u2013518, 2000.","journal-title":"Journal of Symbolic Logic"},{"key":"10004_CR31","first-page":"117","volume":"36","author":"JM Font","year":"2007","unstructured":"Font, J. M., On substructural logics preserving degrees of truth, Bulletin of the Section of Logic 36: 117\u2013130, 2007.","journal-title":"Bulletin of the Section of Logic"},{"key":"10004_CR32","first-page":"383","volume":"91","author":"JM Font","year":"2009","unstructured":"Font, J. M., Taking degrees of truth seriously, Studia Logica (Special issue on Truth Values, Part I) 91: 383\u2013406, 2009.","journal-title":"Studia Logica (Special issue on Truth Values, Part I)"},{"key":"10004_CR33","doi-asserted-by":"publisher","first-page":"839","DOI":"10.1007\/s00153-006-0001-7","volume":"45","author":"JM Font","year":"2006","unstructured":"Font, J. M., A. Gil, A. Torrens, and V. Verd\u00fa, On the infinite-valued Lukasiewicz logic that preserves degrees of truth, Archive for Mathematical Logic 45: 839\u2013868, 2006.","journal-title":"Archive for Mathematical Logic"},{"key":"10004_CR34","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/s11225-006-9003-z","volume":"84","author":"R Jansana","year":"2006","unstructured":"Jansana, R., Selfextensional logics with a conjunction, Studia Logica 84: 63\u2013104, 2006.","journal-title":"Studia Logica"},{"key":"10004_CR35","unstructured":"L\u00f3pez-Martinolich, B. F., Resoluci\u00f3n de sistemas de ecuaciones polinomiales sobre \u00e1lgebras de Post k-c\u00edclicas, Ph. D. Thesis, Universidad Nacional del Sur, 2011."},{"key":"10004_CR36","doi-asserted-by":"crossref","unstructured":"L\u00f3pez-Martinolich, B. F., Gr\u00f3bner bases over cyclic post algebras. algebras, 2012 IEEE 42nd International Symposium on Multiple-Valued Logic, Victoria, BC, Canada, 2012, pp. 197\u2013202.","DOI":"10.1109\/ISMVL.2012.32"},{"key":"10004_CR37","first-page":"279","volume":"48","author":"J Marcos","year":"2005","unstructured":"Marcos, J., Nearly every normal modal logic is paranormal, Logique et Analyse 48: 279-300, 2005.","journal-title":"Logique et Analyse"},{"key":"10004_CR38","first-page":"871","volume":"65","author":"S Marcelino","year":"2022","unstructured":"Marcelino, S., and U. Rivieccio, Logics of involutive stone algebras, Soft Computing 65: 871 2022.","journal-title":"Soft Computing"},{"key":"10004_CR39","first-page":"1","volume":"39","author":"A Monteiro","year":"1980","unstructured":"Monteiro, A., Sur les alg\u00e8bres de Heyting Sym\u00e9triques, Portugaliae Mathematica 39: 1\u2013237, 1980.","journal-title":"Portugaliae Mathematica"},{"issue":"1","key":"10004_CR40","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1080\/11663081.2021.1885167","volume":"31","author":"M Osorio","year":"2021","unstructured":"Osorio, M., A. Figallo-Orellano, and M. P\u00e9rez-Gaspar, A family of genuine and non-algebraisable C-systems, Journal of Applied Non-Classical Logics 31(1): 56\u201384, 2021.","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"10004_CR41","unstructured":"Rasiowa, H., An Algebraic Approach to Non-Classical Logics, vol. 78 of Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam and London, and American Elsevier Publishing Company, Inc., New York, 1974."},{"key":"10004_CR42","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1002\/malq.19860322502","volume":"32","author":"H Sankappanavar","year":"1986","unstructured":"Sankappanavar, H., Pseudocomplemented Ockham and de Morgan algebras, Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik 32: 385\u2013394, 1986.","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"issue":"4","key":"10004_CR43","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1080\/11663081.2017.1290488","volume":"26","author":"D Szmuc","year":"2016","unstructured":"Szmuc, D., Defining LFIs and LFUs in extensions of infectious logics, Journal of Applied Non-Classical Logics 26(4): 286\u2013314, 2016.","journal-title":"Journal of Applied Non-Classical Logics"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-022-10004-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11225-022-10004-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-022-10004-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,28]],"date-time":"2022-09-28T19:08:29Z","timestamp":1664392109000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11225-022-10004-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,5,28]]},"references-count":43,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2022,10]]}},"alternative-id":["10004"],"URL":"https:\/\/doi.org\/10.1007\/s11225-022-10004-7","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2022,5,28]]},"assertion":[{"value":"19 April 2021","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"28 May 2022","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}