Proper Multi-Type Display Calculi for Rough Algebras

Giuseppe Greco, Fei Liang, Krishna Manoorkar, Alessandra Palmigiano

Research output: Contribution to journalConference articleScientificpeer-review

4 Citations (Scopus)
30 Downloads (Pure)

Abstract

In the present paper, we endow the logics of topological quasi Boolean algebras, topological quasi Boolean algebras 5, intermediate algebras of types 1-3, and pre-rough algebras with proper multi-type display calculi which are sound, complete, conservative, and enjoy cut elimination and subformula property. Our proposal builds on an algebraic analysis and applies the principles of the multi-type methodology in the design of display calculi.

Original languageEnglish
Pages (from-to)101-118
Number of pages18
JournalElectronic Notes in Theoretical Computer Science
Volume344
DOIs
Publication statusPublished - 2019
Event13th Workshop on Logical and Semantic Frameworks with Applications, LSFA 2018 - Fortaleza, Brazil
Duration: 26 Sep 201828 Sep 2018

Keywords

  • canonical extensions
  • intermediate algebras
  • multi-type calculi
  • pre-rough algebras
  • proper display calculi
  • Rough sets
  • topological quasi Boolean algebras
  • topological quasi Boolean algebras 5

Fingerprint

Dive into the research topics of 'Proper Multi-Type Display Calculi for Rough Algebras'. Together they form a unique fingerprint.

Cite this