{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:11:04Z","timestamp":1759032664891,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662595329"},{"type":"electronic","value":"9783662595336"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","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":[[2019]]},"DOI":"10.1007\/978-3-662-59533-6_27","type":"book-chapter","created":{"date-parts":[[2019,6,22]],"date-time":"2019-06-22T19:02:35Z","timestamp":1561230155000},"page":"450-466","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Algebraic Semantics for Quasi-Nelson Logic"],"prefix":"10.1007","author":[{"given":"Fei","family":"Liang","sequence":"first","affiliation":[]},{"given":"Thiago","family":"Nascimento","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,6,9]]},"reference":[{"key":"27_CR1","first-page":"79","volume":"34","author":"WJ Blok","year":"2000","unstructured":"Blok, W.J., La Falce, S.B.: Komori identities in algebraic logic. Rep. Math. Logic 34, 79\u2013106 (2000)","journal-title":"Rep. Math. Logic"},{"key":"27_CR2","volume-title":"Algebraizable Logic","author":"WJ Blok","year":"1989","unstructured":"Blok, W.J., Pigozzi, D.: Algebraizable Logic, vol. 396. Memoirs of the American Mathematical Society, Providence (1989)"},{"key":"27_CR3","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/j.apal.2003.11.008","volume":"127","author":"J Czelakowski","year":"2004","unstructured":"Czelakowski, J., Pigozzi, D.: Fregean logics. Ann. Pure Appl. Log. 127, 17\u201376 (2004)","journal-title":"Ann. Pure Appl. Log."},{"key":"27_CR4","unstructured":"Font, J.M.: Abstract Algebraic Logic: An Introductory Textbook. College Publications (2016)"},{"key":"27_CR5","unstructured":"Greco, G., Ma, M., Palmigiano, A., Tzimoulis, A., Zhao, Z.: Unified correspondence as a proof-theoretic tool. J. Log. Comput. 28(7), 1367\u20131442 (2016)"},{"key":"27_CR6","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1016\/j.fss.2018.05.007","volume":"363","author":"G Greco","year":"2019","unstructured":"Greco, G., Liang, F., Palmigiano, A., Rivieccio, U.: Bilattice logic properly displayed. Fuzzy Sets Syst. 363, 138\u2013155 (2019)","journal-title":"Fuzzy Sets Syst."},{"key":"27_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/978-3-662-55386-2_14","volume-title":"Logic, Language, Information, and Computation","author":"G Greco","year":"2017","unstructured":"Greco, G., Liang, F., Moshier, M.A., Palmigiano, A.: Multi-type display calculus for semi De Morgan logic. In: Kennedy, J., de Queiroz, R.J.G.B. (eds.) WoLLIC 2017. LNCS, vol. 10388, pp. 199\u2013215. Springer, Heidelberg (2017). \nhttps:\/\/doi.org\/10.1007\/978-3-662-55386-2_14"},{"key":"27_CR8","volume-title":"Logic for Mathematicians","author":"AG Hamilton","year":"1978","unstructured":"Hamilton, A.G.: Logic for Mathematicians. Cambridge University Press, Cambridge (1978)"},{"key":"27_CR9","unstructured":"Liang, F.: Multi-type algebraic proof theory. Dissertation, TU Delft (2018)"},{"key":"27_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":"27_CR11","unstructured":"Palma, C.: Semi De Morgan algebras. Dissertation, The University of Lisbon (2005)"},{"key":"27_CR12","unstructured":"Rivieccio, U., Spinks, M.: Quasi-Nelson algebras. In: Proceedings of LSFA 2018, Fortaleza, Brazil, 26\u201328 September 2018. Universidade Federal do Cear\u00e1 (2018)"},{"key":"27_CR13","unstructured":"Rivieccio, U., Spinks, M.: Quasi-Nelson algebras; or, non-involutive Nelson algebras. Manuscript"},{"key":"27_CR14","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/BF00401557","volume":"49","author":"A Sendlewski","year":"1990","unstructured":"Sendlewski, A.: Nelson algebras through Heyting ones: I. Stud. Log. 49, 105\u2013126 (1990)","journal-title":"Stud. Log."},{"issue":"7","key":"27_CR15","doi-asserted-by":"publisher","first-page":"2297","DOI":"10.1007\/s00500-018-3588-9","volume":"23","author":"Matthew Spinks","year":"2018","unstructured":"Spinks, M., Rivieccio, U., Nascimento, T.: Compatibly involutive residuated lattices and the Nelson identity. Soft Comput. (2018). \nhttps:\/\/doi.org\/10.1007\/s00500-018-3588-9","journal-title":"Soft Computing"},{"key":"27_CR16","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/BF02121118","volume":"36","author":"D Vakarelov","year":"1977","unstructured":"Vakarelov, D.: Notes on N-lattices and constructive logic with strong negation. Stud. Log. 36, 109\u2013125 (1977)","journal-title":"Stud. Log."},{"key":"27_CR17","series-title":"Synthese Library","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1007\/978-94-015-6942-2_6","volume-title":"Theory of Logical Calculi","author":"R W\u00f3jcicki","year":"1988","unstructured":"W\u00f3jcicki, R.: Referential semantics. In: W\u00f3jcicki, R. (ed.) Theory of Logical Calculi. SYLI, vol. 199, pp. 341\u2013401. Springer, Dordrecht (1988). \nhttps:\/\/doi.org\/10.1007\/978-94-015-6942-2_6"}],"container-title":["Lecture Notes in Computer Science","Logic, Language, Information, and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-59533-6_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,12,6]],"date-time":"2019-12-06T15:05:23Z","timestamp":1575644723000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-59533-6_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783662595329","9783662595336"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-59533-6_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"9 June 2019","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":"Utrecht","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"The Netherlands","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2 July 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 July 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"wollic2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/wollic2019.sites.uu.nl\/","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":"60","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":"41","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":"6","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":"68% - 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":"2,3","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":"8","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)"}}]}}