Logics for rough concept analysis

Giuseppe Greco, Peter Jipsen, Krishna Manoorkar, Alessandra Palmigiano, Apostolos Tzimoulis*

*Corresponding author for this work

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Abstract

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.

Original languageEnglish
Title of host publicationLogic and Its Applications
Subtitle of host publication8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings
EditorsAmaldev Manuel, Md. Aquil Khan
PublisherSpringer Verlag
Pages144-159
Number of pages16
ISBN (Electronic)9783662587713
ISBN (Print)9783662587706
DOIs
Publication statusPublished - 2019
Event8th Indian Conference on Logic and Its Applications, ICLA 2019 - Delhi, India
Duration: 3 Mar 20195 Mar 2019

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume11600 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference8th Indian Conference on Logic and Its Applications, ICLA 2019
CountryIndia
CityDelhi
Period3/03/195/03/19

Keywords

  • Algebras for rough sets
  • Formal Concept Analysis
  • Lattice-based logics
  • Modal logic
  • Proper display calculi
  • Rough set theory

Fingerprint Dive into the research topics of 'Logics for rough concept analysis'. Together they form a unique fingerprint.

Cite this