Proper Multi-Type Display Calculi for Rough Algebras

G. Greco; Fei Liang; Krishna Manoorkar; Alessandra Palmigiano

Proper Multi-Type Display Calculi for Rough Algebras

G. Greco
, Fei Liang
, Krishna Manoorkar
, Alessandra Palmigiano

ILS - Language, logic and information

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

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 language	English
Title of host publication	13th Workshop on Logical and Semantic Frameworks with Applications
Publication status	Published - 2019

Keywords

rough algebras
topological quasi Boolean algebras
multi-type calculi
display calculi

Cite this

@inproceedings{753beb993aef45e38152b5dc33c0af0d,

title = "Proper Multi-Type Display Calculi for Rough Algebras",

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.",

keywords = "rough algebras, topological quasi Boolean algebras, multi-type calculi, display calculi",

author = "G. Greco and Fei Liang and Krishna Manoorkar and Alessandra Palmigiano",

year = "2019",

language = "English",

booktitle = "13th Workshop on Logical and Semantic Frameworks with Applications",

}

TY - GEN

T1 - Proper Multi-Type Display Calculi for Rough Algebras

AU - Greco, G.

AU - Liang, Fei

AU - Manoorkar, Krishna

AU - Palmigiano, Alessandra

PY - 2019

Y1 - 2019

N2 - 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.

AB - 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.

KW - rough algebras

KW - topological quasi Boolean algebras

KW - multi-type calculi

KW - display calculi

M3 - Conference contribution

BT - 13th Workshop on Logical and Semantic Frameworks with Applications

ER -

Proper Multi-Type Display Calculi for Rough Algebras

Abstract

Keywords

Fingerprint

Cite this