{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:06:28Z","timestamp":1759032388660,"version":"3.40.3"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030501525"},{"type":"electronic","value":"9783030501532"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-50153-2_47","type":"book-chapter","created":{"date-parts":[[2020,6,5]],"date-time":"2020-06-05T21:03:01Z","timestamp":1591390981000},"page":"634-653","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Two Dualities for Weakly Pseudo-complemented quasi-Kleene 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"}]},{"given":"Ramon","family":"Jansana","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thiago","family":"Nascimento","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,6,5]]},"reference":[{"key":"47_CR1","volume-title":"Distributive Lattices","author":"R Balbes","year":"1974","unstructured":"Balbes, R., Dwinger, P.: Distributive Lattices. University of Missouri Press, Columbia (1974)"},{"issue":"1\u20132","key":"47_CR2","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1016\/j.apal.2007.04.001","volume":"147","author":"G Bezhanishvili","year":"2007","unstructured":"Bezhanishvili, G., Ghilardi, S.: An algebraic approach to subframe logics. Intuitionistic case. Ann. Pure Appl. Log. 147(1\u20132), 84\u2013100 (2007)","journal-title":"Ann. Pure Appl. Log."},{"issue":"1\u20132","key":"47_CR3","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/s11225-011-9323-5","volume":"98","author":"G Bezhanishvili","year":"2011","unstructured":"Bezhanishvili, G., Jansana, R.: Priestley style duality for distributive meet-semilattices. Stud. Logica 98(1\u20132), 83\u2013122 (2011). \nhttps:\/\/doi.org\/10.1007\/s11225-011-9323-5","journal-title":"Stud. Logica"},{"key":"47_CR4","series-title":"Studies in Logic and the Foundations of Mathematics","volume-title":"Residuated Lattices: An Algebraic Glimpse at Substructural Logics","author":"N Galatos","year":"2007","unstructured":"Galatos, N., Jipsen, P., Kowalski, T., Ono, H.: Residuated Lattices: An Algebraic Glimpse at Substructural Logics. Studies in Logic and the Foundations of Mathematics, vol. 151. Elsevier, Amsterdam (2007)"},{"issue":"3","key":"47_CR5","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1016\/0168-0072(89)90032-8","volume":"44","author":"R Goldblatt","year":"1989","unstructured":"Goldblatt, R.: Varieties of complex algebras. Ann. Pure Appl. Log. 44(3), 173\u2013242 (1989)","journal-title":"Ann. Pure Appl. Log."},{"issue":"4","key":"47_CR6","doi-asserted-by":"publisher","first-page":"608","DOI":"10.1093\/jigpal\/jzu002","volume":"22","author":"R Jansana","year":"2014","unstructured":"Jansana, R., Rivieccio, U.: Dualities for modal N4-lattices. Log. J. IGPL 22(4), 608\u2013637 (2014)","journal-title":"Log. J. IGPL"},{"key":"47_CR7","unstructured":"Jung, A., Rivieccio, U.: A duality for two-sorted lattices (Submitted)"},{"key":"47_CR8","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1090\/S0002-9947-1958-0095135-X","volume":"87","author":"JA Kalman","year":"1958","unstructured":"Kalman, J.A.: Lattices with involution. Trans. Am. Math. Soc. 87, 485\u2013491 (1958)","journal-title":"Trans. Am. Math. Soc."},{"key":"47_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1007\/978-3-662-59533-6_27","volume-title":"Logic, Language, Information, and Computation","author":"F Liang","year":"2019","unstructured":"Liang, F., Nascimento, T.: Algebraic semantics for quasi-nelson logic. In: Iemhoff, R., Moortgat, M., de Queiroz, R. (eds.) WoLLIC 2019. LNCS, vol. 11541, pp. 450\u2013466. Springer, Heidelberg (2019). \nhttps:\/\/doi.org\/10.1007\/978-3-662-59533-6_27"},{"key":"47_CR10","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":"47_CR11","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1112\/blms\/2.2.186","volume":"2","author":"HA Priestley","year":"1970","unstructured":"Priestley, H.A.: Representation of distributive lattices by means of ordered Stone spaces. Bull. Lond. Math. Soc. 2, 186\u2013190 (1970)","journal-title":"Bull. Lond. Math. Soc."},{"issue":"2","key":"47_CR12","doi-asserted-by":"publisher","first-page":"127","DOI":"10.4064\/fm-84-2-127-143","volume":"84","author":"HA Priestley","year":"1974","unstructured":"Priestley, H.A.: Stone lattices: a topological approach. Fundam. Math. 84(2), 127\u2013143 (1974)","journal-title":"Fundam. Math."},{"issue":"1","key":"47_CR13","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1093\/qmath\/26.1.215","volume":"26","author":"HA Priestley","year":"1975","unstructured":"Priestley, H.A.: The construction of spaces dual to pseudocomplemented distributive lattices. Q. J. Math. 26(1), 215\u2013228 (1975)","journal-title":"Q. J. Math."},{"key":"47_CR14","series-title":"Studies in Logic and the Foundations of Mathematics","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(09)70074-6","volume-title":"An Algebraic Approach to Non-Classical Logics","author":"H Rasiowa","year":"1974","unstructured":"Rasiowa, H.: An Algebraic Approach to Non-Classical Logics. Studies in Logic and the Foundations of Mathematics, vol. 78. North-Holland, Amsterdam (1974)"},{"key":"47_CR15","unstructured":"Rivieccio, U.: Fragments of quasi-Nelson: two negations (Submitted)"},{"issue":"12","key":"47_CR16","doi-asserted-by":"publisher","first-page":"8685","DOI":"10.1007\/s00500-020-04885-w","volume":"24","author":"U Rivieccio","year":"2020","unstructured":"Rivieccio, U.: Representation of De Morgan and (semi-)Kleene lattices. Soft Comput. 24(12), 8685\u20138716 (2020). \nhttps:\/\/doi.org\/10.1007\/s00500-020-04885-w","journal-title":"Soft Comput."},{"key":"47_CR17","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":"47_CR18","unstructured":"Rivieccio, U., Spinks, M.: Quasi-Nelson; or, non-involutive Nelson algebras. Trends Log. (to appear)"},{"key":"47_CR19","doi-asserted-by":"publisher","first-page":"712","DOI":"10.1017\/S0022481200029716","volume":"52","author":"HP Sankappanavar","year":"1987","unstructured":"Sankappanavar, H.P.: Semi-De Morgan algebras. J. Symb. Log. 52, 712\u2013724 (1987)","journal-title":"J. Symb. Log."},{"key":"47_CR20","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/BF02429842","volume":"43","author":"A Sendlewski","year":"1984","unstructured":"Sendlewski, A.: Some investigations of varieties of $$\\cal{N}$$-lattices. Stud. Logica 43, 257\u2013280 (1984)","journal-title":"Stud. Logica"},{"key":"47_CR21","first-page":"13","volume":"25","author":"A Sendlewski","year":"1991","unstructured":"Sendlewski, A.: Topologicality of Kleene algebras with a weak pseudocomplementation over distributive p-algebras. Rep. Math. Log. 25, 13\u201356 (1991)","journal-title":"Rep. Math. Log."},{"issue":"7","key":"47_CR22","doi-asserted-by":"publisher","first-page":"2297","DOI":"10.1007\/s00500-018-3588-9","volume":"23","author":"M Spinks","year":"2018","unstructured":"Spinks, M., Rivieccio, U., Nascimento, T.: Compatibly involutive residuated lattices and the Nelson identity. Soft Comput. 23(7), 2297\u20132320 (2018). \nhttps:\/\/doi.org\/10.1007\/s00500-018-3588-9","journal-title":"Soft Comput."},{"key":"47_CR23","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1007\/s11225-008-9113-x","volume":"88","author":"M Spinks","year":"2008","unstructured":"Spinks, M., Veroff, R.: Constructive logic with strong negation is a substructural logic. I. Stud. Logica 88, 325\u2013348 (2008). \nhttps:\/\/doi.org\/10.1007\/s11225-008-9113-x","journal-title":"Stud. Logica"},{"key":"47_CR24","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1007\/s11225-008-9138-1","volume":"89","author":"M Spinks","year":"2008","unstructured":"Spinks, M., Veroff, R.: Constructive logic with strong negation is a substructural logic. II. Stud. Logica 89, 401\u2013425 (2008). \nhttps:\/\/doi.org\/10.1007\/s11225-008-9138-1","journal-title":"Stud. Logica"},{"issue":"1\u20132","key":"47_CR25","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/BF02121118","volume":"36","author":"D Vakarelov","year":"1977","unstructured":"Vakarelov, D.: Notes on $$\\cal{N}$$-lattices and constructive logic with strong negation. Stud. Logica 36(1\u20132), 109\u2013125 (1977)","journal-title":"Stud. Logica"}],"container-title":["Communications in Computer and Information Science","Information Processing and Management of Uncertainty in Knowledge-Based Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-50153-2_47","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,5]],"date-time":"2020-06-05T23:34:19Z","timestamp":1591400059000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-50153-2_47"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030501525","9783030501532"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-50153-2_47","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"5 June 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"IPMU","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Lisbon","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Portugal","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 June 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 June 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ipmu2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/ipmu2020.inesc-id.pt\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"213","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"146","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"27","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"69% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3,2","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"The IPMU 2020 was held virtually due to the coronavirus pandemic.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}