Proper Multi-Type Display Calculi for Rough Algebras
Logic
2018-08-23 v1
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.
Cite
@article{arxiv.1808.07278,
title = {Proper Multi-Type Display Calculi for Rough Algebras},
author = {Giuseppe Greco and Fei Liang and Krishna Manoorkar and Alessandra Palmigiano},
journal= {arXiv preprint arXiv:1808.07278},
year = {2018}
}