Files

Download

Download Full Text (232 KB)

Description

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.

ISBN

978-3-662-58771-3

Publication Date

2-5-2019

Publisher

Springer

City

Berlin

Keywords

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

Disciplines

Algebra

Comments

This is a pre-copy-editing, author-produced PDF of a chapter accepted for publication in Md. Aquil Khan and Amaldev Manuel (Eds.), Logic and Its Applications (Lecture Notes in Computer Science series), 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings. The final publication may differ and is available at Springer via https://doi.org/10.1007/978-3-662-58771-3_14.

Copyright

Springer

Logics for Rough Concept Analysis

Included in

Algebra Commons

Share

COinS
 
 

To view the content in your browser, please download Adobe Reader or, alternately,
you may Download the file to your hard drive.

NOTE: The latest versions of Adobe Reader do not support viewing PDF files within Firefox on Mac OS and if you are using a modern (Intel) Mac, there is no official plugin for viewing PDF files within the browser window.