Logics for rough concept analysis

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

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 - 8th Indian Conference, ICLA 2019, Proceedings
EditorsAmaldev Manuel, Md. Aquil Khan
PublisherSpringer Verlag
Pages144-159
Number of pages16
ISBN (Print)9783662587706
DOIs
Publication statusPublished - 1 Jan 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

Fingerprint

Algebra
Rough
Logic
Calculus
Display devices
Acoustic waves
Formal Context
Multitype
Cut-elimination
Display
Concepts
Operator

Keywords

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

Cite this

Greco, G., Jipsen, P., Manoorkar, K., Palmigiano, A., & Tzimoulis, A. (2019). Logics for rough concept analysis. In A. Manuel, & M. A. Khan (Eds.), Logic and Its Applications - 8th Indian Conference, ICLA 2019, Proceedings (pp. 144-159). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11600 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-662-58771-3_14
Greco, Giuseppe ; Jipsen, Peter ; Manoorkar, Krishna ; Palmigiano, Alessandra ; Tzimoulis, Apostolos. / Logics for rough concept analysis. Logic and Its Applications - 8th Indian Conference, ICLA 2019, Proceedings. editor / Amaldev Manuel ; Md. Aquil Khan. Springer Verlag, 2019. pp. 144-159 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{495658ee376d45cbb3fabc231d344286,
title = "Logics for rough concept analysis",
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.",
keywords = "Algebras for rough sets, Formal Concept Analysis, Lattice-based logics, Modal logic, Proper display calculi, Rough set theory",
author = "Giuseppe Greco and Peter Jipsen and Krishna Manoorkar and Alessandra Palmigiano and Apostolos Tzimoulis",
year = "2019",
month = "1",
day = "1",
doi = "10.1007/978-3-662-58771-3_14",
language = "English",
isbn = "9783662587706",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "144--159",
editor = "Amaldev Manuel and Khan, {Md. Aquil}",
booktitle = "Logic and Its Applications - 8th Indian Conference, ICLA 2019, Proceedings",
address = "Germany",

}

Greco, G, Jipsen, P, Manoorkar, K, Palmigiano, A & Tzimoulis, A 2019, Logics for rough concept analysis. in A Manuel & MA Khan (eds), Logic and Its Applications - 8th Indian Conference, ICLA 2019, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11600 LNCS, Springer Verlag, pp. 144-159, 8th Indian Conference on Logic and Its Applications, ICLA 2019, Delhi, India, 3/03/19. https://doi.org/10.1007/978-3-662-58771-3_14

Logics for rough concept analysis. / Greco, Giuseppe; Jipsen, Peter; Manoorkar, Krishna; Palmigiano, Alessandra; Tzimoulis, Apostolos.

Logic and Its Applications - 8th Indian Conference, ICLA 2019, Proceedings. ed. / Amaldev Manuel; Md. Aquil Khan. Springer Verlag, 2019. p. 144-159 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11600 LNCS).

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

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/1/1

Y1 - 2019/1/1

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

UR - http://www.scopus.com/inward/citedby.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

SN - 9783662587706

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 Verlag

ER -

Greco G, Jipsen P, Manoorkar K, Palmigiano A, Tzimoulis A. Logics for rough concept analysis. In Manuel A, Khan MA, editors, Logic and Its Applications - 8th Indian Conference, ICLA 2019, Proceedings. Springer Verlag. 2019. p. 144-159. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-662-58771-3_14