Library
home (Home) TU Delft Repository login Login

Proper Multi-Type Display Calculi for Rough Algebras

Journal Article (2019)
Author(s)

Giuseppe Greco (Universiteit Utrecht)

Fei Liang (Shandong University - Jinan)

Krishna Manoorkar (Indian Institute of Technology Kanpur)

Alessandra Palmigiano (TU Delft - Technology, Policy and Management, University of Johannesburg)

Research Group
Ethics & Philosophy of Technology
DOI related publication
https://doi.org/10.1016/j.entcs.2019.07.007 Final published version
More Info
expand_more
Publication Year
2019
Language
English
Research Group
Ethics & Philosophy of Technology
Volume number
344
Pages (from-to)
101-118
Event
13th Workshop on Logical and Semantic Frameworks with Applications, LSFA 2018 (2018-09-26 - 2018-09-28), Fortaleza, Brazil
Downloads counter
255
Collections
Institutional Repository
Reuse Rights

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.