Proper Multi-Type Display Calculi for Rough Algebras
Giuseppe Greco (Universiteit Utrecht)
Fei Liang (Shandong University)
Krishna Manoorkar (Indian Institute of Technology Kanpur)
A. Palmigiano (TU Delft - Ethics & Philosophy of Technology, University of Johannesburg)
More Info
expand_more
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
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.
help_outline