Logics for Rough Concept Analysis

G. Greco; Peter Jipsen; Krishna Manoorkar; Alessandra Palmigiano

doi:10.1007/978-3-662-58771-3_14

Logics for Rough Concept Analysis

G. Greco, Peter Jipsen, Krishna Manoorkar, Alessandra Palmigiano

ILS - Language, logic and information

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-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 language	English
Title of host publication	Logic and its applications
Subtitle of host publication	8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, proceedings
Editors	A. Khan, A. Manuel
Place of Publication	Berlin
Publisher	Springer
Pages	144-159
Number of pages	16
Volume	11600
Edition	LNCS
ISBN (Electronic)	9783662587713
ISBN (Print)	9783662587706
DOIs	https://doi.org/10.1007/978-3-662-58771-3_14
Publication status	Published - 2019

Publication series

Name	Lecture notes in computer science
Volume	11600

Keywords

Rough set theory
formal concept analysis
modal logic
lattice-based logics
algebras for rough sets
proper display calculi

Access to Document

10.1007/978-3-662-58771-3_14

978-3-662-58771-3_14Final published version, 345 KBLicence: Taverne

Cite this

Greco, G., Jipsen, P., Manoorkar, K., & Palmigiano, A. (2019). Logics for Rough Concept Analysis. In A. Khan, & A. Manuel (Eds.), Logic and its applications: 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, proceedings (LNCS ed., Vol. 11600, pp. 144-159). (Lecture notes in computer science; Vol. 11600). Springer. https://doi.org/10.1007/978-3-662-58771-3_14

@inproceedings{d1867a4f5f3a4e9f8c4f7023ba976913,

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 = "Rough set theory, formal concept analysis, modal logic, lattice-based logics, algebras for rough sets, proper display calculi",

author = "G. Greco and Peter Jipsen and Krishna Manoorkar and Alessandra Palmigiano",

year = "2019",

doi = "10.1007/978-3-662-58771-3\_14",

language = "English",

isbn = "9783662587706",

volume = "11600",

series = "Lecture notes in computer science",

publisher = "Springer",

pages = "144--159",

editor = "A. Khan and A. Manuel",

booktitle = "Logic and its applications",

edition = "LNCS",

}

Logics for Rough Concept Analysis. / Greco, G.; Jipsen, Peter; Manoorkar, Krishna et al.
Logic and its applications: 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, proceedings. ed. / A. Khan; A. Manuel. Vol. 11600 LNCS. ed. Berlin: Springer, 2019. p. 144-159 (Lecture notes in computer science; Vol. 11600).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Logics for Rough Concept Analysis

AU - Greco, G.

AU - Jipsen, Peter

AU - Manoorkar, Krishna

AU - Palmigiano, Alessandra

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 - Rough set theory

KW - formal concept analysis

KW - modal logic

KW - lattice-based logics

KW - algebras for rough sets

KW - proper display calculi

U2 - 10.1007/978-3-662-58771-3_14

DO - 10.1007/978-3-662-58771-3_14

M3 - Conference contribution

SN - 9783662587706

VL - 11600

T3 - Lecture notes in computer science

SP - 144

EP - 159

BT - Logic and its applications

A2 - Khan, A.

A2 - Manuel, A.

PB - Springer

CY - Berlin

ER -

Logics for Rough Concept Analysis

Abstract

Publication series

Keywords

Access to Document

Fingerprint

Cite this