Proper Multi-Type Display Calculi for Rough Algebras

Journal article (2019)

Authors

Giuseppe Greco Universiteit Utrecht
Fei Liang Shandong University
Krishna Manoorkar Indian Institute of Technology Kanpur
A. Palmigiano , University of Johannesburg
Copyright: © 2019 Giuseppe Greco, Fei Liang, Krishna Manoorkar, A. Palmigiano
DOI: https://doi.org/10.1016/j.entcs.2019.07.007
More Info
expand_more

Published Date

2019

Language

English

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.