{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T14:04:28Z","timestamp":1749737068518,"version":"3.40.3"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031266881"},{"type":"electronic","value":"9783031266898"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"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":[[2023]]},"DOI":"10.1007\/978-3-031-26689-8_13","type":"book-chapter","created":{"date-parts":[[2023,2,22]],"date-time":"2023-02-22T00:04:31Z","timestamp":1677024271000},"page":"172-188","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Labelled Calculi for\u00a0the\u00a0Logics of\u00a0Rough Concepts"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2220-1383","authenticated-orcid":false,"given":"Ineke","family":"van der Berg","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8973-7011","authenticated-orcid":false,"given":"Andrea","family":"De Domenico","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4845-3821","authenticated-orcid":false,"given":"Giuseppe","family":"Greco","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3664-7757","authenticated-orcid":false,"given":"Krishna B.","family":"Manoorkar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9656-7527","authenticated-orcid":false,"given":"Alessandra","family":"Palmigiano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9218-5449","authenticated-orcid":false,"given":"Mattia","family":"Panettiere","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,2,22]]},"reference":[{"key":"13_CR1","unstructured":"Conradie, W., et al.: Modal reduction principles across relational semantics. arXiv preprint arXiv:2202.00899 (2022)"},{"key":"13_CR2","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1016\/j.ins.2020.05.074","volume":"561","author":"W Conradie","year":"2021","unstructured":"Conradie, W., et al.: Rough concepts. Inf. Sci. 561, 371\u2013413 (2021)","journal-title":"Inf. Sci."},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"Conradie, W., Frittella, S., Palmigiano, A., Piazzai, M., Tzimoulis, A., Wijnberg, N.M.: Toward an epistemic-logical theory of categorization. In: Electronic Proceedings in Theoretical Computer Science, EPTCS, vol. 251 (2017)","DOI":"10.4204\/EPTCS.251.12"},{"key":"13_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/978-3-662-52921-8_10","volume-title":"Logic, Language, Information, and Computation","author":"W Conradie","year":"2016","unstructured":"Conradie, W., Frittella, S., Palmigiano, A., Piazzai, M., Tzimoulis, A., Wijnberg, N.M.: Categories: how i learned to stop worrying and love two sorts. In: V\u00e4\u00e4n\u00e4nen, J., Hirvonen, \u00c5., de Queiroz, R. (eds.) WoLLIC 2016. LNCS, vol. 9803, pp. 145\u2013164. Springer, Heidelberg (2016). https:\/\/doi.org\/10.1007\/978-3-662-52921-8_10"},{"issue":"9","key":"13_CR5","doi-asserted-by":"publisher","first-page":"923","DOI":"10.1016\/j.apal.2019.04.003","volume":"170","author":"W Conradie","year":"2019","unstructured":"Conradie, W., Palmigiano, A.: Algorithmic correspondence and canonicity for non-distributive logics. Ann. Pure Appl. Logic 170(9), 923\u2013974 (2019)","journal-title":"Ann. Pure Appl. Logic"},{"key":"13_CR6","unstructured":"Conradie, W., Palmigiano, A., Robinson, C., Wijnberg, N.: Non-distributive logics: from semantics to meaning. In: Rezus, A. (ed.) Contemporary Logic and Computing, volume 1 of Landscapes in Logic, pp. 38\u201386. College Publications (2020)"},{"key":"13_CR7","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809088","volume-title":"Introduction to Lattices and Order","author":"B Davey","year":"2002","unstructured":"Davey, B., Priestley, H.: Introduction to Lattices and Order. Cambridge University Press, Cambridge (2002)"},{"key":"13_CR8","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198538332.001.0001","volume-title":"Labelled Deductive Systems: Volume 1","author":"DM Gabbay","year":"1996","unstructured":"Gabbay, D.M.: Labelled Deductive Systems: Volume 1. Oxford University Press, Oxford, England (1996)"},{"key":"13_CR9","volume-title":"Formal Concept Analysis: Mathematical Foundations","author":"B Ganter","year":"2012","unstructured":"Ganter, B., Wille, R.: Formal Concept Analysis: Mathematical Foundations. Springer Science & Business Media, Berlin (2012)"},{"key":"13_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1007\/978-3-662-58771-3_14","volume-title":"Logic and Its Applications","author":"G Greco","year":"2019","unstructured":"Greco, G., Jipsen, P., Manoorkar, K., Palmigiano, A., Tzimoulis, A.: Logics for rough concept analysis. In: Khan, M.A., Manuel, A. (eds.) ICLA 2019. LNCS, vol. 11600, pp. 144\u2013159. Springer, Heidelberg (2019). https:\/\/doi.org\/10.1007\/978-3-662-58771-3_14"},{"key":"13_CR11","series-title":"Workshops in Computing","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1007\/978-1-4471-3238-7_30","volume-title":"Rough Sets, Fuzzy Sets and Knowledge Discovery","author":"RE Kent","year":"1994","unstructured":"Kent, R.E.: Rough concept analysis. In: Ziarko, W.P., et al. (eds.) Rough Sets, Fuzzy Sets and Knowledge Discovery. Workshops in Computing, pp. 248\u2013255. Springer, London (1994)"},{"issue":"2\u20133","key":"13_CR12","first-page":"169","volume":"27","author":"RE Kent","year":"1996","unstructured":"Kent, R.E.: Rough concept analysis: a synthesis of rough sets and formal concept analysis. Fundam. Inf. 27(2\u20133), 169\u2013181 (1996)","journal-title":"Fundam. Inf."},{"issue":"5\u20136","key":"13_CR13","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1007\/s10992-005-2267-3","volume":"34","author":"S Negri","year":"2005","unstructured":"Negri, S.: Proof analysis in modal logic. J. Philos. Log. 34(5\u20136), 507\u2013544 (2005)","journal-title":"J. Philos. Log."},{"key":"13_CR14","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139003513","volume-title":"Proof Analysis: A Contribution to Hilbert\u2019s Last Problem","author":"S Negri","year":"2011","unstructured":"Negri, S., Von Plato, J.: Proof Analysis: A Contribution to Hilbert\u2019s Last Problem. Cambridge University Press, Cambridge (2011)"},{"issue":"5","key":"13_CR15","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1007\/BF01001956","volume":"11","author":"Z Pawlak","year":"1982","unstructured":"Pawlak, Z.: Rough sets. Int. J. Comput. Inf. Sci. 11(5), 341\u2013356 (1982). https:\/\/doi.org\/10.1007\/BF01001956","journal-title":"Int. J. Comput. Inf. Sci."}],"container-title":["Lecture Notes in Computer Science","Logic and Its Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-26689-8_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,12,7]],"date-time":"2023-12-07T10:33:57Z","timestamp":1701945237000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-26689-8_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031266881","9783031266898"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-26689-8_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"22 February 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICLA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Indian Conference on Logic and Its Applications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Indore","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"India","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 March 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 March 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icla2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/icla2023.iiti.ac.in\/","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":"Easy Chair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"18","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":"9","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":"0","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":"50% - 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","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":"3","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":"This proceeding includes 6 Invited paper","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)"}}]}}