{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T11:06:20Z","timestamp":1743073580959,"version":"3.40.3"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031626869"},{"type":"electronic","value":"9783031626876"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-62687-6_12","type":"book-chapter","created":{"date-parts":[[2024,6,7]],"date-time":"2024-06-07T15:01:50Z","timestamp":1717772510000},"page":"175-192","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["(In)consistency Operators on\u00a0Quasi-Nelson Algebras"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1364-5003","authenticated-orcid":false,"given":"Umberto","family":"Rivieccio","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5844-3371","authenticated-orcid":false,"given":"Aldo","family":"Figallo-Orellano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,6,8]]},"reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"Bou, F., et al.: Logics preserving degrees of truth from varieties of residuated lattices. J. Log. Comput. 19(6), 1031\u20131069 (2009)","DOI":"10.1093\/logcom\/exp030"},{"issue":"4","key":"12_CR2","doi-asserted-by":"publisher","first-page":"949","DOI":"10.1007\/s11225-022-09988-z","volume":"110","author":"M Busaniche","year":"2022","unstructured":"Busaniche, M., Galatos, N., Marcos, M.A.: Twist structures and Nelson Conuclei. Stud. Logica 110(4), 949\u2013987 (2022)","journal-title":"Stud. Logica"},{"key":"12_CR3","unstructured":"Busaniche, M., Rivieccio, U.: Nelson Conuclei and nuclei: the twist construction beyond involutivity. Studia Logica (To appear)"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"Carnielli, W.A., Marcos, J.: A taxonomy of C-systems. In: Paraconsistency, pp. 1\u201394. CRC Press (2002)","DOI":"10.1201\/9780203910139.pt1"},{"issue":"5","key":"12_CR5","doi-asserted-by":"publisher","first-page":"1226","DOI":"10.1093\/logcom\/exab029","volume":"31","author":"F Esteva","year":"2021","unstructured":"Esteva, F., Figallo-Orellano, A., Flaminio, T., Godo, L.: Logics of formal inconsistency based on distributive involutive residuated lattices. J. Log. Comput. 31(5), 1226\u20131265 (2021)","journal-title":"J. Log. Comput."},{"key":"12_CR6","unstructured":"Esteva, F., Figallo-Orellano, A., Flaminio, T., Godo, L.: Some categorical equivalences for Nelson algebras with consistency operators. In: 19th World Congress of the International Fuzzy Systems Association (IFSA), 12th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT)"},{"issue":"3","key":"12_CR7","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1016\/S0165-0114(01)00098-7","volume":"124","author":"F Esteva","year":"2001","unstructured":"Esteva, F., Godo, L.: Monoidal t-norm based logic: towards a logic for left-continuous t-norms. Fuzzy Sets Syst. 124(3), 271\u2013288 (2001)","journal-title":"Fuzzy Sets Syst."},{"key":"12_CR8","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1016\/j.fss.2022.03.021","volume":"445","author":"T Flaminio","year":"2022","unstructured":"Flaminio, T., Rivieccio, U.: Prelinearity in (quasi-)Nelson logic. Fuzzy Sets Syst. 445, 66\u201389 (2022)","journal-title":"Fuzzy Sets Syst."},{"key":"12_CR9","unstructured":"Galatos, N., Jipsen, P., Kowalski, T., Ono, H.: Residuated Lattices: an algebraic glimpse at substructural logics. In: Studies in Logic and the Foundations of Mathematics, vol. 151. Elsevier, Amsterdam (2007)"},{"issue":"1","key":"12_CR10","doi-asserted-by":"publisher","first-page":"107","DOI":"10.21146\/2074-1472-2021-27-1-107-123","volume":"27","author":"T Nascimento","year":"2021","unstructured":"Nascimento, T., Rivieccio, U.: Negation and implication in quasi-Nelson logic. Logic. Investig. 27(1), 107\u2013123 (2021)","journal-title":"Logic. Investig."},{"key":"12_CR11","doi-asserted-by":"publisher","first-page":"16","DOI":"10.2307\/2268973","volume":"14","author":"D Nelson","year":"1949","unstructured":"Nelson, D.: Constructible falsity. J. Symb. Log. 14, 16\u201326 (1949)","journal-title":"J. Symb. Log."},{"key":"12_CR12","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1016\/j.entcs.2019.07.011","volume":"344","author":"U Rivieccio","year":"2019","unstructured":"Rivieccio, U., Spinks, M.: quasi-Nelson algebras. Electron. Notes Theor. Comput. Sci. 344, 169\u2013188 (2019)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"12_CR13","doi-asserted-by":"publisher","unstructured":"Rivieccio, U., Spinks, M.: Quasi-Nelson; or, non-involutive Nelson algebras. In: Fazio, D., Ledda, A., Paoli, F. (eds.) Algebraic Perspectives on Substructural Logics. LNCS, vol. 57, pp. 133\u2013168. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-52163-9_8","DOI":"10.1007\/978-3-030-52163-9_8"},{"key":"12_CR14","first-page":"499","volume":"7","author":"U Rivieccio","year":"2020","unstructured":"Rivieccio, U.: Fragments of quasi-Nelson: two negations. J. Appl. Log. 7, 499\u2013559 (2020)","journal-title":"J. Appl. Log."},{"key":"12_CR15","doi-asserted-by":"publisher","unstructured":"Rivieccio, U.: Fragments of Quasi-Nelson: the algebraizable core. Logic J. IGPL 30(5), 807\u2013839 (2021). https:\/\/doi.org\/10.1093\/jigpal\/jzab023","DOI":"10.1093\/jigpal\/jzab023"},{"issue":"6","key":"12_CR16","doi-asserted-by":"publisher","first-page":"2671","DOI":"10.1007\/s00500-021-06719-9","volume":"26","author":"U Rivieccio","year":"2022","unstructured":"Rivieccio, U.: Quasi-N4-lattices. Soft. Comput. 26(6), 2671\u20132688 (2022)","journal-title":"Soft. Comput."},{"issue":"2","key":"12_CR17","doi-asserted-by":"publisher","first-page":"851","DOI":"10.1007\/s00500-020-05482-7","volume":"25","author":"U Rivieccio","year":"2021","unstructured":"Rivieccio, U., Jung, A.: A duality for two-sorted lattices. Soft. Comput. 25(2), 851\u2013868 (2021)","journal-title":"Soft. Comput."},{"key":"12_CR18","doi-asserted-by":"crossref","unstructured":"Sankappanavar, H.: Heyting algebras with dual pseudocomplementation. Pacific J. Math. 117(2), 405\u2013415 (1985)","DOI":"10.2140\/pjm.1985.117.405"}],"container-title":["Lecture Notes in Computer Science","Logic, Language, Information, and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-62687-6_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,7]],"date-time":"2024-06-07T15:03:08Z","timestamp":1717772588000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-62687-6_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031626869","9783031626876"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-62687-6_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"8 June 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"WoLLIC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Logic, Language, Information, and Computation","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Bern","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Switzerland","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 June 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 June 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"wollic2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/wollic2024.inf.unibe.ch\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}