TY - GEN
T1 - Logics for rough concept analysis
AU - Greco, Giuseppe
AU - Jipsen, Peter
AU - Manoorkar, Krishna
AU - Palmigiano, Alessandra
AU - Tzimoulis, Apostolos
PY - 2019
Y1 - 2019
N2 - Taking an algebraic perspective on the basic structures of Rough Concept Analysis as the starting point, in this paper we introduce some varieties of lattices expanded with normal modal operators which can be regarded as the natural rough algebra counterparts of certain subclasses of rough formal contexts, and introduce proper display calculi for the logics associated with these varieties which are sound, complete, conservative and with uniform cut elimination and subformula property. These calculi modularly extend the multi-type calculi for rough algebras to a ‘nondistributive’ (i.e. general lattice-based) setting.
AB - Taking an algebraic perspective on the basic structures of Rough Concept Analysis as the starting point, in this paper we introduce some varieties of lattices expanded with normal modal operators which can be regarded as the natural rough algebra counterparts of certain subclasses of rough formal contexts, and introduce proper display calculi for the logics associated with these varieties which are sound, complete, conservative and with uniform cut elimination and subformula property. These calculi modularly extend the multi-type calculi for rough algebras to a ‘nondistributive’ (i.e. general lattice-based) setting.
KW - Algebras for rough sets
KW - Formal Concept Analysis
KW - Lattice-based logics
KW - Modal logic
KW - Proper display calculi
KW - Rough set theory
UR - http://www.scopus.com/inward/record.url?scp=85063443185&partnerID=8YFLogxK
U2 - 10.1007/978-3-662-58771-3_14
DO - 10.1007/978-3-662-58771-3_14
M3 - Conference contribution
AN - SCOPUS:85063443185
SN - 978-3-662-58770-6
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 144
EP - 159
BT - Logic and Its Applications - 8th Indian Conference, ICLA 2019, Proceedings
A2 - Manuel, Amaldev
A2 - Khan, Md. Aquil
PB - Springer
T2 - 8th Indian Conference on Logic and Its Applications, ICLA 2019
Y2 - 3 March 2019 through 5 March 2019
ER -