Labelled Calculi for the Logics of Rough Concepts

Ineke van der Berg; Andrea De Domenico; Giuseppe Greco; Krishna B. Manoorkar; Alessandra Palmigiano; Mattia Panettiere

doi:10.1007/978-3-031-26689-8_13

Labelled Calculi for the Logics of Rough Concepts

Ineke van der Berg, Andrea De Domenico, Giuseppe Greco, Krishna B. Manoorkar^*, Alessandra Palmigiano, Mattia Panettiere

^*Corresponding author for this work

Ethics, Governance and Society

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

22 Downloads (Pure)

Abstract

We introduce sound and complete labelled sequent calculi for the basic normal non-distributive modal logic and some of its axiomatic extensions, where the labels are atomic formulas of the first order language of enriched formal contexts, i.e., relational structures based on formal contexts which provide complete semantics for these logics. We also extend these calculi to provide a proof system for the logic of rough formal contexts.

Original language	English
Title of host publication	Logic and Its Applications
Subtitle of host publication	10th Indian Conference, ICLA 2023, Indore, India, March 3–5, 2023, Proceedings
Editors	Mohua Banerjee, A.V. Sreejith
Publisher	Springer Science and Business Media Deutschland GmbH
Pages	172-188
Number of pages	17
ISBN (Electronic)	9783031266898
ISBN (Print)	9783031266881
DOIs	https://doi.org/10.1007/978-3-031-26689-8_13
Publication status	Published - 2023
Event	10th Indian Conference on Logic and Its Applications, ICLA 2023 - Indore, India Duration: 3 Mar 2023 → 5 Mar 2023

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	13963 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	10th Indian Conference on Logic and Its Applications, ICLA 2023
Country/Territory	India
City	Indore
Period	3/03/23 → 5/03/23

Bibliographical note

Publisher Copyright:
© 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.

Keywords

Labelled calculi
Non-distributive modal logic
Proof calculi
Rough formal contexts

Access to Document

10.1007/978-3-031-26689-8_13

Labelled Calculi for the Logics of Rough ConceptsFinal published version, 319 KBLicence: Article 25fa Dutch Copyright Act

Persistent URL (handle)

Persistent link

Cite this

van der Berg, I., De Domenico, A., Greco, G., Manoorkar, K. B., Palmigiano, A., & Panettiere, M. (2023). Labelled Calculi for the Logics of Rough Concepts. In M. Banerjee, & A. V. Sreejith (Eds.), Logic and Its Applications: 10th Indian Conference, ICLA 2023, Indore, India, March 3–5, 2023, Proceedings (pp. 172-188). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 13963 LNCS). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-031-26689-8_13

van der Berg, Ineke ; De Domenico, Andrea ; Greco, Giuseppe et al. / Labelled Calculi for the Logics of Rough Concepts. Logic and Its Applications: 10th Indian Conference, ICLA 2023, Indore, India, March 3–5, 2023, Proceedings. editor / Mohua Banerjee ; A.V. Sreejith. Springer Science and Business Media Deutschland GmbH, 2023. pp. 172-188 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{515304820c504b4393523f44c5f0b978,

title = "Labelled Calculi for the Logics of Rough Concepts",

abstract = "We introduce sound and complete labelled sequent calculi for the basic normal non-distributive modal logic and some of its axiomatic extensions, where the labels are atomic formulas of the first order language of enriched formal contexts, i.e., relational structures based on formal contexts which provide complete semantics for these logics. We also extend these calculi to provide a proof system for the logic of rough formal contexts.",

keywords = "Labelled calculi, Non-distributive modal logic, Proof calculi, Rough formal contexts",

author = "\{van der Berg\}, Ineke and \{De Domenico\}, Andrea and Giuseppe Greco and Manoorkar, \{Krishna B.\} and Alessandra Palmigiano and Mattia Panettiere",

note = "Publisher Copyright: {\textcopyright} 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.; 10th Indian Conference on Logic and Its Applications, ICLA 2023 ; Conference date: 03-03-2023 Through 05-03-2023",

year = "2023",

doi = "10.1007/978-3-031-26689-8\_13",

language = "English",

isbn = "9783031266881",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Science and Business Media Deutschland GmbH",

pages = "172--188",

editor = "Mohua Banerjee and A.V. Sreejith",

booktitle = "Logic and Its Applications",

address = "Germany",

}

van der Berg, I, De Domenico, A, Greco, G, Manoorkar, KB, Palmigiano, A & Panettiere, M 2023, Labelled Calculi for the Logics of Rough Concepts. in M Banerjee & AV Sreejith (eds), Logic and Its Applications: 10th Indian Conference, ICLA 2023, Indore, India, March 3–5, 2023, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 13963 LNCS, Springer Science and Business Media Deutschland GmbH, pp. 172-188, 10th Indian Conference on Logic and Its Applications, ICLA 2023, Indore, India, 3/03/23. https://doi.org/10.1007/978-3-031-26689-8_13

Labelled Calculi for the Logics of Rough Concepts. / van der Berg, Ineke; De Domenico, Andrea; Greco, Giuseppe et al.
Logic and Its Applications: 10th Indian Conference, ICLA 2023, Indore, India, March 3–5, 2023, Proceedings. ed. / Mohua Banerjee; A.V. Sreejith. Springer Science and Business Media Deutschland GmbH, 2023. p. 172-188 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 13963 LNCS).

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

TY - GEN

T1 - Labelled Calculi for the Logics of Rough Concepts

AU - van der Berg, Ineke

AU - De Domenico, Andrea

AU - Greco, Giuseppe

AU - Manoorkar, Krishna B.

AU - Palmigiano, Alessandra

AU - Panettiere, Mattia

PY - 2023

Y1 - 2023

N2 - We introduce sound and complete labelled sequent calculi for the basic normal non-distributive modal logic and some of its axiomatic extensions, where the labels are atomic formulas of the first order language of enriched formal contexts, i.e., relational structures based on formal contexts which provide complete semantics for these logics. We also extend these calculi to provide a proof system for the logic of rough formal contexts.

AB - We introduce sound and complete labelled sequent calculi for the basic normal non-distributive modal logic and some of its axiomatic extensions, where the labels are atomic formulas of the first order language of enriched formal contexts, i.e., relational structures based on formal contexts which provide complete semantics for these logics. We also extend these calculi to provide a proof system for the logic of rough formal contexts.

KW - Labelled calculi

KW - Non-distributive modal logic

KW - Proof calculi

KW - Rough formal contexts

UR - https://www.scopus.com/pages/publications/85149695838

UR - https://www.scopus.com/inward/citedby.url?scp=85149695838&partnerID=8YFLogxK

U2 - 10.1007/978-3-031-26689-8_13

DO - 10.1007/978-3-031-26689-8_13

M3 - Conference contribution

AN - SCOPUS:85149695838

SN - 9783031266881

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 172

EP - 188

BT - Logic and Its Applications

A2 - Banerjee, Mohua

A2 - Sreejith, A.V.

PB - Springer Science and Business Media Deutschland GmbH

T2 - 10th Indian Conference on Logic and Its Applications, ICLA 2023

Y2 - 3 March 2023 through 5 March 2023

ER -

van der Berg I, De Domenico A, Greco G, Manoorkar KB, Palmigiano A, Panettiere M. Labelled Calculi for the Logics of Rough Concepts. In Banerjee M, Sreejith AV, editors, Logic and Its Applications: 10th Indian Conference, ICLA 2023, Indore, India, March 3–5, 2023, Proceedings. Springer Science and Business Media Deutschland GmbH. 2023. p. 172-188. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). Epub 2023 Feb 22. doi: 10.1007/978-3-031-26689-8_13