Proper Multi-Type Display Calculi for Rough Algebras

Giuseppe Greco; Fei Liang; Krishna Manoorkar; Alessandra Palmigiano

doi:10.1016/j.entcs.2019.07.007

Proper Multi-Type Display Calculi for Rough Algebras

Giuseppe Greco, Fei Liang, Krishna Manoorkar, Alessandra Palmigiano

Ethics & Philosophy of Technology

Research output: Contribution to journal › Conference article › Scientific › peer-review

9 Citations (Scopus)

43 Downloads (Pure)

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
Pages (from-to)	101-118
Number of pages	18
Journal	Electronic Notes in Theoretical Computer Science
Volume	344
DOIs	https://doi.org/10.1016/j.entcs.2019.07.007
Publication status	Published - 2019
Event	13th Workshop on Logical and Semantic Frameworks with Applications, LSFA 2018 - Fortaleza, Brazil Duration: 26 Sept 2018 → 28 Sept 2018

Keywords

canonical extensions
intermediate algebras
multi-type calculi
pre-rough algebras
proper display calculi
Rough sets
topological quasi Boolean algebras
topological quasi Boolean algebras 5

Access to Document

10.1016/j.entcs.2019.07.007

1-s2.0-S1571066119300258-mainFinal published version, 273 KBLicence: CC BY-NC-ND

Cite this

@article{5ce4776e9b3946b29a5f909ad78d3718,

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 = "canonical extensions, intermediate algebras, multi-type calculi, pre-rough algebras, proper display calculi, Rough sets, topological quasi Boolean algebras, topological quasi Boolean algebras 5",

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

year = "2019",

doi = "10.1016/j.entcs.2019.07.007",

language = "English",

volume = "344",

pages = "101--118",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Elsevier",

note = "13th Workshop on Logical and Semantic Frameworks with Applications, LSFA 2018 ; Conference date: 26-09-2018 Through 28-09-2018",

}

TY - JOUR

T1 - Proper Multi-Type Display Calculi for Rough Algebras

AU - Greco, Giuseppe

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 - canonical extensions

KW - intermediate algebras

KW - multi-type calculi

KW - pre-rough algebras

KW - proper display calculi

KW - Rough sets

KW - topological quasi Boolean algebras

KW - topological quasi Boolean algebras 5

UR - http://www.scopus.com/inward/record.url?scp=85075139236&partnerID=8YFLogxK

U2 - 10.1016/j.entcs.2019.07.007

DO - 10.1016/j.entcs.2019.07.007

M3 - Conference article

AN - SCOPUS:85075139236

SN - 1571-0661

VL - 344

SP - 101

EP - 118

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

T2 - 13th Workshop on Logical and Semantic Frameworks with Applications, LSFA 2018

Y2 - 26 September 2018 through 28 September 2018

ER -

Proper Multi-Type Display Calculi for Rough Algebras

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this