Logics for rough concept analysis

Greco, Giuseppe; Jipsen, Peter; Manoorkar, Krishna; Palmigiano, A.; Tzimoulis, Apostolos

Logics for rough concept analysis

Conference paper (2019)

Authors

Giuseppe Greco Universiteit Utrecht

Peter Jipsen Chapman University

Krishna Manoorkar Indian Institute of Technology Kanpur

A. Palmigiano University of Johannesburg,

Apostolos Tzimoulis Chapman University

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

To reference this document use:

http://resolver.tudelft.nl/uuid:afd29f9e-fa9f-4f34-88f4-4b7799cc4b66

More Info

expand_more

Published Date

2019

Language

English

Reuse Rights

Other than for strictly personal use, it is not permitted to download, forward or distribute the text or part of it, without the consent of the author(s) and/or copyright holder(s), unless the work is under an open content license such as Creative Commons.

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.

Files

Greco2019_Chapter_LogicsForRou... (pdf)

(pdf | 0.422 Mb)

Unknown license

Download not available